No.353
情報科学の数学的基礎理論と応用
Fundamental Mathematical Theory of Information Sciences and Its Application
　
1979/02/05〜1979/02/07
嵩　忠雄
KASAMI,TADAO
　
目　次
　
1. Representability Problem for Relational Database Design with Multivalued Dependencies (情報科学の数学的基礎理論と応用)------------1
　　　　神戸大学教養部 / 京都大学工学部 / 京都大学工学部　　　田中 克巳 / 上林 弥彦 / 矢島 脩三　(TANAKA,KATSUMI / KANBAYASHI,YAHIKO / YAJIMA,SHUZO)
　
2. Relational Database Design by a Synthetic Approach (情報科学の数学的基礎理論と応用)----------------------------------------------11
　　　　京都大学工学部　　　上林 弥彦　(KANBAYASHI,YAHIKO)
　
3. Query Processing in a Relational Database Using Abstracted Characteristics of Data (情報科学の数学的基礎理論と応用)--------------20
　　　　京都大学工学部 / 京都大学工学部 / 神戸大学教養部 / 京都大学工学部　　　レ ヴィエトチュン / 上林 弥彦 / 田中 克巳 / 矢島 脩三　(LE,VIET CHUNG / KANBAYASHI,YAHIKO / TANAKA,KATSUMI / YAJIMA,SHUZO)
　
4. 関係データベースデザインの数学的基礎理論について (情報科学の数学的基礎理論と応用)------------------------------------------------30
　　　　東北大学電気通信研究所　　　増永 良文　(MASUNAGA,YOSHIFUMI)
　
5. マルコフゲームヘの学習アルゴリズムの応用 (情報科学の数学的基礎理論と応用)--------------------------------------------------------40
　　　　新潟大学理学部　　　田中 謙輔　(TANAKA,KENSUKE)
　
6. 石おきゲームと計算の複雑さ (情報科学の数学的基礎理論と応用)----------------------------------------------------------------------50
　　　　京都大学数理解析研究所 / 日本アイ・ビー・エム / 相模工業大学　　　笠井 琢美 / 足立 暁生 / 岩田 茂樹　(KASAI,TAKUMI / ADACHI,AKEO / IWATA,SHIGEKI)
　
7. 最大共通部分系列問題と共通連続部分系列問題のアルゴリズム (情報科学の数学的基礎理論と応用)----------------------------------------58
　　　　京都大学工学部 / 京都大学工学部 / 京都大学工学部　　　中津 楢男 / 上林 弥彦 / 矢島 脩三　(NAKATSU,NARAO / KANBAYASHI,YAHIKO / YAJIMA,SHUZO)
　
8. ある種のグラフの極大マッチングを与える線形時間アルゴリズム (情報科学の数学的基礎理論と応用)--------------------------------------68
　　　　東海大学理学部　　　夜久 竹夫　(YAKU,TAKEO)
　
9. 直並列グラフの支配数 (情報科学の数学的基礎理論と応用)----------------------------------------------------------------------------78
　　　　広島大学工学部 / 広島大学工学部　　　菊野 亨 / 角田 良明　(KIKUNO,TORU / KAKUDA,YOSHIAKI)
　
10. 2分検索木上のセレクティブトラバースに関するある改良 (情報科学の数学的基礎理論と応用)--------------------------------------------87
　　　　広島大学工学部 / 広島大学工学部　　　菊野 亨 / 楠本 博巳　(KIKUNO,TORU / KUSUMOTO,HIROMI)
　
11. モジュールの再構成 : 共有を許す場合 (情報科学の数学的基礎理論と応用)------------------------------------------------------------97
　　　　広島大学工学部 / 広島大学工学部　　　菊野 亨 / 竹中 春之　(KIKUNO,TORU / TAKENAKA,HARUYUKI)
　
12. On a Class of Recursive Procedures and Equivalent Iterative Ones (情報科学の数学的基礎理論と応用)------------------------------107
　　　　東京都立大学理学部　　　疋田 輝雄　(HIKITA,TERUO)
　
13. 不完全指定順序機械の非両立状態対の割合について (情報科学の数学的基礎理論と応用)------------------------------------------------116
　　　　京都大学工学部 / 京都大学工学部　　　松本 裕治 / 矢島 脩三　(MATSUMOTO,YUJI / YAJIMA,SHUZO)
　
14. 論理関数の複雑さと形式言語の関連について (情報科学の数学的基礎理論と応用)------------------------------------------------------126
　　　　京都大学工学部 / 京都大学工学部　　　安浦 寛人 / 矢島 脩三　(YASUURA,HIROTO / YAJIMA,SHUZO)
　
15. 論理回路の故障の自律検査法 (情報科学の数学的基礎理論と応用)--------------------------------------------------------------------136
　　　　京都大学工学部 / 京都大学工学部 / 京都大学工学部　　　矢島 脩三 / 栄木 浩 / 稲垣 耕作　(YAJIMA,SHUZO / SAKAKI,HIROSHI / INAGAKI,KOSAKU)
　
16. On the Maximum Number of Prime Implicants (情報科学の数学的基礎理論と応用)-----------------------------------------------------146
　　　　群馬大学工学部　　　五十嵐 善英　(IGARASHI,YOSHIHIDE)
　
17. Mathematical Considerations on Multi-Cellular Developmental Systems (情報科学の数学的基礎理論と応用)---------------------------152
　　　　京都大学理学部　　　西尾 英之助　(NISHIO,HIDENOSUKE)
　
18. 部分自律有限オートマトンの等価性 (情報科学の数学的基礎理論と応用)--------------------------------------------------------------165
　　　　京都産業大学理学部 / 京都大学工学部 / 京都大学工学部　　　岩間 一雄 / 上林 弥彦 / 矢島 脩三　(IWAMA,KAZUO / KANBAYASHI,YAHIKO / YAJIMA,SHUZO)
　
19. 非同期ポリオートマトンの分類と各部分クラス間の問題 (情報科学の数学的基礎理論と応用)--------------------------------------------175
　　　　東京電機大学理工学部　　　中村 克彦　(NAKAMURA,KATSUHIKO)
　
20. オートマトンのデカルト合成表現 (情報科学の数学的基礎理論と応用)----------------------------------------------------------------185
　　　　京都産業大学理学部　　　伊藤 正美　(ITO,MASAMI)
　
21. 多次元コスト関数をもつ有限オートマトンについて (情報科学の数学的基礎理論と応用)------------------------------------------------194
　　　　京都大学工学部 / 京都大学工学部 / 京都大学工学部 / 京都大学工学部 / 京都大学工学部　　　矢野 陽一 / 内藤 昭三 / 室 章治郎 / 茨木 俊秀 / 長谷川 利治　(YANO,YOICHI / NAITO,SHOZO / MURO,SHOJIRO / IBARAKI,TOSHIHIDE / HASEGAWA,TOSHIHARU)
　
22. Some Properties of Bottom-Up Cellular Pyramids (情報科学の数学的基礎理論と応用)------------------------------------------------204
　　　　メリーランド大学 / 広島大学理学部 / メリーランド大学　　　DYER CHARLES R. / 中村 昭 / ROSENFELD AZRIEL　(DYER,CHARLES R. / NAKAMURA,AKIRA / ROSENFELD,AZRIEL)
　
23. Undecidable Extensions of Monadic First-Order Successor Arithmetic (情報科学の数学的基礎理論と応用)----------------------------214
　　　　広島大学理学部 / 広島大学理学部　　　小野 寛晰 / 中村 昭　(ONO,HIROAKIRA / NAKAMURA,AKIRA)
　
24. 線形文法の推定 (情報科学の数学的基礎理論と応用)--------------------------------------------------------------------------------220
　　　　北九州大学商学部　　　棚次 奎介　(TANATSUGU,KEISUKE)
　
25. 正規表現の直和標準形 (情報科学の数学的基礎理論と応用)--------------------------------------------------------------------------228
　　　　名古屋大学工学部 / 三重大学工学部 / 名古屋大学工学部　　　山本 修一郎 / 稲垣 康善 / 本多 波雄　(YAMAMOTO,SHUICHIRO / INAGAKI,YASUYOSHI / HONDA,NAMIO)
　
26. ヤノフ形並列プログラム図式の決定可能問題 (情報科学の数学的基礎理論と応用)------------------------------------------------------238
　　　　名古屋大学工学部 / 三重大学工学部 / 名古屋大学工学部　　　山下 雅史 / 稲垣 康善 / 本多 波雄　(YAMASHITA,MASASHI / INAGAKI,YASUYOSHI / HONDA,NAMIO)
　
27. 準3方向と3方向のシンプルマルチヘッド有限オートマタの関係 (情報科学の数学的基礎理論と応用)--------------------------------------248
　　　　山口大学工学部 / 山口大学工学部 / 山口大学工学部　　　井上 克司 / 高浪 五男 / 谷口 弘　(INOUE,KATSUSHI / TAKANAMI,ITSUO / TANIGUCHI,HIROSHI)
　
28. A Note on Decision Problems for Three-Way Two-Dimensional Finite Automata (情報科学の数学的基礎理論と応用)---------------------257
　　　　山口大学工学部 / 山口大学工学部　　　井上 克司 / 高浪 五男　(INOUE,KATSUSHI / TAKANAMI,ITSUO)
　
29. Space Complexity on Two-Dimensional Connected Tapes (情報科学の数学的基礎理論と応用)-------------------------------------------266
　　　　大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部　　　梅尾 博司 / 森田 憲一 / 菅田 一博　(UMEO,HIROSHI / MORITA,KENICHI / SUGATA,KAZUHIRO)
　
30. 逐次検索システムと言語について (情報科学の数学的基礎理論と応用)----------------------------------------------------------------276
　　　　九州大学理学部　　　有川 節夫　(ARIKAWA,SETSUO)