SENGOKU's Theme研究テーマ 時相論理 (1989年〜1990年) 特別研究報告書 (卒業論文) 「並列分解に基づく順序機械の正則時相論理による形式的検証」 (PDF) 非決定性オートマトン (1990年〜1992年) LA シンポジウム 「非決定性有限オートマトンの状態数最小化」 (PDF) Master Thesis 「Minimization of Nondeterministic Finite Automata」 (PDF) 遺伝的アルゴリズム (1992年〜2000年) 情報処理学会 第 46 回全国大会 「遺伝的アルゴリズムによる TSP の高速解法」 (JAVA によるデモ) 情報処理学会 第 47 回全国大会 「遺伝的アルゴリズムの最適解探索能力に関する評価 ---GA と SA の比較---」 (PDF) 情報処理学会 第二回数理モデル化と問題解決研究会 研究報告 95-MPS-2 「GA
