定理証明系や論理プログラミングに興味をもっています。

クライミングとクラフトビールを本業としていますが、副業でQAエンジニアとテストエンジニアもワタシチョットデキル。 RIGHT STAFF -> IMAGINE PLUS -> ACCESS -> DIGITAL ARTS -> NHN TECHORUS -> NHN SAVAWAY -> ACCESS （いま7社目）

大学(院)では型システムについて研究してゐました。 長らくスマートフォン用電子書籍ビューアーを作る仕事をしてゐました。 最近はとあるスマートフォン用漫画配信サービスに携わってゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。