Takahiro Nagao

@tnagao7

300Contributions

23
Posts 5
Followees 14
Followers

Jakarta EE/MicroProfile 関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)

Participating Organizations(1)

Following Organizations

No Organizations you are following

Following tags(24)See all

spring microprofile JakartaEE Kotlin Java LaTeX 型 Docker TypeScript Haxe Clojure 圏論 F#Rust .NET Isabelle Coq Scala 関数型プログラミング関数型言語

Following Tags

Find Tags to follow