自己紹介 - そんなことないよ

流行りに乗って Advent Calendar に参加してみたくなったのではてダ始めました。
投稿テストを兼ねて自己紹介をとりとめもなく書いてみます。

現在大学院生です。プログラムの静的検証を研究しています。
来年からは名古屋の方で就職予定。

といっても自分で何かを作ったりしていないような。
好きな言語は Scheme。
Gauche をメインに使っていますが研究関連で Racket を目にすることも多い。

Haskell を勉強するといって全然進んでいない。
定理証明に興味のあるお年頃なので、研究も兼ねて時々 Why や Coq と格闘しています。

でも Vim ユーザにはコンプレックスが。
何にせよキーボードから手を離したくない、マウスなんて遠すぎる。

最近よく使っている大きなものは以下の通りでしょうか。アルファベット順で。

メインには MacbookAir Lion + MacPorts。
最近 homebrew 派が多くて肩身が狭い気がします。
それと Ubuntu 11.10 と Windows7 のデュアルブートが一台。

最近 Redmine に興味を持ってローカルでこそこそ使っています。
でも org-mode ともっとびしばし連携してほしい。

VCS は git しか使えません。
Windows で何か開発するなら mercurial あたりの方がよさそうですが。

ブラウザは Firefox + KeySnail。
いじりがいがありそうなのでそのうちプラグイン書きたいですね。