| 研究課題/領域番号 |
22500014
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
立木 秀樹 京都大学, 人間・環境学研究科(研究院), 教授 (10211377)
|
|---|
| 研究協力者 |
山田 修司 京都産業大学, 理学部, 教授
大田 春外 静岡大学, 教育学部, 教授
竹内 泉 産業技術総合研究所, 研究員
塚本 靖之 京都大学, 人間・環境学研究科
寺山 慧 京都大学, 人間・環境学研究科
|
|---|
| 研究期間 (年度) |
2010-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2014年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2013年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2012年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2011年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2010年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | 実数計算 / ドメイン理論 / 位相空間論 / 力学系 / プログラミング言語理論 / full-folding map / Kneading Theory / フラクタル / ボトム入り文字列 / PCF / full-flipping map / unimodal map / dynamical system / bottom / real number computation / admissibility condition |
|---|
| 研究成果の概要 |
グレイコード埋め込みはボトムを含む無限文字列を用いた実数の表現であり、IM2-マシンはボトム入り文字列を操作する計算概念である。Proper dyadic subbase はグレイコード埋め込みを位相空間に一般化した構造である。本研究では、proper dyadic subbase に対応するIM2-マシンの有限時間での入出力状態を表現するドメイン構造を考え、その性質を調べた。また、proper dyadic subbase を導出する力学系である exact full-folding map や、グレイコード埋め込みによる展開をストリーム入出力する形式計算についても調べた。
|
