I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.

女性とヒツジをこよなく愛するヒツジニア。 いいね募集中。投降後、一年間いいね付かなかった記事は消します ストックされた記事は加筆を検討します。 最近はWPFしか触ってない貧乏暇なし羊。 ※当アカウントでは定期的に記事のメンテナンスを行っております。 いいね・ストックが増えるほど記事の品質は上がります(出来る範囲で)

様々なIoT機器の研究開発を行っています。AWSの研究開発がメインです。