[Discovery Saga Top]
[Saga Next]
[無料公開版Discovery Saga]
[Discovery Sagaプレミアムご案内]
[早稲田大学研究Discovery Saga]
[産学連携のご案内]
[Saga Concept]
[会社概要]
[お問い合わせ]
Dis
cov
er
y
Sa
ga
詳細表示
研究者リスト表示
ダウンロード（UTF-8 txt)
証明論Saga
証明論
に関するサイレントキーワード
イプシロン代入法
が含まれる科研費採択研究1件
証明論
に関するサイレントキーワード
イプシロン代入法
が含まれる科研費採択研究 1件
イプシロン代入法
に関する研究
【研究分野】数学一般(含確率論・統計数学)
【研究領域課題番号】
17540115 (KAKENデータベースで見る）
【研究キーワード】
証明論
/ 数学基礎論 / 数理論理学 / 順序数 /
イプシロン代入法
【研究成果の概要】
イプシロン代入法
に関しては、帰納的マーロ順序数と弱コンパクト基数の帰納的類似物について研究を行った。その他、
証明論
全般についての考察や計算量理論と関連する研究も行った。
【研究代表者】
新井 敏康 神戸大学 大学院工学研究科 教授
(Kakenデータベース)
【研究種目】基盤研究(C)
【研究期間】2005 - 2008
【配分額】2,740千円 (直接経費: 2,500千円、間接経費: 240千円)