No.322
計算機科学の数学的基礎
Mathematical Foundation of Computer Sciences
 
1978/02/01〜1978/02/02
本多 波雄
HONDA,NAMIO
 
目 次
 
1. 妥当な論理式(1階述語論理)の証明図作成の1つの方法 (計算機科学の数学的基礎)---------------------------------------------------------1
    名古屋工業大学 / 名古屋工業大学 / 名古屋工業大学   大芝 猛 / 永田 周郎 / 舟橋 栄 (OSHIBA,TAKESHI / NAGATA,SHURO / FUNAHASHI,SAKAE)
 
2. Simple Loop ProgramによるTime Complexityの階層 (計算機科学の数学的基礎)----------------------------------------------------------20
    京都大学数理解析研究所 / 日本IBM   笠井 琢美 / 足立 暁生 (KASAI,TAKUMI / ADACHI,AKEO)
 
3. セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)-----------------------56
    大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部 / 大阪大学基礎工学部   松浦 敏雄 / 杉山 裕二 / 谷口 健一 / 嵩 忠雄 (MATSUURA,TOSHIO / SUGIYAMA,YUJI / TANIGUCHI,KENICHI / KASAMI,TADAO)
 
4. 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)------------------------------------------------------------75
    電子技術総合研究所ソフトウェア部   二木 厚吉 (FUTATSUGI,KOKICHI)
 
5. 並列プログラム図式に関するいくつかの性質 (計算機科学の数学的基礎)----------------------------------------------------------------99
    名古屋大学工学部 / 三重大学工学部 / 名古屋大学工学部   山下 雅史 / 稲垣 康善 / 本多 波雄 (YAMASHITA,MASASHI / INAGAKI,YASUYOSHI / HONDA,NAMIO)
 
6. ベル数B(N)の1つの算式 (計算機科学の数学的基礎)----------------------------------------------------------------------------------117
    名古屋工業大学   大芝 猛 (OSHIBA,TAKESHI)
 
7. 一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)---------------------------------------------------------------124
    静岡大学工学部 / 静岡大学工学部   鈴木 淳之 / 中松 和己 (SUZUKI,ATSUYUKI / NAKAMATSU,KAZUMI)
 
8. 入カ導出を階層化した導出について (計算機科学の数学的基礎)-----------------------------------------------------------------------154
    京都大学工学部 / 京都大学工学部 / 京都大学工学部 / 京都大学工学部   山崎 進 / 村木 一至 / 葭矢 哲司 / 堂下 修司 (YAMASAKI,SUSUMU / MURAKI,KAZUNORI / ASHIYA,TETSUSHI / DOSHITA,SHUJI)
 
9. 自己診断システムにおけるネットワーク構造と計算複雑さの関係 (計算機科学の数学的基礎)---------------------------------------------178
    広島大学工学部 / 広島大学工学部   阿江 忠 / 大崎 重義 (AE,TADASHI / OSAKI,SHIGEYOSHI)
 
10. プロテクションシステムのセキュリティ判定問題 (計算機科学の数学的基礎)----------------------------------------------------------194
    広島大学工学部 / 広島大学工学部   菊野 亨 / 今川 隆則 (KIKUNO,TORU / IMAGAWA,TAKANORI)
 
11. A Note on Algorithms for Tower of Hanoi (計算機科学の数学的基礎)---------------------------------------------------------------218
    山口大学工学部 / 山口大学工学部   高浪 五男 / 井上 克司 (TAKANAMI,ITSUO / INOUE,KATSUSHI)
 
12. 多段グラフの平面性判定アルゴリズム (計算機科学の数学的基礎)--------------------------------------------------------------------230
    京都大学工学部 / 京都大学工学部 / 京都大学工学部   富井 規雄 / 上林 弥彦 / 矢島 脩三 (TOMII,NORIO / KANBAYASHI,YAHIKO / YAJIMA,SHUZO)
 
13. 不成功マッチング処理に適した部分マッチングアルゴリズム (計算機科学の数学的基礎)------------------------------------------------264
    京都大学工学部 / 京都大学工学部 / 京都大学工学部   上林 弥彦 / 中津 楢男 / 矢島 脩三 (KANBAYASHI,YAHIKO / NAKATSU,NARAO / YAJIMA,SHUZO)