No.494
計算機構に関する数学的基礎理論とその応用
Mathematical Theories on Computing Schemes and Their Applications
 
1983/02/01〜1983/02/03
矢島 脩三
YAJIMA,SHUZO
 
目 次
 
1. 横切り分解によるデータ従属性の保持(計算機構に関する数学的基礎理論とその応用)------------------------------------------------------1
    京都大学工学部 / 神戸大学教養部   上林 弥彦 / 田中 克己 (Kambayashi, Yahiko / Tanaka, Katsumi)
 
2. MINIMUM DELAY SEMIJOIN SCHEDULES FOR LOCAL AREA DISTRIBUTED DATABASE SYSTEMS(Mathematical Theories on Computing Schemes and Their Applications)---13
    Department of Applied Mathematics and Physics, Faculty of Engineering, Kyoto University / Department of Applied Mathematics and Physics, Faculty of Engineering, Kyoto University / Department of Applied Mathematics and Physics, Faculty of Engineering, Kyoto University   Masuyama, Shigeru / Muro, Shojiro / Ibaraki, Toshihide[他]
 
3. 関係データベースにおける複数質問処理の効率化について(計算機構に関する数学的基礎理論とその応用)-----------------------------------25
    京都大学工学部 / 京都大学工学部 / 京都大学工学部   吉川 正俊 / 上林 弥彦 / 矢島 脩三 (Yoshikawa, Masatoshi / Kambayashi, Yahiko / Yajima, Shuzo)
 
4. 分散型データベースにおける単純問合せの最適化について(計算機構に関する数学的基礎理論とその応用)-----------------------------------35
    広島大学工学部 / 広島大学工学部 / 広島大学工学部   杉原 一夫 / 宮尾 淳一 / 菊野 亨 (SUGIHARA, Kazuo / MIYAO, Jun'ichi / KIKUNO, Tohru)
 
5. REMARKS ON REAL-TIME DETERMINISTIC CONTEXT-FREE LANGUAGES(Mathematical Theories on Computing Schemes and Their Applications)-----46
    Department of Computer Science, Gunma University   Igarashi, Yoshihide
 
6. Characterization of $\omega$-Regular Languages by First-Order Formulas : An Extended Abstract(Mathematical Theories on Computing Schemes and Their Applications)---58
    Tokyo Institute of Technology, Department of Information Science / Tokyo Institute of Technology, Department of Information Science / Tokyo Institute of Technology, Department of Information Science   小林 孝次郎 / 高橋 正子 / 山崎 秀記 (Kobayashi, Kojiro / Takahashi, Masako / Yamasaki, Hideki)
 
7. A CONSTRUCTION OF THE NERODE EQUIVALENCE IN CLOSED CATEGORIES(Mathematical Theories on Computing Schemes and Their Applications)---70
    九州大学理学部   河原 康雄 (Kawahara, Yasuo)
 
8. ある種の代数的システムに付随する無限行列の性質(計算機構に関する数学的基礎理論とその応用)-----------------------------------------78
    山梨大学工学部   内村 桂輔 (Uchimura, Keisuke)
 
9. 基本操作の依存性を利用した並行処理のための手法(計算機構に関する数学的基礎理論とその応用)-----------------------------------------90
    京都大学工学部 / 京都大学工学部 / 京都大学工学部   近藤 誠一 / 上林 弥彦 / 矢島 脩三 (Kondo, Seiichi / Kambayashi, Yahiko / Yajima, Shuzo)
 
10. Serializable Classesの構造について(計算機構に関する数学的基礎理論とその応用)---------------------------------------------------102
    京都大学工学部 / Simon Fracer大学 / Oregon State大学   茨木 俊秀 / 亀田 恒彦 / 箕浦 敏美
 
11. 分散型システムにおける相互排除のためのトークンを用いたスキームについて(計算機構に関する数学的基礎理論とその応用)---------------114
    京都大学工学部 / 神戸商科大学 / オレゴン州立大学   室 章治郎 / 加藤 直樹 / 箕浦 敏美[他] (Muro, Shojiro / Katoh, Naoki / Minoura, Toshimi)
 
12. Transformations of Communicating Sequential Processes(Mathematical Theories on Computing Schemes and Their Applications)-------126
    Department of Computer Science, Yamanashi University / Department of Computer Science, Yamanashi University   武舎 広幸 / 徳田 雄洋 (Musha, Hiroyuki / Tokuda, Takehiro)
 
13. ディジタル幾何学における図形とそのComputational Complexityについて(計算機構に関する数学的基礎理論とその応用)-------------------137
    広島大学工学部 / 広島大学工学部   中村 昭 / 会沢 邦夫 (NAKAMURA, Akira / AIZAWA, Kunio)
 
14. Gradually Intractable Problems(Mathematical Theories on Computing Schemes and Their Applications)------------------------------148
    電気通信大学 / 東海大学   笠井 琢美 / 岩田 茂樹 (Kasai, Takumi / Iwata, Shigeki)
 
15. The Relation between Time and Accepting Probability on Probabilistic Simple Decision Trees : Extended abstract(Mathematical Theories on Computing Schemes and Their Applications)---160
    Dept. of Information Sciences, Tokyo Inst. of Technology   WATANABE, Osamu
 
16. A Space Hierarchy Result of Two-Dimensional Alternating Turing Machines with Only Universal States(Mathematical Theories on Computing Schemes and Their Applications)---172
    Faculty of Engineering, Yamaguchi University / Faculty of Engineering, Yamaguchi University / Faculty of Engineering, Yamaguchi University   井上 克司 / 伊藤 暁 / 高浪 五男[他] (INOUE, Katsushi / ITO, Akira / TAKANAMI, Itsuo)
 
17. Time-optimum parallel binary address setting algorithms for array processors(Mathematical Theories on Computing Schemes and Their Applications)---185
    Department of Applied Electronic Engineering, Faculty of Engineering, Osaka Electro-Communication University   梅尾 博司 (Umeo, Hiroshi)
 
18. 多オートマトン系の進化(計算機構に関する数学的基礎理論とその応用)---------------------------------------------------------------194
    京都大学理学部 / 京都大学理学部   西尾 英之助 / 斉藤 隆 (Nishio, H. / Saito, T.)
 
19. プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)-------------------------------------------------203
    名古屋大学工学部 / 名古屋大学工学部 / 豊橋技術科学大学   村上 昌己 / 稲垣 康善 / 本多 波雄
 
