仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)
Following Organizations(1)See all
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