@bolero-MURAKAMI@github

くぁ

<marquee>

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

仕事からの現実逃避中

Haskellプログラマです。

Software Engineer

戀塚昭彦

機能が向上し, 問題が修正されています

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

D言語とか出来ます

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

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

プログラマ

プログラミングが好きではないプログラマが居る事が未だに信じられない系プログラマ。