■ 専門分野
数学基礎 (キーワード:数学基礎論、数理論理学、数理哲学)
|
|
■ 学歴(学位)
1. |
1974/04~1978/03
|
滝 卒業
|
2. |
1978/04~1983/03
|
名古屋大学 理学部 数学科 卒業
|
3. |
1983/04~1985/03
|
静岡大学 理学研究科 数学専攻 修士課程修了 理学修士(数学基礎論)
|
4. |
1985/04~1988/03
|
名古屋大学 理学研究科 数学専攻 博士課程単位取得満期退学
|
|
■ 職歴
1.
|
1993/04~1996/07
|
愛知学院大学 教養部 教養部本属 講師
|
2.
|
1996/08~2007/03
|
愛知学院大学 教養部 教養部本属 助教授
|
3.
|
2007/04~
|
愛知学院大学 教養部 教養部本属 准教授
|
|
■ 学会発表
1. |
2004/10 |
NP問題と構成的数学(数理論理学研究集会)
|
2. |
2003/09 |
交流回路を用いたNP問題の解放(記号論理学と情報科学の集会)
|
3. |
2002/09 |
NP完全問題を解ける弱い非決定性アルゴリズム(記号論理学と情報科学の集会)
|
|
■ 所属学会
|
■ 社会における活動
1.
|
2017/05~2017/05
|
折り紙の素晴らしい世界 ー折り紙で脳トレしようー
|
|
■ 著書・論文歴
|
■ 受賞学術賞
1. |
1989/03 |
ソニー懸賞論文「21世紀のコンピュータ:夢を現実に」特別賞入賞
|
|