仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)
Participating Organizations(1)
Following Organizations(1)See all
Followers
- ひなき@ilovegalois
PowerBIエンジニアです。写真は本人ではありません（近所で見かけた野良猫）。 PowerBIのLINEオープンチャットを運営してます。まだまだ小規模ながら活発に議論してますので、ご興味のある方はいつでもご参加ください。
Chris Tuohy@fewey70408As a skilled Radio Operator, I excel in managing communications, ensuring seamless signal transmissions, and maintaining high-frequency networks for clear and efficient broadcasting.
- @TTsurutani
札幌在住の素人Haskeller
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
- @lunalice
発言は所属組織に基づくものではなく個人の見解です
- 岡崎 心一@johnny-shaman
プログラミング言語Signを設計、現在エコシステム開発に向けてプロジェクト進行中 関数型プログラミングをのためのmodule: https://www.npmjs.com/package/white_cats https://www.npmjs.com/package/dsand プログラミングカフェ 札幌 主催
- Tanabe Haruto@haruto167
2018年から技術メモ残したいと思いQiitaはじめました！
