| 研究課題/領域番号 |
04302009
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
角田 譲 神戸大学, 工学部, 教授 (50031365)
|
|---|
| 研究分担者 |
本橋 信義 筑波大学, 数学系, 教授 (70015874)
田中 一之 東北大学, 理学部, 助教授 (70188291)
高橋 譲嗣 神戸大学, 発達科学部, 助教授 (30197149)
林 晋 龍谷大学, 理工学部, 教授 (40156443)
小野 寛晰 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90055319)
|
|---|
| キーワード | substructural logic / Browerian-valued model / elementary embedding / recursive ordinal / 型理論 / ファイマン種分 |
|---|
| 研究概要 |
様相論理及び中間論理の研究グループ(小野担当)における主要な結果は論理の構造規則を制限することによって得られるsubstructural logicのsemanticsの研究である。また,千谷は集合論のBrowerian-valued modelを考察することによって直観主義の集合論の意味論を提起した。公理的集合論の研究グループ(角田,加茂担当)における主要な結果はelementary embeddingのKunen,結果をV〔G〕からV〔G〕へのelementary embeddingの存在を仮定すればいかになるかという鈴木の結果及び阿部のPκ(λ)のidealの関する研究である。共にlarge cardinalに関する新しい方向への知見を得る事ができた。江明論(八杉,上江洲担当)のグループにおける主要な結果は角田におけるrecursive maccessible ordinalの研究であり集合論と帰納的関数論の接点において証明論から興味あるアプローチを行った。プログラミング理論への応用のグループ(林担当)は型理論にsetの概念を付加する事により,型理論のプログラミングへの新たなる応用を提唱している。超準解析の研究グループ(釜江担当)における主要な結果はファイマン種分の超準解析的方法による定式化である。末だ一次元の時しか成功していないが特事すべきことである。
|
