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