■ 専門分野
| 数学基礎 （キーワード：数学基礎論、数理論理学、数理哲学）
|
|
■ 学歴（学位）
| 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 |
ソニー懸賞論文「２１世紀のコンピュータ：夢を現実に」特別賞入賞 |
|
