@mnzktw

「ご趣味は」 「Vimを少々…」

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

生存戦略〜

Ph.D candidate at University of Tokyo Common Lisp/Scheme/Objective-C/javascript/Python/C/C++/Java Linux server administration Robotics, PointClouds, CV, web

ハードより low-level プログラマー。でもLL好き。

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

プログラマ

Emacs とキーボードがすき

D言語とか出来ます

ほげ

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

転職先募集中です。できれば在宅勤務が希望です。