Twitter
FaceBook
プログラミング言語、プログラム検証、時相論理、オブジェクト指向言語などを研究しています。
テルミン とかも、最近、いじってます。
今は琉球大学の 情報工学科 に勤めています。 99年から02年まで さきがけ21 科学技術振興事業団 「機能と構成」 のメンバでした。
fj を読んでいる人は、割と良く見るかもしれませんね。アクティブに 投稿しています。
その前はソニーコンピュー タサイエンス研究所 に勤めていました。あ、でも、そのペー ジには名前も残ってませんね。大学院は東大の 情報工学科 (の前身の田中研) でした。 大学は 東京工業大学の化学科ですが、あんまり化学はまじめに勉強してない かも知れません。他のことは勉強してましたけど。