アルゴリズム論に関する総合的研究

1995 Fiscal Year Annual Research Report

• Project/Area Number: 06302013
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 小林 孝次郎 東京工業大学, 大学院・情報理工学研究科, 教授 (00016148)
• Co-Investigator(Kenkyū-buntansha): 佐藤 雅彦 京都大学, 工学部, 教授 (20027387) ; 小野 寛晰 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90055319) ; 伊藤 達郎 大阪教育大学, 教育学部, 教授 (90015909) ; 五十嵐 滋 筑波大学, 電子情報工学系, 教授 (80027367) ; 有川 節夫 九州大学, 理学部, 教授 (40037221)
• Keywords: セルオートマトン / 文字列パターン / 関係代数 / 様相論理 / 時間の論理 / プログラムの検証 / システム同定 / 英文翻訳

Research Abstract

計画通り4研究グループによる共同研究を行い，また合同シンポジウムによって，研究グループ間の研究交流を行った．主要な成果は，次の通りである．
「アルゴリズムの基礎理論」研究グループでは，昨年度に引き続き1次元セルオートマトンの挙動に関する解析が行われ，不明であったいくつかの場合についてその性質が明らかにされた．また，パターンにより特徴付けることができる形式言語のクラスの性質について，いくつかの知見が得られた．
「論理学とアルゴリズム論」研究グループでは，計算可能関数により定義できる実数の性質が明らかにされた他，知識論理・様相論理の標準形展開基底による特性化が得られた．また，ファジー関係の計算を関係代数として定式化することにより，一般の関係計算としてとらえることが可能であることが示された．
「プログラム言語と計算モデル」研究グループでは，有理拍車の概念が提案され，それがプログラムの検証と実時間動作解析に有用であることが示された．また，束時相論理によって，プログラムの時間を含む仕様を表現しまた動作の解析を行う場合の諸問題について，いくつかの結果が得られた．
「具体的アルゴリズムと計算量」研究グループでは，係り受けを基本関係とする自然言語のモデルによる英文翻訳システムについての報告がなされた他，正および負の例題から最適なモティーフを抽出するための新しい手法が提案された．

Research Products

• [Publications] K. Kobayashi: "Transformations that preserve malignness of universal destributions" Lecture Notes in Computer Science. 959. 420-429 (1995)
• [Publications] K. Kobayashi: "The Kolmogorov complexity the universal distribution and the coding theorem with generalized length functions" Res. Rep. on Mathematical and Computing Sciences, Tokyo Institute of Technology. C-115. 1-23 (1995)
• [Publications] H. Enomoto: "Disjoint odd integer subsets having a constant even sum" Discrete Mathematics. 137. 189-193 (1995)
• [Publications] M. Kano: "Edge removing games of star type" Discrete Mathematics. (to appear.
• [Publications] Y. Egawa: "Sufficient conditions for a graph to have (g,f)-factois" Discrete Mathematics. (to appear).
• [Publications] T. Nishino: "On the negation-limited circuit complexity of cligue functions" IEICE Trans, on Information and Systems. E78-D. 86-89 (1995)
• [Publications] T. Nishino: "On the number of negations needed to compute parity functions" IEICE Transactions on Information and Systems. E78-D. 90-91 (1995)
• [Publications] Y. Kawahara: "Periodic lengths of cellular automata on square lattices with rule 90" J Math. Phys.36-3. 1435-1456 (1995)
• [Publications] O. Maruyama: "Inferring a tree from walks" Theoretical Computer Science. (to appear).
• [Publications] O. Maruyama: "Graph inference from a walk for trees of bounded degree 3 is NP-complete" Lecture Notes in Computer Science. 969. 257-266 (1995)
• [Publications] T. Shoudai: "BONSAI Garden: parallel knowledge discovery system for amino acid sequences" Proc. Third International Conference on Intelligent Systems for Molecular Biology. 359-366 (1995)
• [Publications] E. Tateishi: "A greedy strategy for finding motifs from positive and negative examples" RIFIS-TR,Research Institute of Fundamental Information Science, Kyushu University. CS-118. 1-25 (1995)
• [Publications] Y. Mizoguchi: "Rational graph rewritings" Theoretical Computer Science. 141. 311-328 (1995)
• [Publications] Y. Kawahare: "Relational set theory" Lecture Notes in Computer Science. 953. 44-58 (1995)
• [Publications] H. Enomoto: "Graph decompositions without isolated vertices" J Combin. Theory, ser. B. 63. 111-124 (1995)
• [Publications] R. Schuler: "Towards averoge-case complexity analysis of NP optimization problems" Proc. of 10th Annual Conference on Structure in Complexity Theory. 148-159 (1995)
• [Publications] 大矢雅則: "数理情報科学事典" 朝倉書店, 1200 (1995)
• [Publications] 西野哲朗: "属性文法入門" 共立出版, 168 (1996)