著者

河原 康雄

出版者

九州大学

雑誌

基盤研究(C)

巻号頁・発行日

2003

---

この研究課題では4年間にわたりDedekind圏における情報意味論と関係型プログラミングおよびその基礎となる関係理論の研究を行った。その成果の概要としては、(1)関係の基数理論の端緒を開いた。(2)完備束における単調関数は最小・最大不動点をもつというTarskiの定理(1955年)を、関係理論を駆使してDedekind圏において証明した。(3)量子計算を表す3近傍局所遷移規則をもつ古典的な有限セルオートマトンを、固定境界条件、半固定境界条件、自由境界条件、巡回境界条件について、完全に決定した。(4)Hoareに始まるプログラムの意味としての関係のdemonic合成とdemonic順序についての概念を、Dedekind圏における関係理論から検証した。ことにまとめられる。この研究費補助金により九州大学において恒常的に実施した研究成果の発表、特に、国際的研究集会International Conference on Relational Methods in Computer Science/Applications of Kleene Algebrasでの研究発表に加え、プログラム委員としての役目を果たすことができた。ここに関係者のすべての皆様に謝意を表します。

著者

河原 康雄 岡崎 悦明 土屋 卓也 宮野 悟 藤井 一幸

出版者

九州大学

雑誌

一般研究(C)

巻号頁・発行日

1987

---

研究課題名「計算科学への圏論の応用」で行われた本研究は, 情報化社会を支える基礎理論である情報科学, 計算科学, ソフトウェア科学への数学的基盤を与えるために計画された研究であった. 以下, 本科学研究費補助金によって実施された研究実績を報告する. 1.研究代表者:河原康雄は, 初等トポスにおけるpushout-complementの存在定理証明し, 有限オートマトンによって受理される言語の基礎的性質をカテゴリー論的に整理すると共に, Arbib-Manes等のプログラム意味論を初等トポスにおいて考察した. これらの成果は従来から研究を蓄積してきた関係計算(relational calculus)を駆使して得られたものであり, 西ドイツのEnrigを中心としたグラフ文法等についての研究に新しい視点を与えるものであり, この分野の基礎を与えるものと期待される. 2.分担者:宮野悟は, 計算量の理論においてP≠NPの仮定のもとで効率よく並列化できると思われる, 即ち, NCアルゴリズムをもつ問題として, 辞書式順序で最初の極大部分グラフを計算する問題について考察した. 3.分担者:藤井一幸は, 古典的によく知られている4次元のCursey modelを任意次元の時空間上に拡大し, そのinstaton(meron-)like configurationsを具体的に構成した. さらに, 従来からの研究で構成していた高次元Skyrme modelsに付随したWess-Zumino termsを高次元hedgehog ansatsを使用して具体的に計算した. 4.分担者:岡崎悦朗は, 位相線形空間上の確率測度の研究を中心に研究を遂行し, 昭和62年8月よりCNRSの招きによりフランス・Paris V大学において研究を継続中である. 5.分担者:土屋卓也は, 境界要素法よって極小曲面を計算機を利用して計算し, 線形常微分方程式の特異点に関する山本範夫の定理を線形代数の範躊において一般化した. 現在, 土屋は米国・Maryiand大学において研究を発展させている.