LoginSignup
TrendQuestionEventOpportunitiesOrganizationQiita Blog
Help us understand the problem. What are the problem?
@tnagao7
242Contributions
18
Posts5
Followees14
Followers
仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

Following tags

KotlinJavaLaTeX型DockerTypeScriptHaxeClojure圏論F#Rust.NETIsabelleCoqScala関数型プログラミング関数型言語OCamlErlangHaskell
$ analyze @tnagao7
posted articles
  • Java:17%
  • Haskell:17%
  • Scala:17%
  • VSCode:17%
  • 型:11%
LGTMed articles
  • Haskell:20%
  • Java:17%
  • 新人プログラマ応援:8%
  • Scala:7%
  • kubernetes:5%
answered questions
    No data
ArticlesQuestionsLGTM
Posted ArticlesCommented ArticlesEdit Requests