No.591
アルゴリズムの数学的基礎理論とその応用
Algorithms:Mathematical Foundations and Applications
 
1986/02/03〜1986/02/05
稲垣 康善
INAGAKI,YASUYOSHI
 
目 次
 
1. 鎖パッキング問題について(アルゴリズムの数学的基礎理論とその応用)------------------------------------------------------------------1
    京都大学工学部 / 京都大学工学部 / 関西大学工学部   増山 繁 / 茨木 俊秀 / 三根 久 (MASUYAMA, Shigeru / IBARAKI, Toshihide / MINE, Hisashi)
 
2. Complexity of Path Covering Problems in Acyclic Alternate Graphs II(Algorithms : Mathematical Foundations and Applications)------12
    Department of Mathematics, Tsuru University / Department of Mathematical Science, Tokyo Denki University   植村 憲治 / 夜久 竹夫 (Uemura, Kenji / Yaku, Takeo)
 
3. Classifications and Base Enumerations of the Maximal Sets of Three-Valued Logical Functions(Algorithms : Mathematical Foundations and Applications)---25
    Electrotechnical Laboratory / Institute of Mathematics, Unviersity of Novi Sad   宮川 正弘 / Stojmenovic Ivan (Miyakawa, Masahiro / Stojmenovic, Ivan)
 
4. Applications of a Subset Generating Algorithm to Base Enumeration, Knapsack and Minimal Covering Problems(Algorithms : Mathematical Foundations and Applications)---30
    Institute of Mathematics, University of Novi Sad / Electrotechnical Laboratory   Stojmenovic Ivan / 宮川 正弘 (Stojmenovic, Ivan / Miyakawa, Masahiro)
 
5. 述語の微分について : その3(アルゴリズムの数学的基礎理論とその応用)---------------------------------------------------------------45
    新潟大学経済学部   西澤 輝泰 (Nishizawa, Teruyasu)
 
6. イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用)----------------------------------------------53
    京都大学工学部 / 京都大学工学部 / 京都大学工学部   手嶋 茂晴 / 平石 祐実 / 矢島 脩三 (TESHIMA, Shigeharu / HIRAISHI, Hiromi / YAJIMA, Shuzo)
 
7. 定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)------------------------65
    山形大学工学部情報工学科 / 山形大学工学部情報工学科   原尾 政輝 / 岩沼 宏治 (HaRAO, Masateru / IWANUMA, Kouji)
 
8. ネットワークデータベースにおける巡航操作で解ける質問のクラス(アルゴリズムの数学的基礎理論とその応用)-----------------------------74
    九州大学工学部 / 九州大学工学部   古川 哲也 / 上林 彌彦 (Furikawa[Furukawa], Tetsuya / Kambayashi, Yahiko)
 
9. データベース問合せ言語の変換アルゴリズムについて(アルゴリズムの数学的基礎理論とその応用)-----------------------------------------84
    広島大学工学部 / 広島大学工学部 / 広島大学工学部   宮尾 淳一 / 冨永 一幸 / 菊野 亨 (MIYAO, Jun'ichi / TOMINAGA, Kazuyuki / KIKUNO, Tohru)
 
10. 平行処理制御方式の可観測性と可制御性(アルゴリズムの数学的基礎理論とその応用)----------------------------------------------------95
    九州大学工学部   上林 弥彦 (Kambayashi, Yahiko)
 
11. 分散システムの一つのスケジューリング問題(アルゴリズムの数学的基礎理論とその応用)-----------------------------------------------105
    広島大学工学部 / 広島大学工学部 / 広島大学工学部   阿江 忠 / 山下 雅史 / 方 安祥 (Ae, Tadashi / Yamashita, Masafumi / Fang, An Xiang)
 
12. メタデータ制御を考慮した重複分散データベースシステムの並行処理(アルゴリズムの数学的基礎理論とその応用)-------------------------111
    九州大学工学部 / 九州大学工学部   仲 興国 / 上林 弥彦 (Zhong, Xingguo / Kambayashi, Yahiko)
 
13. ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications)-----------------121
    Department of Computer Science, Shizuoka University / Department of Computer Science, Shizuoka University   関本 彰次 / 広川 佐千男 (SEKIMOTO, Shoji / HIROKAWA, Sachio)
 