20. 正規論理とそのmodelについて(計算機構に関する数学的基礎理論とその応用)----------------------------------------------------------215
    新世代コンピュータ技術開発機構(ICOT)   坂井 公 (Sakai, Ko)
 
21. Hardware Algorithms for Division and Square Rooting Internally Using Redundant Binary Representation(Mathematical Theories on Computing Schemes and Their Applications)---223
    Faculty of Engineering, Kyoto University / Faculty of Engineering, Kyoto University / Faculty of Engineering, Kyoto University   高木 直史 / 安浦 寛人 / 矢島 脩三 (TAKAGI, Naofumi / YASUURA, Hiroto / Yajima, Shuzo)
 
22. VLSIモデルへのグラフの埋め込みについて(計算機構に関する数学的基礎理論とその応用)-----------------------------------------------236
    電気通信大学 / 電気通信大学   戸田 誠之助 / 笠井 琢美 (Toda, Seinosuke / Kasai, Takumi)
 
23. 正則な論理関数列を実現する論理回路の複雑さ(計算機構に関する数学的基礎理論とその応用)-------------------------------------------248
    京都大学工学部 / 京都大学工学部   安浦 寛人 / 矢島 脩三 (YASUURA, Hiroto / YAJIMA, Shuzo)
 
24. 正規集合を受理するパターン・マッチング・マシン(計算機構に関する数学的基礎理論とその応用)---------------------------------------259
    広島大学工学部 / 広島大学工学部 / 広島大学工学部   若林 真一 / 藤井 隆志 / 菊野 亨 (WAKABAYASHI, Shin'ichi / FUJII, Takashi / KIKUNO, Tohru)