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
Takumi Shimoda
@darshimo
0
Contributions
0
Posts
0
Followees
4
Followers
Follow
Tokyo, Japan
University of Tokyo
Following tags
F*
SAT
SMT
Z3
lean
Coq
Rust
定理証明
アルゴリズム
競技プログラミング
関数型プログラミング
Haskell
OCaml
Contributions
No contributions
