@mets76

Rubyのパパ

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

はてなブログに書いてます。

プログラマ

自宅研究員（首席）。ぼちぼちソフト作家。 テニス・オセロ・ゲーム類が趣味の年齢不詳のおじさんです。vi と C++が好き。 リモートなお仕事募集中でござるぞ。

戀塚昭彦

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

Haskellプログラマです。

最近はサーバ周りの仕事をしてます。

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