仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Following Organizations
No Organizations you are following
Followees
- 岡崎 心一@johnny-shaman
プログラミング言語Signを設計、現在エコシステム開発に向けてプロジェクト進行中 関数型プログラミングをのためのmodule: https://www.npmjs.com/package/white_cats https://www.npmjs.com/package/dsand プログラミングカフェ 札幌 主催
- Tanabe Haruto@haruto167
2018年から技術メモ残したいと思いQiitaはじめました！
- 吉村 優@yyu
暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu
