No.666
計算アルゴリズムと計算量の基礎理論
Studies of Numerical Algorithms and ??
　
1988/02/01〜1988/02/03
河原　康雄
KAWARA,YASUO
　
目　次
　
1. 初等トポスでのプログラムの公理的意味論(計算アルゴリズムと計算量の基礎理論)--------------------------------------------------------1
　　　　九州大学理学部 / 九州大学理学部　　　河原 康雄 / 溝口 佳寛
　
2. 連続動作代数に基づく項書換え系の意味論(計算アルゴリズムと計算量の基礎理論)--------------------------------------------------------8
　　　　名古屋大学工学部 / 名古屋大学工学部　　　直井 徹 / 稲垣 康善
　
3. Termination for the Direct Sum of Left-Linear Term Rewriting Systems : Preliminary Draft-----------------------------------------18
　　　　NTT Basic Research Laboratories　　　Toyama, Yoshihito
　
4. Boolean Grobner Bases------------------------------------------------------------------------------------------------------------29
　　　　ICOT Research Center / ICOT Research Center　　　Sakai, Ko / Sato, Yosuke
　
5. 系列集合と時間の階層の関係について(計算アルゴリズムと計算量の基礎理論)-----------------------------------------------------------41
　　　　神戸大学工学部 / 神戸大学工学部　　　木村 晋二 / 羽根田 博正　(Kimura, Shinji / Haneda, Hiromasa)
　
6. 組合せ論理回路のハザード検出問題の計算複雑さについて(計算アルゴリズムと計算量の基礎理論)-----------------------------------------51
　　　　京都大学工学部 / 京都大学工学部　　　石浦 菜岐佐 / 安浦 寛人　(Ishiura, Nagisa / Yasuura, Hiroto)
　
7. A Note on Collapsing Bounded Query Classes---------------------------------------------------------------------------------------61
　　　　産業能率大学 / 東京工業大学　　　和泉 正明 / 小林 孝次郎　(IZUMI, Masa-aki / KOBAYASHI, Kojiro)
　
8. 2次元マーカオートマトンのある性質 : 3方向チューリング機械による模倣(計算アルゴリズムと計算量の基礎理論)--------------------------71
　　　　山口大学工業短期大学部 / 山口大学工学部 / 山口大学工学部　　　伊藤 暁 / 井上 克司 / 高浪 五男　(Ito, Akira / Inoue, Katsushi / Takanami, Itsuo)
　
9. Some basic results about probabilistic pushdown automata-------------------------------------------------------------------------81
　　　　　　　陳 致中 / 笠井 琢美　(Chen, Zhi-Zhong / Kasai, Takumi)
　
10. 辞書式順序で最初の極大部分グラフを計算する問題のP完全性とNCアルゴリズム(計算アルゴリズムと計算量の基礎理論)---------------------91
　　　　九州大学理学部基礎情報学研究施設　　　宮野 悟　(Miyano, Satoru)
　
11. A Rich Hierarchy on the Time Complexity of Uniform PRAMs-----------------------------------------------------------------------101
　　　　Computer Sciences Institute, Kyoto Sangyo University　　　Iwama, Kazuo
　
12. ループプログラムのハードウェア化(計算アルゴリズムと計算量の基礎理論)-----------------------------------------------------------105
　　　　東北大学工学部　　　阿曽 弘具　(Aso, Hirotomo)
　
13. Area-Time Efficient Evaluation of Elementary Functions-------------------------------------------------------------------------115
　　　　Faculty of Engineering, Kyoto University / Faculty of Engineering, Kyoto University　　　OKABE, Yasuo / YAJIMA, Shuzo
　
14. 単項演算に対する局所計算可能な符号化(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------------125
　　　　京都大学工学部　　　安浦 寛人　(Yasuura, Hiroto)
　
15. デフォルト推論における自然な拡張と帰納推論(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------135
　　　　九州大学大学院総合理工学研究科　　　湯浅 寛子　(Yuasa, Hiroko)
　
16. 相殺公理のための完全な推論体系(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------------------145
　　　　SUNY at Stony Brook / CRIN / ICOT　　　Hsiang Jieh / Rusinowitch Michael / 坂井 公　(Hsiang, Jieh / Rusinowitch, Michael /)
　
17. 代数的手法を用いたハードウェアの仕様記述とその詳細化について(計算アルゴリズムと計算量の基礎理論)-------------------------------158
　　　　大阪大学大学院基礎工学研究科 / 大阪大学大学院基礎工学研究科 / 大阪大学大学院基礎工学研究科　　　杉山 裕二 / 横山 昌生 / 北道 淳司[他]　(Sugiyama, Y. / Yokoyama, M. / Kitamichi, J.)
　
18. 領域制約の下でのゲーム木探索(計算アルゴリズムと計算量の基礎理論)---------------------------------------------------------------168
　　　　京都大学工学部 / 京都大学工学部　　　加藤 芳朗 / 茨木 俊秀　(KATOH, Yoshiroh / IBARAKI, Toshihide)
　
19. リーダー選出問題における時間最小アルゴリズムについて(計算アルゴリズムと計算量の基礎理論)---------------------------------------180
　　　　京都大学工学部 / 京都大学工学部　　　大戸 豊 / 茨木 俊秀　(OHTO, Yutaka / IBARAKI, Toshihide)
　
20. ある種の平面有向ネットワークの多品種流問題に対する実行可能性の判定法(計算アルゴリズムと計算量の基礎理論)-----------------------190
　　　　京都大学工学部 / 京都大学工学部　　　永持 仁 / 茨木 俊秀　(Nagamochi, Hiroshi / Ibaraki, Toshihide)
　
21. グラフの3-辺連結化について(計算アルゴリズムと計算量の基礎理論)-----------------------------------------------------------------195
　　　　広島大学工学部 / 広島大学工学部 / 広島大学大学院　　　渡辺 敏正 / 中村 昭 / 成田 貴則　(Watanabe, Toshimasa / Nakamura, Akira / Narita, Takanori)
　
22. 有界交互文脈自由言語について(計算アルゴリズムと計算量の基礎理論)---------------------------------------------------------------205
　　　　電気通信大学　　　中村 愛　(Nakamura, Megumu)
　
23. 語い機能文法の生成能力の上界について(計算アルゴリズムと計算量の基礎理論)-------------------------------------------------------215
　　　　東京電機大学理工学部　　　西野 哲朗　(NISHINO, Tetsuro)
　
24. Invariant sets for substitution------------------------------------------------------------------------------------------------225
　　　　International Insitute for Advanced Study of Social Information Science, Fujitsu Limited / Department of Biophysics, Faculty of Science, Kyoto University　　　西田 泰伸 / 小渕 洋一　(NISHIDA, Taishin / KOBUCHI, Youichi)
　
25. 非正規関係集合の構造に対応するネットワーク構造(計算アルゴリズムと計算量の基礎理論)---------------------------------------------235
　　　　九州大学工学部 / 九州大学工学部　　　古川 哲也 / 上林 彌彦　(Furukawa, Tetsuya / Kambayashi, Yahiko)
　
26. Efficient Processing of Set Oriented SQL Queries-------------------------------------------------------------------------------245
　　　　Dept. of Computer Sci. and Communication Eng., Kyushu University / Dept. of Computer Sci. and Communication Eng., Kyushu University　　　El-Sharkawi, Mohamed / Kambayashi, Yahiko
　
27. 先読みスケジューラによる分散型データベースシステムの並行処理制御(計算アルゴリズムと計算量の基礎理論)---------------------------255
　　　　京都大学工学部 / 京都大学工学部 / Simon Fraser Univ.　　　武田 真人 / 茨木 俊秀 / 亀田 恒彦　(TAKEDA, Makoto / IBARAKI, Toshihide / KAMEDA, Tiko)
　
28. データベースシステムにおける2レベルのデータ単位を考慮した直列化可能性について(計算アルゴリズムと計算量の基礎理論)--------------265
　　　　京都大学工学部数理工学科 / 京都大学工学部数理工学科 / 京都大学工学部数理工学科　　　和田 聖治 / 西尾 章次郎 / 長谷川 利治　(WADA, Seiji / NISHIO, Shojiro / HASEGAWA, Toshiharu)
　
29. On the Orthogonal $L_1$ Linear Approximation of Points-------------------------------------------------------------------------275
　　　　Department of Computer Science and Communication Engineering, Kyushu University, School of Computer Science, McGill University / Department of Mathematical Engineering, University of Tokyo / Department of Computer Science and Communication Engineering, Kyushu University　　　Yamamoto, Peter / Imai, Keiko / Imai, Hiroshi
　
30. Construction of Efficient Decision Trees---------------------------------------------------------------------------------------285
　　　　Electrotechnical Laboratory　　　宮川 正弘　(MIYAKAWA, Masahiro)
　
31. On the number of clique Boolean functions--------------------------------------------------------------------------------------302
　　　　Yerevan Polytechnic Institute / Electrotechnical Laboratory / International Christian University　　　Pogosyan Grant / 宮川 正弘 / 野崎 昭弘　(Pogosyan, Grant / Miyakawa, Masahiro / Nozaki, Akihiro)
　
32. 線型セルオートマトンのパターンについて(計算アルゴリズムと計算量の基礎理論)-----------------------------------------------------316
　　　　京都大学理学部生物物理学科　　　高橋 智　(Takahashi, Satoru)