bolero-MURAKAMI@github

5 Contribution

/ Following users

くぁ

d=(^o^)=b

<marquee>

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

東京の某D社でプログラマやってます。 Scala/Java/Ruby/C/Objective-C/Parsing. 糖質制限/ライトノベル/ゲーム/ジョギング/言語/歴史

仕事からの現実逃避中

Haskellプログラマです。

しがないルビイストです。 http://sorah.jp/more.html

Software Engineer

戀塚昭彦

主な使用言語はHaskellです。計算代数のプログラムを書いたり書かなかったりしている。しかし最近は数学先攻なので専ら LaTeX ばかり書いている。

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

ぼちぼちソフト作家。 テニス・オセロ・ゲーム類が趣味の年齢不詳のおじさんです。vi と C++が好き。 お持ち帰りのお仕事募集中でござるぞ。 迷走中・・・

D言語とか出来ます

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

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