研究課題/領域番号 |
22500014
|
研究種目 |
基盤研究(C)
|
配分区分 | 補助金 |
応募区分 | 一般 |
研究分野 |
情報学基礎
|
研究機関 | 京都大学 |
研究代表者 |
立木 秀樹 京都大学, 人間・環境学研究科(研究院), 教授 (10211377)
|
研究協力者 |
山田 修司 京都産業大学, 理学部, 教授
大田 春外 静岡大学, 教育学部, 教授
竹内 泉 産業技術総合研究所, 研究員
塚本 靖之 京都大学, 人間・環境学研究科
寺山 慧 京都大学, 人間・環境学研究科
|
研究期間 (年度) |
2010-04-01 – 2015-03-31
|
キーワード | 実数計算 / ドメイン理論 / 位相空間論 / 力学系 |
研究成果の概要 |
グレイコード埋め込みはボトムを含む無限文字列を用いた実数の表現であり、IM2-マシンはボトム入り文字列を操作する計算概念である。Proper dyadic subbase はグレイコード埋め込みを位相空間に一般化した構造である。本研究では、proper dyadic subbase に対応するIM2-マシンの有限時間での入出力状態を表現するドメイン構造を考え、その性質を調べた。また、proper dyadic subbase を導出する力学系である exact full-folding map や、グレイコード埋め込みによる展開をストリーム入出力する形式計算についても調べた。
|
自由記述の分野 |
理論計算機科学
|