Qiita Teams that are logged in
You are not logged in to any team
Log in to Qiita Team
Community
OrganizationEventAdvent CalendarQiitadon (β)Service
Qiita JobsQiita ZineQiita BlogIssue report
仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
$ analyze @tnagao7
posted articles
- Java:18%
- Haskell:18%
- VSCode:18%
- Scala:12%
- asciidoc:12%
LGTMed articles
- Haskell:20%
- Java:16%
- 新人プログラマ応援:8%
- Scala:7%
- kubernetes:5%
answered questions
- No data