Kazuhiro Hiramoto

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

Haskellプログラマです。

D言語とか出来ます

プログラマ

#ありがとうコンパイルエラー 記事は公開当時の個人の認識または見解に基づくものであり、所属する組織の見解や認識を示すものではありません。また、現在の状況にそぐわない内容・表現である可能性があります。

くぁ

ロックフリーです。

CEO@ソウゾウ, Creator ＠ Rapid Creation, Formerly @twitcasting_jp, @Nintendo, @kayac_inc

科学計算・関数型言語・ウェブデザインなどに興味あり。