14. 項書き換えシステムの束論的意味論について(アルゴリズムの数学的基礎理論とその応用)-----------------------------------------------138
    名古屋大学工学部 / 名古屋大学工学部   直井 徹 / 稲垣 康善 (Naoi, Tohru / Inagaki, Yasuyoshi)
 
15. Self-embedding を利用した文脈自由言語に対する文法推論(アルゴリズムの数学的基礎理論とその応用)----------------------------------148
    北九州大学   棚次 奎介 (Tanatsugu, Keisuke)
 
16. 非単調論理に関する一考察(アルゴリズムの数学的基礎理論とその応用)---------------------------------------------------------------157
    九州大学大学院総合理工学研究科   新村 司 (Shinmura, Tsukasa)
 
17. 動的変化を伴う知識構造の論理モデル(アルゴリズムの数学的基礎理論とその応用)-----------------------------------------------------165
    名古屋大学工学部 / 名古屋大学工学部   外山 勝彦 / 稲垣 康善 (Toyama, Katsuhiko / Inagaki, Yasuyoshi)
 
18. ソフトウェアモデリングと対象モデルの変換に関する一考察(アルゴリズムの数学的基礎理論とその応用)---------------------------------175
    富士通(株)国際情報社会科学研究所 / 富士通(株)国際情報社会科学研究所   西田 泰伸 / 小林 要 (Nishida, Taishin / Kobayashi, Kaname)
 
19. 「ステートマシン・ネットワークの関数による動作記述」における「満足」包含関係について(アルゴリズムの数学的基礎理論とその応用)---183
    日本アイ・ビー・エム株式会社   山内 長承 (Yamanouchi, Nagatsugu)
 
20. On a chain-like connectivity of three-dimensional digital pictures(Algorithms : Mathematical Foundations and Applications)-----194
    Department of Applied Mathematics, Hiroshima University / Division of Mathematics and Statistics, CSIRO   中村 昭 / 会沢 邦夫 (Nakamura, Akira / Aizawa, Kunio)
 
21. Map OL systems with markers(Algorithms : Mathematical Foundations and Applications)--------------------------------------------205
    Department of Applied Mathematics, Hiroshima University / Theoretical Biology Group, University of Utrecht / Department of Applied Mathematics, Hiroshima University   中村 昭 / Lindenmayer Aristid / 会沢 邦夫 (Nakamura, Akira / Lindenmayer, Aristid / Aizawa, Kunio)
 
22. The Greatest Fixed-Points and Rational Omega-Tree Languages : Extended abstract(Algorithms : Mathematical Foundations and Applications)---216
    Department of Information Science, Tokyo Institute of Technology   高橋 正子 (Takahashi, Masako)
 
23. Modified One-way Alternating Pushdown Automata and Indexed Languages(Algorithms : Mathematical Foundations and Applications)---221
    Department of computer Science, The Unviersity of Electro-Communications   池川 将夫 (IKEKAWA, MASAO)
 
24. Low-Level Tradeoffs between Cross And Alternation(Algorithms : Mathematical Foundations and Applications)----------------------228
    Kyoto Sangyo University   岩間 一雄 (Iwama, Kazuo)
 
25. 並列構文解析法とその評価(アルゴリズムの数学的基礎理論とその応用)---------------------------------------------------------------237
    (財)新世代コンピュータ技術開発機構   松本 裕治 (Matsumoto, Yuji)
 
26. 属性文法の循環性検査の高速化について(アルゴリズムの数学的基礎理論とその応用)---------------------------------------------------247
    群馬大学 / 群馬大学   小池 博 / 五十嵐 善英 (KOIKE, Hiroshi / IGARASHI, Yoshihide)
 
27. 有限生成半群と正則言語のpumping条件(アルゴリズムの数学的基礎理論とその応用)----------------------------------------------------257
    豊橋技術科学大学情報工学系   橋口 攻三郎 (Hashiguchi, K.)
 
28. 正則集合に表現等価なテンポラル・ロジック(アルゴリズムの数学的基礎理論とその応用)-----------------------------------------------268
    京都大学工学部 / 京都大学工学部   平石 裕実 / 矢島 脩三 (Hiraishi, Hiromi / Yajima, Shuzo)
 
29. テンポラル・ロジックで用いられている連接について(アルゴリズムの数学的基礎理論とその応用)---------------------------------------278
    神戸大学工学部 / 京都大学工学部   木村 晋二 / 矢島 脩三 (KIMURA, Shinji / YAJIMA, Shuzo)