No.1041
アルゴリズムと計算の理論
Algorithms and Theory of Computing
研究集会報告集
 　
1998/02/02〜1998/02/04
岩間 一雄
Kazuo Iwama
　
目　次
　
1. Planar Topological Inference (Algorithms and Theory of Computing)-----------------------------------------------------------------1
　　　　東京電機大学 / /　　　陳 致中 / /　(Chen,Zhi-Zhong / Grigni,Michelangelo / Papadimitriou,Christos H.)
　
2. $n$-cube上の交差antichainの個数の評価について (アルゴリズムと計算の理論)----------------------------------------------------------9
　　　　筑波技術短期大学　　　宮川 正弘　(Miyakawa,Masahiro)
　
3. BDDによる計算代数・計算幾何の不変量計算 (アルゴリズムと計算の理論)---------------------------------------------------------------12
　　　　東京大学情報科学科 / 中央大学情報工学科　　　今井 浩 / 今井 桂子　(Imai,Hiroshi / Imai,Keiko)
　
4. Some Modifications of Lockout-Free Mutual Exclusion Algorithms (Algorithms and Theory of Computing)------------------------------19
　　　　群馬大学工学部 / 群馬大学工学部 / 群馬大学工学部 / 群馬大学工学部　　　車崎 裕信 / 川 美奈子 / 西谷 泰昭 / 五十嵐 善英　(Kurumazaki,Hironobu / Kawa,Minako / Nishitani, Yasuaki / Igarashi,Yoshihide)
　
5. Lookahead Scheduling Requests for Efficient Paging (Algorithms and Theory of Computing)------------------------------------------27
　　　　神戸商科大学 /　　　木庭 淳 / 亀田 恒彦　(Kiniwa,Jun / Kameda,Tiko[Tsunehiko])
　
6. 確率的分散アルゴリズムに対するネットワークのサイズに関する情報について (アルゴリズムと計算の理論)--------------------------------35
　　　　東京工業大学大学院情報理工学研究科　　　坂本 直志　(Sakamoto,Naoshi)
　
7. $k$-コータリのgraph-nondominatednessについて (アルゴリズムと計算の理論)----------------------------------------------------------39
　　　　広島大学総合情報処理センター / 広島大学工学部第二類　　　原田 隆 / 山下 雅史　(Harada,Takashi / Yamashita,Masafumi)
　
8. 祖先形質の最節約復元順序集合について : On MPR-posets in phylogeny (アルゴリズムと計算の理論)-------------------------------------44
　　　　東海大学理学部情報数理学科　　　成嶋 弘　(Narushima,Hiroshi)
　
9. 最節約復元順序集合の極値問題について : On extremal problems of MPR-posets (アルゴリズムと計算の理論)-----------------------------50
　　　　東海大学理学部情報数理学科 / 東海大学理学部情報数理学科　　　宮川 幹平 / 成嶋 弘　(Miyakawa,Kampei / Narushima,Hiroshi)
　
10. ランダムに生成された和積形論理式が充足不能となるしきい値について (アルゴリズムと計算の理論)-------------------------------------56
　　　　京都大学工学研究科情報工学専攻 / 京都大学工学研究科情報工学専攻　　　坊野 博典 / 岩間 一雄　(Bouno,Hironori / Iwama,Kazuo)
　
11. 二分モーメントグラフによる除算表現の大きさの指数下界 (アルゴリズムと計算の理論)-------------------------------------------------63
　　　　大阪大学大学院基礎工学研究科 / 大阪大学大学院基礎工学研究科 / 大阪大学大学院基礎工学研究科　　　中西 正樹 / 浜口 清治 / 柏原 敏伸　(Nakanishi,Masaki / Hamaguchi,Kiyoharu / Kashiwabara,Toshinobu)
　
12. 否定素子数限定論理回路における単調論理関数の複雑さ (アルゴリズムと計算の理論)---------------------------------------------------71
　　　　東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科　　　天野 一幸 / 丸岡 章　(Amano,Kazuyuki / Maruoka,Akira)
　
13. 到達可能性判定問題の計算量について(縮約版) (アルゴリズムと計算の理論)-----------------------------------------------------------79
　　　　電気通信大学電子情報学科 / 日本大学文理学部応用数学科　　　垂井 淳 / 戸田 誠之助　(Tarui,Jun / Toda,Seinosuke)
　
14. Proof Search in Acyclic Matrix Graphs (Algorithms and Theory of Computing)------------------------------------------------------87
　　　　北海道大学知識メディア・ラボラトリー　　　Fronhofer,Bertram
　
15. Learning One-Variable Pattern Languages in Linear Average Time (Algorithms and Theory of Computing)-----------------------------95
　　　　/ 九州大学システム情報科学　　　Reischuk,Rudiger / Zeugmann,Thomas
　
16. Towards TCS Concepts for Characterizing Expertise in Learning Systems Validation (Algorithms and Theory of Computing)----------103
　　　　北海道大学知識メディア・ラボラトリー / 北海道大学知識メディア・ラボラトリー /　　　Grieser,Gunter / Jantke,Klaus P. / Lange,Steffen
　
17. 計算モデルとしての推論加群系 (アルゴリズムと計算の理論)------------------------------------------------------------------------111
　　　　東芝研究開発センター情報・通信システム研究所　　　山崎 勇　(Yamazaki,Isamu)
　
18. RECURSIVE ENUMERABILITY IN SET THEORY (Algorithms and Theory of Computing)-----------------------------------------------------119
　　　　日本大学文理学部 / 日本大学文理学部　　　和手 正道 / 夜久 竹夫　(Wate,Masamichi / Yaku,Takeo)
　
19. A Note on Two-dimensional Probabilistic Turing Machines (Algorithms and Theory of Computing)-----------------------------------127
　　　　山口東京理科大学基礎工学部電子基礎工学科 / 山口大学工学部知能情報学科 / 山口大学工学部知能情報学科 / 山口大学工学部知能情報学科　　　岡崎 世雄 / 井上 克司 / 伊藤 暁 / 王 躍　(Okazaki,Tokio / Inoue,Katsushi / Ito,Akira / Wang,Yue)
　
20. Alternating Automata Characterizations of One-Way Iterative Arrays (Algorithms and Theory of Computing)------------------------135
　　　　山口大学工学部 / 山口大学工学部 / 山口大学工学部　　　伊藤 暁 / 井上 克司 / 王 躍　(Ito,Akira / Inoue,Katsushi / Wang,Yue)
　
21. Prefix Free Generating Sets of Formal Languages (Algorithms and Theory of Computing)-------------------------------------------143
　　　　大阪府立大学総合科学部 / 大阪府立大学総合科学部 / 大阪府立大学総合科学部　　　寺田 幹治 / 向内 康人 / 佐藤 優子　(Terada,Mikiharu / Mukouchi,Yasuhito / Sato,Masako)
　
22. 誤情報を含む正則パターン言語の多項式時間推論 (アルゴリズムと計算の理論)--------------------------------------------------------151
　　　　大阪府立大学大学院総合科学研究科 / 大阪府立大学総合科学部　　　竹内 正幸 / 佐藤 優子　(Takeuchi,Masayuki / Sto,Masako)
　
23. 書き替えシステムで生成される族の推論 (アルゴリズムと計算の理論)----------------------------------------------------------------159
　　　　大阪府立大学大学院総合科学研究科 / 大阪府立大学総合科学部 / 大阪府立大学総合科学部　　　山植 育代 / 向内 康人 / 佐藤 優子　(Yamaue,Ikuyo / Mukouchi,Yasuhito / Sato,Masako)
　
24. 価値計算について、『論語』論理の場合 (アルゴリズムと計算の理論)----------------------------------------------------------------167
　　　　日本大学理工学部数学科　　　高橋 英之　(Takahashi,Hideyuki)
　
25. 部分語相関ルール発見のための高速アルゴリズム (アルゴリズムと計算の理論)--------------------------------------------------------175
　　　　九州大学大学院システム情報科学研究科情報理学専攻 / 九州大学大学院システム情報科学研究科情報理学専攻 / 九州大学大学院システム情報科学研究科情報理学専攻 / 九州大学大学院システム情報科学研究科情報理学専攻　　　渡木 厚 / 有村 博紀 / 藤野 亮一 / 有川 節夫　(Wataki,Atsushi / Arimura,Hiroki / Fujino,Ryoichi / Arikawa,Setsuo)
　
26. 1変数パタン言語の多項式時間オンライン学習 (アルゴリズムと計算の理論)-----------------------------------------------------------183
　　　　九州大学システム情報科学研究科情報理学専攻 / 九州大学システム情報科学研究科情報理学専攻　　　稲子 希望 / 有村 博紀　(Inago,Nozomu / Arimura,Hiroki)
　
27. Predicting like the best pruning of a decision tree based on the on-line DP (Algorithms and Theory of Computing)---------------191
　　　　東北大学情報科学研究科 / 東北大学情報科学研究科 /　　　瀧本 英二 / 丸岡 章 /　(Takimoto,Eiji / Maruoka,Akira / Vovk,Volodya)
　
28. 実関数の帰納推論(I) : 厳密推論 (アルゴリズムと計算の理論)----------------------------------------------------------------------199
　　　　/ 九州大学システム情報科学研究科 / / 九州大学システム情報科学研究科 /　　　/ 有川 節夫 / / 廣渡 栄寿 /　(Apsitis,Kalvis / Arikawa,Setsuo / Freivalds,Rusins / Hirowatari,Eiju / Smith,Carl H.)
　
29. 実関数の帰納推論(II) : 近似推論 (アルゴリズムと計算の理論)---------------------------------------------------------------------205
　　　　/ 九州大学システム情報科学研究科 / / 九州大学システム情報科学研究科 /　　　/ 有川 節夫 / / 廣渡 栄寿 /　(Apsitis,Kalvis / Arikawa,Setsuo / Freivalds,Rusins / Hirowatari,Eiju / Smith,Carl H.)
　
30. A Global Ordering Constraint for a Top-Down Transformation system of General E-Unification : A Preliminary Report (Algorithms and Theory of Computing)---211
　　　　山梨大学工学部　　　岩沼 宏治　(Iwanuma,Koji)
　
31. 順序ソート型付ラムダ計算における簡約と単一化 (アルゴリズムと計算の理論)--------------------------------------------------------219
　　　　九州工業大学情報工学部　　　原尾 政輝　(Harao,Masateru)
　
32. 決定可能な高階単一化問題に関する研究 (アルゴリズムと計算の理論)----------------------------------------------------------------227
　　　　九州工業大学大学院情報工学研究科情報科学専攻 / 九州工業大学情報工学部知能情報工学科 / 九州工業大学情報工学部知能情報工学科　　　山田 敬三 / 平田 耕一 / 原尾 政輝　(Yamada,Keizo / Hirata,Koichi / Harao,Masateru)
　
33. 高々2回の交換によるカッコ列の高速生成法 (アルゴリズムと計算の理論)-------------------------------------------------------------235
　　　　茨城大学工学部情報工学科 / 茨城大学工学部情報工学科　　　三河 賢治 / 仙波 一郎　(Mikawa,Kenji / Semba,Ichiro)
　
34. マルチプロセッサ向き目的コードスケジューリングについて (アルゴリズムと計算の理論)----------------------------------------------241
　　　　三重大学工学部 / 三重大学工学部 / 三重大学工学部　　　松原 義和 / 大山口 通夫 / 太田 義勝　(Matsubara,Yoshikazu / Oyamaguchi,Michio / Ohta,Yoshikatsu)