自分自身について

Twitter
FaceBook
プログラミング言語、プログラム検証、時相論理、オブジェクト指向言語などを研究しています。 テルミン とかも、最近、いじってます。

今は琉球大学情報工学科 に勤めています。 99年から02年まで さきがけ21 科学技術振興事業団 「機能と構成」 のメンバでした。

fj を読んでいる人は、割と良く見るかもしれませんね。アクティブに 投稿しています。

その前はソニーコンピュー タサイエンス研究所 に勤めていました。あ、でも、そのペー ジには名前も残ってませんね。大学院は東大の 情報工学科 (の前身の田中研) でした。 大学は 東京工業大学の化学科ですが、あんまり化学はまじめに勉強してない かも知れません。他のことは勉強してましたけど。

Self portrait
Kono's home page