仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Following Organizations
No Organizations you are following
Followees
- 岡崎 心一@johnny-shaman
稚拙ですが、関数型プログラミングをするためのライブラリを公開しています。 https://www.npmjs.com/package/cte https://www.npmjs.com/package/dsand 日曜プログラミングのお供にでもいかがですか？（笑） プログラミングカフェ 札幌 主催
- Tanabe Haruto@haruto167
2018年から技術メモ残したいと思いQiitaはじめました！
- 吉村 優@yyu
暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu
