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

数学と機械学習理論に興味がある大学院生です．最近ははてなブログの方に記事を書いています．

広島でクジラTシャツを着て仕事しています

Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

個人ブログに移行しました → https://acro5piano.com

プログラミング言語処理系が好き。古い記事にもコメントなど大歓迎です

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