No.695
計算アルゴリズムと計算量の基礎理論
Computational Algorithms and Theory of Computational Complexity
　
1989/01/30〜1989/02/01
中村　昭
NAKAMURA,AKIRA
　
目　次
　
1. Grammars on the hexagonal array---------------------------------------------------------------------------------------------------1
　　　　Department Applied Mathematics, Faculty of Engineering, Hiroshima University　　　会沢 邦夫　(Aizawa, Kunio)
　
2. 高々スター次数2の拡張正規表現(計算アルゴリズムと計算量の基礎理論)----------------------------------------------------------------11
　　　　豊橋技術科学大学 / 豊橋技術科学大学　　　劉 僖根 / 橋口 攻三郎　(YOO, Heekeun / HASHIGUCHI, Kosaburo)
　
3. ある拡張文法/オートマトンに関するコメント(計算アルゴリズムと計算量の基礎理論)----------------------------------------------------21
　　　　東京女子大学文理学部　　　守屋 悦朗　(Moriya, Etsuro)
　
4. 2NPDAによるシミュレーションと未解決問題(計算アルゴリズムと計算量の基礎理論)------------------------------------------------------27
　　　　東海大学情報処理研究教育施設 / 電気通信大学情報工学科　　　岩田 茂樹 / 笠井 琢美　(Iwata, Shigeki / Kasai, Takumi)
　
5. 線形セル構造オートマトンにおける局所関数の群の同型定理について(計算アルゴリズムと計算量の基礎理論)-------------------------------37
　　　　東洋大学工学部　　　佐藤 忠一　(Sato, Tadakazu)
　
6. On Learning Equal Matrix Languages-----------------------------------------------------------------------------------------------45
　　　　International Institute for Advanced Study of Social Information Science(IIAS-SIS), FUJITSU LIMITED　　　Takada, Yuji
　
7. 木構造図式の美的描画について(計算アルゴリズムと計算量の基礎理論)-----------------------------------------------------------------55
　　　　東海大学電子計算センター / (株)富士通プログラム技研 / 北海道東海大学電子計算センター　　　郷 信義 / 岸本 美紀 / 小倉 耕一[他]　(Go, Nobuyoshi / Kishimoto, Miki / Ogura, Koichi)
　
8. 利用者インターフェースとしての文字自動配置機能(計算アルゴリズムと計算量の基礎理論)-----------------------------------------------65
　　　　九州大学工学部 / 九州大学工学部 / 九州大学工学部　　　今井 浩 / 青沼 裕美 / 加藤 研児[他]
　
9. Decision Problem for a Logic of Temporal Information-----------------------------------------------------------------------------75
　　　　Department of Applied Mathematics, Hiroshima University / Department of Applied Mathematics, Hiroshima University　　　Gao, Jian-Ming / Nakamura, Akira
　
10. S-bases of Boolean Functions Under Several Functional Constructions : A Survey--------------------------------------------------85
　　　　Electrotechnical Laboratory / Department of Computer Science, Unviersity of Ottawa / Institute of Mathematics, Unviersity of Novi Sad　　　宮川 正弘 / Stojmenovic Ivan / [他]　(Miyakawa, Masahiro / Stojmenovic, Ivan / Tosic, Ratko)
　
11. 高階論理ユニフィケーションを用いた知識処理(計算アルゴリズムと計算量の基礎理論)--------------------------------------------------98
　　　　山形大学工学部電子情報工学科 / 山形大学工学部電子情報工学科 / 山形大学工学部電子情報工学科　　　原尾 政輝 / 岩沼 宏治 / 安孫子 力雄　(HARAO, Masateru / IWANUMA, Kouji / ABIKO, Rikio)
　
12. Complexity of the Optimum Join Order Problem in Deductive Databases------------------------------------------------------------108
　　　　京都大学工学部 / 京都大学工学部　　　宇野 裕之 / 茨木 俊秀　(UNO, Yushi / IBARAKI, Toshihide)
　
13. 集合制約質問の記述方法および計算量(計算アルゴリズムと計算量の基礎理論)---------------------------------------------------------115
　　　　九州大学工学部 / 九州大学工学部　　　岩井原 瑞穂 / 上林 彌彦
　
14. 多重記憶階層のもとでのデータの変更を考慮した最適ページング(計算アルゴリズムと計算量の基礎理論)---------------------------------125
　　　　九州大学工学部 / 九州大学工学部　　　掛下 哲郎 / 上林 彌彦　(Kekeshita, Tetsuro / Kambayashi, Yahiko)
　
15. 複数の階層に基づくデータベースの設計(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------------135
　　　　九州大学大型計算機センター / 九州大学工学部　　　古川 哲也 / 上林 彌彦　(Furukawa, Tetsuya / Kambayashi, Yahiko)
　
16. Indexing Functions and Time Lower Bounds for Sorting on a Mesh-Connected Computer----------------------------------------------145
　　　　Department of Computer Science, University of Kentucky / Department of Computer Science, University of Kentucky, Department of Computer Science, Gunma University / Department of Computer Science, University of Kentucky　　　韓 以捷 / 五十嵐 善英 / Truszczynski Miroslaw　(Han, Yijie / Igartashi[Igarashi], Yoshihide / Truszczynski, Miroslaw)
　
17. tally集合上のp-置換群の代数的構造について(計算アルゴリズムと計算量の基礎理論)--------------------------------------------------155
　　　　東京電機大学情報科学科　　　西野 哲朗　(Nishino, Tetsuro)
　
18. On Polynomial Time Many-One Completeness of One-Way Functions : Preliminary Report---------------------------------------------162
　　　　Dept. Computer Science, Tokyo Institute of Technology / Dept. of Computer Science, University of Electro-Communications　　　WATANABE, Osamu / TODA, Seinosuke
　
19. Topological Sorting の NLOG 完全性について(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------169
　　　　Department of Mathematics, Kyushu University　　　正代 隆義　(Shoudai, Takayoshi)
　
20. POLYNOMIAL-TIME ACCESSIBILITY TO SYMMETRIC SOLUTIONS : extended abstract-------------------------------------------------------178
　　　　Department of Mathematics, Rikkyo University　　　山上 智幸　(Yamakami, Tomoyuki)
　
21. 安全なOne-way Functionについて(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------------------188
　　　　電気通信大学計算機科学科 / 電気通信大学計算機科学科　　　陳 致中 / 笠井 琢美
　
22. 確率的多項式時間アルゴリズムの能力について(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------198
　　　　電気通信大学情報工学科　　　戸田 誠之助
　
23. 一人ゲームHi-Qについて(計算アルゴリズムと計算量の基礎理論)---------------------------------------------------------------------205
　　　　電気通信大学 / 東海大学　　　上原 隆平 / 岩田 茂樹　(Uehara, Ryuhei / Iwata, Shigeki)
　
24. 耐故障ネットワークと辺付加問題(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------------------215
　　　　広島大学工学部 / 広島大学工学部 / 広島大学工学部　　　渡辺 敏正 / 東 靖彦 / 中村 昭　(Watanabe, Toshimasa / Higashi, Yasuhiko / Nakamura, Akira)
　
25. 動的な点に対するVoronoi図について(計算アルゴリズムと計算量の基礎理論)----------------------------------------------------------225
　　　　九州工業大学情報科学センター　　　今井 桂子　(Imai, Keiko)
　
26. ピクチャ・パターン照合アルゴリズム(計算アルゴリズムと計算量の基礎理論)---------------------------------------------------------233
　　　　九州大学大学院総合理工学研究科情報システム学専攻　　　竹田 正幸　(Takeda, Masayuki)
　
27. 整数線形計画問題の解非存在性判定を利用した通信プロトコルの自動検証について(計算アルゴリズムと計算量の基礎理論)-----------------243
　　　　大阪大学大学院基礎工学部情報工学科 / 大阪大学大学院基礎工学部情報工学科　　　東野 輝夫 / 谷口 健一　(Higashino, Teruo / Taniguchi, Ken'ichi)
　
28. On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic------------------------------------253
　　　　Department of Information Science, Faculty of Engineering, Kyoto University / Department of Information Science, Faculty of Engineering, Kyoto University / Department of Information Science, Faculty of Engineering, Kyoto University　　　濱口 清治 / 平石 裕実 / 矢島 脩三　(Hamaguchi, Kiyoharu / Hiraishi. Hiromi / Yajima, Shuzo)
　
29. 非同期通信に基づく並列処理言語の表示的意味記述について(計算アルゴリズムと計算量の基礎理論)-------------------------------------263
　　　　三重大学工学部 / 三重大学工学部　　　那須 隆 / 大山口 通夫　(Nasu, Takashi / Oyamaguchi, Michio)
　
30. VLSIレイアウト設計におけるブロック配置の改良(計算アルゴリズムと計算量の基礎理論)-----------------------------------------------273
　　　　広島大学工学部 / 広島大学工学部 / 広島大学工学部　　　大村 道郎 / 宮尾 淳一 / 若林 真一　(Ohmura, Michiroh / Miyao, Jun'ichi / Wakabayashi, Shin'ichi)