教員情報 - 久馬栄道 | 愛知学院大学

教員情報検索ぺージ

現在の専門分野

学歴（学位）

社会における活動

著書・論文歴

受賞学術賞

（最終更新日：2019-02-13 09:20:05）

  キュウマエイドウ   KYUUMA Eidou
  久馬栄道
   所属   教養部教養部本属

職種准教授

■ 現在の専門分野

数学一般（含確率論・統計数学）　（キーワード：数学基礎論、数理論理学、数理哲学）

■ 学歴（学位）

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.	2012/03	論文	数学における数の実在論について愛知学院大学教養部紀要 59(3・4合併号),65頁（単著）
2.	2011/03	論文	デーデキント無限と型理論愛知学院大学教養部紀要 58(4),73頁（単著）
3.	2006/01	論文	部分集合和問題と複写アルゴリズム愛知学院大学『教養部紀要』第５２巻(４号) （単著）
4.	2005/01	論文	Frequency Circuit Complexity 愛知学院大学『教養部紀要』第５１巻(４号) （単著）
5.	2003/11	論文	NP完全問題を解く決定性アルゴリズム愛知学院大学『教養部紀要』第５０巻(３号) （単著）
6.	2003	著書	「けさ」と坐禅（単著）
7.	1995/07	論文	型付きラムダ計算における自然数の２進表現と計算量の理論愛知学院大学教養部紀要 43(1),57-61頁（単著）
8.	1995	著書	Q＆A　数学基礎論入門（単著）
9.	1994/03	論文	古典命題論理における Curry-Haword の対応と強停止性愛知学院大学教養部紀要 41(3),115-126頁（単著）
10.	1992/12	論文	実数値連続関数の像の濃度に関する位相空間の性質豊田工業高等専門学校 (25),74頁（共著）
11.	1991/12	論文	ブール回路を表現するλ-calculus の ω-rule について豊田工業高等専門学校研究紀要 (24),137-142頁（単著）
12.	1991/12	論文	多項式時間計算可能な決定問題の新しい特徴付けについて豊田工業高等専門学校研究紀要 (24),131-136頁（共著）
13.	1989/12	論文	Constructive Set Theory with Markov's Principle KOBE JOURNAL of MATHEMATICS 6(2),pp.207-216 （単著）
14.	1989/11	論文	Markov's Principle つきの Constructive Set Theory について京都大学数理解析研究所考究録 (644),74-89頁（単著）
15.	1985/03	論文	Constructive Set Theory 静岡大学修士論文（単著）
5件表示
全件表示(15件)

■ 受賞学術賞

1.

1989/03

ソニー懸賞論文「２１世紀のコンピュータ：夢を現実に」特別賞入賞