2000 Fiscal Year Annual Research Report

形式言語理論の自然言語処理への応用

Research Project

Project/Area Number	10680341
Research Institution	The University of Electro-Communications
Principal Investigator	笠井琢美電気通信大学, 電気通信学部, 教授 (70027382)
Co-Investigator(Kenkyū-buntansha)	蓮沼徹電気通信大学, 電気通信学部, 助手 (30313406) 武永康彦電気通信大学, 電気通信学部, 講師 (20236491) 岩田茂樹電気通信大学, 電気通信学部, 教授 (80102028)
Keywords	形式言語理論 / 木オートマトン / 機械翻訳 / TAG / 文脈自由木オートマトン / 計算量 / プッシュダウン木オートマトン
Research Abstract	本研究の目的は、形式言語理論、学習理論、計算量理論などの計算機科学の基礎理論で得られたいろいろな結果を自然言語処理に応用しようとするものである。前年度までの研究で、自然言語の分野で現在注目されているTree Adjoining Grammar(以下ではTAGと略す)を、形式言語理論の立場から見直し、Spine Grammarと呼ぶ新しい文法を定義した。この文法のクラスは、TAGと同じ文字列言語のクラスを定義し、TAGより自然な木言語のクラスを生成する。この結果はTheory of Computing Systems 33に掲載された。また、学習理論として、順序機械が極限同定可能であることを証明した。順序機械は、最も基本的な言語変換機モデルである。この結果は電子情報通信学会論文誌に掲載された。本年度の成果は、前年度までに得られた文法モデルに対応するオートマトンモデルを構成したことである。このモデルを、転送スタック付プッシュダウン・オートマトンと呼ぶ。現在自然言語処理で、構文解析がうまくいっていないのは、おそらく適当なオートマトンモデルが存在しなかったためであろうと考えられる。今後の計画は、このモデルを使って、実際に翻訳機を構成してみることである。研究分担者の岩田は、アルゴリズムの下界を求める研究でいくつかの成果を出した。(Inform.and Comput.に掲載予定)武永は、ブール関数のOBDD計算量に関し、いくつかの結果を得た。(Discrete Applied Math.とTheoret.Comp.Sci.に掲載予定)また、蓮沼はグラフアルゴリズムに関するいくつかの結果を得た。(Discrete Math.とInform.Processing Lett.に掲載予定)

Research Products
(7 results)

All Other

All Publications (7 results)

[Publications] 高橋克彦: "順序機械の多項式時間推論アルゴリズム"電子情報通信学会論文誌. DIJ84DI. 31-34 (2001)
[Publications] Shigeki Iwata: "Lower bounds for merging networks"Information and Computation. (掲載決定).
[Publications] 横田雅也: "一般化詰将棋の指数時間完全性"電子情報通信学会論文誌. (掲載決定).
[Publications] Yasuhiko Takenaga: "Hardness of identifying the minimum ordered Binary Decision Diagram"Discrete Applied Math. 107. 191-201 (2000)
[Publications] Yasuhiko Takenaga: "Recognition of ordered tree - shellable boolean function based on OBDDs"IEICE Trans.Inf. & Syst.. E84-D. 28-33 (2001)
[Publications] Toru Hasunuma: "On edge -disjoint spcenning trees with small depths"In formation Processing Letters. 75. 71-74 (2000)
[Publications] Toru Hasunuma: "Discrete Applied Math"Independent Spanning trees with small depths in iterated line digraphs (掲載決定).

2000 Fiscal Year Annual Research Report

形式言語理論の自然言語処理への応用

Principal Investigator

笠井 琢美 電気通信大学, 電気通信学部, 教授 (70027382)

Research Products

[Publications] 高橋克彦: "順序機械の多項式時間推論アルゴリズム"電子情報通信学会論文誌. DIJ84DI. 31-34 (2001)

[Publications] Shigeki Iwata: "Lower bounds for merging networks"Information and Computation. (掲載決定).

[Publications] 横田雅也: "一般化詰将棋の指数時間完全性"電子情報通信学会論文誌. (掲載決定).

[Publications] Yasuhiko Takenaga: "Hardness of identifying the minimum ordered Binary Decision Diagram"Discrete Applied Math. 107. 191-201 (2000)

[Publications] Yasuhiko Takenaga: "Recognition of ordered tree - shellable boolean function based on OBDDs"IEICE Trans.Inf. & Syst.. E84-D. 28-33 (2001)

[Publications] Toru Hasunuma: "On edge -disjoint spcenning trees with small depths"In formation Processing Letters. 75. 71-74 (2000)

[Publications] Toru Hasunuma: "Discrete Applied Math"Independent Spanning trees with small depths in iterated line digraphs (掲載決定).

笠井琢美電気通信大学, 電気通信学部, 教授 (70027382)