Go to Qiita Advent Calendar 2024 Top
search
search
Search
Login
Signup
search
Trend
Question
Advent Calendar
Official Event
Official Column
open_in_new
Organization
more_horiz
Takumi Shimoda
@darshimo
rss_feed
0
Contributions
0
Posts
0
Followees
4
Followers
Follow
location_on
Location
Tokyo, Japan
work
Organization
University of Tokyo
Following Organizations
No Organizations you are following
Following tags(13)
See all
F*
SAT
SMT
Z3
lean
Coq
Rust
定理証明
アルゴリズム
競技プログラミング
関数型プログラミング
Haskell
OCaml
Contributions
No contributions
