yuchiki1000yen

118 Contribution

/ Following users

東京のO社でプログラマやってます.Scala/Java/Ruby/C/Objective-C/Parsing. ライトノベル/ゲーム/ダイエット/ジョギング/言語/歴史

F#, Rust, (Elm)

Moggiと"love"で接近中! 🤟🙄🤟

Coqなどによるプログラムの正しさの検証・証明に興味があります。

AtCoder Inc. CEO Imagine Cup 2008 Algorithm 3rd place. TopCoder Open 2010/2017 Marathon 2nd place. ICFPC 2013/2015/2016/2018 Winner

面白いプログラム言語の機能や面白いプログラム言語の機能以外について話します。

C#スコシワカル

ボドゲフリークの駆け出しSE