仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)
Participating Organizations(1)
Following Organizations(1)See all
Following Organizations
- 富士通 ソフトウェア技術者コミュニティ
富士通グループのソフトウェア技術者有志により運営しているコミュニティです。
Find Organizations to follow
Search Organizations