- @__leopardus__
数学と機械学習理論に興味がある大学院生です．最近ははてなブログの方に記事を書いています．
- @pxfnc
きーた
- @giantneco
仕事からの現実逃避中
- @seahal
んha-
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
- @ktgw0316
LightZone（写真編集用OSS）の開発者
- @kyamaz
I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.
じょお@gotoki_no_joeABC問題の解答例を通じて、Haskellのよさを広めたい。
- Takahiro Nagao@tnagao7
Jakarta EE/MicroProfile 関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)
- @mocamocaland
メモ的なものだけを書く予定
- Yuji YAMAMOTO@igrep
HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。
