tnagao7

tnagao7

(tnagao7)
Usage start date: 03/24/2022

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

2024

/

04/20

(Sat)13:00〜

Attending

VS Code Conference Japan 2024 Ended

VS Code Meetup

VS Code Conference Japan 2024

Nori Suzuki Nori Suzuki

24番15号 青山タワービル別館

431

tnagao7