仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Following Organizations
富士通 ソフトウェア技術者コミュニティ富士通グループのソフトウェア技術者有志により運営しているコミュニティです。
Find Organizations to follow
Search Organizations仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
富士通グループのソフトウェア技術者有志により運営しているコミュニティです。
Find Organizations to follow
Search Organizations