mnzktw

1 Contribution

/ Following users

「ご趣味は」 「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などによるプログラムの正しさの検証・証明に興味があります。

I love programming with Haskell.