| 研究課題/領域番号 |
24KJ1530
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 国内 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
廣島 佳汰 京都大学, 理学研究科, 特別研究員(DC1)
|
|---|
| 研究期間 (年度) |
2024-04-23 – 2027-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
2,200千円 (直接経費: 2,200千円)
2026年度: 300千円 (直接経費: 300千円)
2025年度: 900千円 (直接経費: 900千円)
2024年度: 1,000千円 (直接経費: 1,000千円)
|
|---|
| 研究開始時の研究の概要 |
実数の表現としてコーシー列，２進展開，デデキント切断等が知られており，これらの計算論的（計算可能性，原始再帰性，カルマール初等性等）な等価性が調べられている．
一方，具体的な実数の無理性や超越性は解明されていない場合が多い．
本研究では，種々の表現の計算論的な等価性を明らかにし，その過程で得られることが期待される表現の性質等により，実数の無理性と超越性の判定法を構築し，それを用いて実数の無理性や超越性を解明することを目指す．
|
