@Dr_Garugari

ロックフリーです。

くぁ

SET (Software Engineer in Test)

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

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