キュウマエイドウ
  久馬栄道 教養部 教養部本属 准教授

現在の専門分野
  数学一般(含確率論・統計数学) (キーワード:数学基礎論、数理論理学、数理哲学) 
学歴(学位)
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. 1988~ 日本数学会
社会における活動
1. 2017/05~2017/05 折り紙の素晴らしい世界 ー折り紙で脳トレしようー
著書・論文歴
1. 2012/03 論文  数学における数の実在論について  (単著) 
2. 2011/03 論文  デーデキント無限と型理論  (単著) 
3. 2006/01 論文  部分集合和問題と複写アルゴリズム  (単著) 
4. 2005/01 論文  Frequency Circuit Complexity  (単著) 
5. 2003/11 論文  NP完全問題を解く決定性アルゴリズム  (単著) 
全件表示(15件)
受賞学術賞
1. 1989/03 ソニー懸賞論文「21世紀のコンピュータ:夢を現実に」特別賞入賞
Copyright(C)2009 Aichi Gakuin University All Rights Reserved.