研究テーマ

時相論理 (1989年〜1990年)

非決定性オートマトン (1990年〜1992年)

遺伝的アルゴリズム (1992年〜2000年)

インターネット (1989年〜)

KLab (2000年〜2011年)


| home | up | english |
sengoku@gcd.org