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

ニューヨークでゼロ知識証明・ソフトウェア工学の研究をしています。

Emacs使っている人. FortranでAtCoderに参加したり, 数値計算したり.

にっこにっこにー🤟😌🤟 フロントエンドを専門に活動をしています！ フロントエンド以外もできるよ！ TypeScript/Haskell/静的型システム/Neovim🪬 技術の最新動向追います👀 圏論の数学書執筆したよ📝

株式会社システムアイの執行役員兼 CTO。 Java、JS/TS、Python、Go、Flutter、Haskell などでお仕事する仲間を募集しています。https://systemi.co.jp/recruit/ より Qiita を見たとお問い合わせください。

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

型と圏がすきです Qiitaはほぼ見る専です