@inoMIh

一般的なHaskeller

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

Rubyのパパ

主な使用言語：Haskell, ruby, C++

ロックフリーです。

https://github.com/scalaz https://github.com/scalaprops https://github.com/scalikejdbc https://github.com/scalapb-json https://github.com/argonaut-io Scala本体や、Scalaz、その他色々なScalaのライブラリのコミッターやってる

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

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

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

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

ﾁｨｰｯｽ

Hello, World.