No.421

1981/02/02〜1981/02/04

中村　昭

NAKAMURA,AKIRA

目　次

1. オートマトンのクラスのデカルト合成 (数理情報科学の基礎理論と応用)-----------------------------------------------------------------1

　　　　京都産業大学理学部 / 東海大学理学部　　　伊藤 正美 / 田中 源次郎　(ITO,MASAMI / TANAKA,GENJIRO)

　

2. Pushdown Automata with Terminal Languages (数理情報科学の基礎理論と応用)---------------------------------------------------------15

　　　　Laboratoire d'Informatique Theorique et Programmation C.N.R.S.　　　SAKAROVITCH,JACQUES

　

3. A Move Problem on Weighted Digraphs (数理情報科学の基礎理論と応用)---------------------------------------------------------------30

　　　　東海大学理学部　　　成島 弘　(NARUSHIMA,HIROSHI)

　

4. ホヤ卵割パターンにあらわれるグラフ列について (数理情報科学の基礎理論と応用)------------------------------------------------------36

　　　　京都大学理学部　　　土居 洋文　(DOI,HIROBUMI)

　

5. On a Relationship between Graph L-Systems and Picture Languages (数理情報科学の基礎理論と応用)-----------------------------------47

　　　　広島大学総合科学部 / 広島大学工学部　　　会沢 邦夫 / 中村 昭　(AIZAWA,KUNIO / NAKAMURA,AKIRA)

　

6. 回転入カをもつ2次元オートマタ : 和形と積形の関係 (数理情報科学の基礎理論と応用)--------------------------------------------------61

　　　　山口大学工学部 / 山口大学工学部 / 山口大学工学部　　　井上 克司 / 高浪 五男 / 谷口 弘　(INOUE,KATSUSHI / TAKANAMI,ITSUO / TANIGUCHI,HIROSHI)

　

7. オートマタ理論における解析,制御及び合成の各志向の明確化について (数理情報科学の基礎理論と応用)-----------------------------------77

　　　　九州工業大学　　　安在 弘幸　(ANZAI,HIROYUKI)

　

8. 代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)-------------------------------------------92

　　　　大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部　　　鈴木 一郎 / 杉山 裕二 / 谷口 健一 / 嵩 忠雄　(SUZUKI,ICHIRO / SUGIYAMA,YUJI / TANIGUCHI,KENICHI / KASAMI,TADAO)

　

9. 多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)-----------------------------------------------------106

　　　　大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部　　　伊藤 実 / 岩崎 元昭 / 谷口 健一 / 嵩 忠雄　(ITO,MINORU / IWASAKI,MOTOAKI / TANIGUCHI,KENICHI / KASAMI,TADAO)

　

10. Recurrent Strings in a OL Language (数理情報科学の基礎理論と応用)--------------------------------------------------------------121

　　　　京都大学理学部 / 京都大学理学部　　　西田 泰伸 / 小渕 洋一　(NISHIDA,TAISHIN / KOBUCHI,YOICHI)

　

11. 1つのL SchemeにおけるLocally Catenative Systemについて (数理情報科学の基礎理論と応用)------------------------------------------134

　　　　京都大学理学部 / 京都大学理学部　　　関 成子 / 小渕 洋一　(SEKI,SHIGEKO / KOBUCHI,YOICHI)

　

12. 記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用)--------------------------------------------------------------149

　　　　京都大学工学部 / 京都大学工学部 / 京都産業大学理学部 / 京都大学工学部　　　上林 弥彦 / 安浦 寛人 / 岩間 一雄 / 矢島 脩三　(KANBAYASHI,YAHIKO / YASUURA,HIROTO / IWAMA,KAZUO / YAJIMA,SHUZO)

　

13. オンライン計算に於ける領域計算量 (数理情報科学の基礎理論と応用)----------------------------------------------------------------163

　　　　電気通信大学 / 電気通信大学　　　町田 元 / 笠井 琢美　(MACHIDA,HAJIME / KASAI,TAKUMI)

　

14. 組合せ論理回路による有限体上の多項式演算の複雑さ (数理情報科学の基礎理論と応用)------------------------------------------------180

　　　　京都大学工学部 / 京都大学工学部　　　安浦 寛人 / 矢島 脩三　(YASUURA,HIROTO / YAJIMA,SHUZO)

　

15. 論理回路の検査入カ生成アルゴリズムについて (数理情報科学の基礎理論と応用)------------------------------------------------------193

　　　　京都大学工学部 / 京都大学工学部　　　佐伯 俊則 / 矢島 脩三　(SAEKI,TOSHINORI / YAJIMA,SHUZO)

　

16. On Weak Persistency of Petri Nets (数理情報科学の基礎理論と応用)---------------------------------------------------------------208

　　　　東京工業大学理学部情報科学科　　　山崎 秀記　(YAMASAKI,HIDEKI)

　

17. 自己シャフルに関する判定問題について (数理情報科学の基礎理論と応用)------------------------------------------------------------218

　　　　京都産業大学理学部　　　岩間 一雄　(IWAMA,KAZUO)

　

18. Horn節集合による計算について (数理情報科学の基礎理論と応用)--------------------------------------------------------------------232

　　　　京都大学工学部 / 京都大学工学部 / 京都大学工学部 / 京都大学工学部　　　石橋 稔彦 / 鈴木 博 / 山崎 進 / 堂下 修司　(ISHIBASHI,TOSHIHIKO / SUZUKI,HIROSHI / YAMASAKI,SUSUMU / DOSHITA,SHUJI)

　

19. 時間を入れたブール代数の公理系 (数理情報科学の基礎理論と応用)------------------------------------------------------------------247

　　　　日本大学理工学部　　　高橋 英之　(TAKAHASHI,HIDEYUKI)

　

20. ユネート関数におけるプライムインプリカントの最大数 (数理情報科学の基礎理論と応用)----------------------------------------------262

　　　　相模工業大学　　　岩田 茂樹　(IWATA,SHIGEKI)

　

21. LISPプログラム自動合成の一システム (数理情報科学の基礎理論と応用)--------------------------------------------------------------268

　　　　電気通信大学 / 電気通信大学　　　永井 雅人 / 西澤 輝泰　(NAGAI,MASATO / NISHIZAWA,TERUYASU)