No.156
情報科学の数学的理論
Mathematical Theory of Information Sciences
　
1972/02/24〜1972/02/26
野口　広
NOGUCHI,HIROSHI
　
目　次
　
1. 最近のスイッチング理論 (情報科学の数学的理論)-------------------------------------------------------------------------------------1
　　　　東京大学情報研　　　野崎 昭弘　(NOZAKI,AKIHIRO)
　
2. 論理回路による計算時間 (情報科学の数学的理論)------------------------------------------------------------------------------------20
　　　　九州大学理学部　　　棚次 奎介　(TANATSUGU,KEISUKE)
　
3. 多値論理素子が細分的であるための条件 (情報科学の数学的理論)----------------------------------------------------------------------34
　　　　東北大学工学部 / 東北大学電気通信研究所　　　丸岡 章 / 本多 波雄　(MARUOKA,AKIRA / HONDA,NAMIO)
　
4. 集合演算による木オートマトンで受理される木の集合の特性化 (情報科学の数学的理論)--------------------------------------------------51
　　　　東北大学電気通信研究所 / 東北大学電気通信研究所　　　小島 政明 / 本多 波雄　(KOJIMA,MASAAKI / HONDA,NAMIO)
　
5. Indexed Grammarの木構造について : uvwxy定理の拡張 (情報科学の数学的理論)---------------------------------------------------------69
　　　　京都大学理学部　　　林 健志　(HAYASHI,TAKESHI)
　
6. Deterministic Graded Pushdown Automata (情報科学の数学的理論)--------------------------------------------------------------------83
　　　　京都大学数理解析研究所　　　笠井 琢美　(KASAI,TAKUMI)
　
7. エルゴード理論におけるエントロピー (情報科学の数学的理論)------------------------------------------------------------------------98
　　　　京都大学数理解析研究所　　　十時 東生　(TOTOKI,HARUO)
　
8. gsmの解読可能性 (情報科学の数学的理論)------------------------------------------------------------------------------------------111
　　　　京都大学理学部　　　佐藤 興ニ　(SATO,KOJI)
　
9. Structure of Determinative Subspace in Cell Space (情報科学の数学的理論)--------------------------------------------------------133
　　　　九州大学理学部　　　山口 優子　(YAMAGUCHI,YUKO)
　
10. 変換半群の生成元,基本関係式,元の長さ (情報科学の数学的理論)--------------------------------------------------------------------147
　　　　青山学院大学理工学部　　　岩堀 信子　(IWAHORI,NOBUKO)
　
11. プログラムの形式的正当性 (情報科学の数学的理論)--------------------------------------------------------------------------------167
　　　　京都大学工学部　　　謝 章文　(SHA,AKIFUMI)
　
12. カウンタ機械の計算可能性 (情報科学の数学的理論)--------------------------------------------------------------------------------183
　　　　電気通信大学　　　金山 裕　(KANAYAMA,YUTAKA)
　
13. 片側文脈規定形文法について (情報科学の数学的理論)------------------------------------------------------------------------------198
　　　　名古屋大学工学部 / 名古屋大学工学部 / 名古屋大学工学部　　　伊藤 英則 / 稲垣 康善 / 福村 晃夫　(ITO,HIDENORI / INAGAKI,YASUYOSHI / FUKUMURA,TERUO)
　
14. Analyzerの簡単化 (情報科学の数学的理論)----------------------------------------------------------------------------------------213
　　　　大阪大学基礎工学部　　　菊野 亨　(KIKUNO,TORU)
　
15. 有限状態逐次決定過程とその決定問題 (情報科学の数学的理論)----------------------------------------------------------------------230
　　　　京都大学工学部　　　茨木 俊秀　(IBARAKI,TOSHIHIDE)