大学(院)では型システムについて研究してゐました。 今はスマートフォン用電子書籍ビューアーを作る仕事をしてゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。