tnagao7

tnagao7

(tnagao7)
利用開始日: 2022/03/24

仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

所属グループ

発表イベントはありません。

tnagao7

tnagao7さんのフォロー 0

フォローはいません。

tnagao7さんのフォロワー 0

フォロワーはいません。