Qiita
You are not logged in to any team
Log in to Qiita Team...
Community
List of all organizatioins
Advent Calendar
Qiita Jobs
Qiitadon (β)
Qiita Zine
Community Guideline
How to write good articles
Release note
Signup
Login
LGTM items
Followees
Comment history
Edit request history
Issue report
Help us understand the problem. What is going on with this user?
It's illegal (copyright infringement, privacy infringement, libel, etc.)
It's socially inappropriate (offensive to public order and morals)
It's advertising
It's spam
Other than the above, but not suitable for the Qiita community (violation of guidelines)
@tnagao7
@wgag
仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
17
Posts
153
Contributions
13
Followers
Follow
Following tags
Kotlin
Java
LaTeX
型
Docker
TypeScript
Haxe
Clojure
圏論
F#
Rust
.NET
Isabelle
Coq
Scala
関数型プログラミング
関数型言語
OCaml
Erlang
Haskell
$ analyze @tnagao7
posted articles
Java:
18%
Haskell:
18%
VSCode:
18%
Scala:
12%
asciidoc:
12%
LGTMed articles
Haskell:
20%
Java:
16%
Scala:
7%
新人プログラマ応援:
7%
kubernetes:
5%
answered questions
No data
All Items
Articles
Answers
Questions