Following Organizations
No Organizations you are following
Followees
- Hiroyuki Hon@hiroyuki_hon
楽しい✌(^ω^✌)三✌(^ω^)✌三(✌^ω^)✌
- @naoya_t@naoya_t
自然言語処理とか機械学習とか競技プログラミングとか
- 高橋 直大@chokudai
AtCoder Inc. CEO Imagine Cup 2008 Algorithm 3rd place. TopCoder Open 2010/2017 Marathon 2nd place. ICFPC 2013/2015/2016/2018 Winner
- Masahiro Nakagawa@repeatedly
D言語とか出来ます
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
- Ueda Ryohei@garaemon
Ph.D candidate at University of Tokyo Common Lisp/Scheme/Objective-C/javascript/Python/C/C++/Java Linux server administration Robotics, PointClouds, CV, web
@khlizardRuby, Python, C#, Javascript, golang
- 青子守歌@aokomoriuta
土木工学の水理学・計算力学な人で、主にソフトウェアの高速化をやっています。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
