Login
Signup
Trend
Question
Organization
Event
Qiita Blog
Issue report
Help us understand the problem. What are the problem?
It's violation of community guideline
It's illegal
It's socially inappropriate
It's spam
Submit
@tnagao7
241
Contributions
18
Posts
5
Followees
14
Followers
仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Follow
Following tags
Kotlin
Java
LaTeX
型
Docker
TypeScript
Haxe
Clojure
圏論
F#
Rust
.NET
Isabelle
Coq
Scala
関数型プログラミング
関数型言語
OCaml
Erlang
Haskell
$ analyze @tnagao7
posted articles
Java:
17%
Haskell:
17%
Scala:
17%
VSCode:
17%
型:
11%
LGTMed articles
Haskell:
20%
Java:
16%
新人プログラマ応援:
8%
Scala:
7%
kubernetes:
5%
answered questions
No data
Articles
Questions
LGTM
Posted Articles
Commented Articles
Edit Requests