12/04/14 23:17:43.32
>>71
下記、おそらく間違いで訂正しておく
1993年以前 数学を勉強していた時代
↓
1983年以前 数学を勉強していた時代
（参考）
URLﾘﾝｸ(www.ritsumei.ac.jp)
経歴
１９５８年 三重県津市生まれ。
津市立修成小学校、私立高田中学、三重県立津西高等学校(第１期卒業生)、学校法人河合塾を経て(！！)京都大学理学部入学(１９７８年)
１９８３年 京都大学理学部卒業(数学専攻)
同年 沖電気工業株式会社入社
総合システム研究所にて逐次型推論マシンSIMのネットワークサブシステムの開発に従事
１９８５～１９８９年 財団法人新世代コンピュータ技術開発機構に出向
定理自動証明システム、知的CAIシステム、構成的論理に基づくソフトウエア検証合成システムの研究開発に従事
１９８９～１９９２年 沖電気工業株式会社復帰、
総合システム研究所、電子システム研究所、関西研究所にて 構成的プログラミングシステムSHUTENの開発を行う。
１９９１年 京都大学にて博士(理学)を取得
１９９２年 立命館大学理工学部情報工学科助教授
１９９４年～ 立命館大学理工学部情報学科助教授
１９９６～１９９７年 京都大学数理解析研究所長期研究員
２０００年～立命館大学理工学部数理科学科教授
２０００～２００１年 エッセン大学招聘研究員
２００４年 エッセン大学招聘研究員