| 研究課題/領域番号 |
15500010
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
立木 秀樹 京都大学, 大学院・人間・環境学研究科, 助教授 (10211377)
|
|---|
| 研究分担者 |
日置 尋久 京都大学, 高等教育研究開発推進センター, 助教授 (70293842)
|
|---|
| キーワード | グレイ・コード / 実数計算 / 位相空間 / サブベース / 関数型言語 / 並列論理型言語 / 表現 / ボトム入り文字列 |
|---|
| 研究概要 |
1.グレイコードのように、対称に位相空間を構成するサブベースの概念を拡張し、Canonically-representing subbaseの概念を定義し、その性質を調べた。それらは、Full-representing subase-->Canonically-representing subbse-->independent subbase-->Minimal subbaseという関係があり、これらの概念は、空間がコンパクトであるときには、同値になることが示せた。
2.ボトム入り文字列の上の計算を、関数型言語を拡張することにより実現する方法を考案した。McCarthyのambオペレータを制限することにより、逐次実行型の関数型言語でも、実数計算に必要な演算が実現できることを示した。また、Goferシステムを改良することにより、そのインプリメントを行った。
3.ボトム入り文字列上で動作するIM2マシンのプログラムを、ガード機能をもつ並列論理型言語に変換することにより実行する方法を示し、その変換がプログラムの意味を保存すること、両者の表現能力が、ボトム入り文字列全体を考えれば異なるが、ある種のドメインの極限要素の集合の極小元集合(実数の集合は、そのように表される)に対しては、等しいことなどを示した。また、この変換に、並列論理型言語のor-並列性だけが必要であり、and-並列性は必要がないことを示した。
|
