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

キュウマエイドウ KYUUMA Eidou
久馬栄道

所属教養部教養部本属

職種准教授

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