<Book>
アルゴリズムと計算の理論
アルゴリズム ト ケイサン ノ リロン
Series | 数理解析研究所講究録 ; 1041 |
---|---|
Material Type | Book |
Publisher | 京都 : 京都大学数理解析研究所 |
Year | 1998.4 |
Language | Japanese,English |
Size | iv, 248p ; 26cm |
Table of Contents | Planar topological inference / Zhi-Zhong Chen, Michelangelo Grigni, Christos H. Papadimitriou n-cube上の交差antichainの個数の評価について / 宮川正弘 BDDによる計算代数・計算幾何の不変量計算 / 今井浩, 今井桂子 Some modifications of lockout-free mutual exclusion algorithms / Hironobu Kurumazaki, Minako Kawai, Yasuaki Nishitani, Yoshihide Igarashi Lookhead scheduling requests for efficient paging / Jun Kiniwa, Tiko Kameda 確率的分散アルゴリズムに対するネットワークのサイズに関する情報について / 坂本直志 k-コータリのgraph-nondominatednessについて / 原田隆, 山下雅史 祖先形質の最節約復元順序集合について: On MPR-posets in phylogeny / 成嶋弘 最節約復元順序集合の極値問題について: On extremal problems of MPR-posets / 宮川幹平, 成嶋弘 ランダムに生成された和積形論理式が充足不能となるしきい値について / 坊野博典, 岩間一雄 二分モーメントグラフによる除算表現の大きさの指数下界 / 中西正樹, 浜口清治, 柏原敏伸 否定素子数限定論理回路における単調論理関数の複雑さ / 天野一幸, 丸岡章 到達可能性判定問題の計算量について(縮約版) / 垂井淳, 戸田誠之助 Proof search in acyclic matrix graphs / Bertram Fronhöfer Learning one-variable pattern languages in linear average time / Rüdinger Reischuk, Thomas Zeugmann Towards TCS concepts for characterizing expertise in learning systems validation / Gunter Grieser, Klaus P. Jantke, Steffen Lange 計算モデルとしての推論加群系 / 山崎勇 Recursive enumerability in set theory / Masamichi Wate, Takeo Yaku A note on two-dimensional probabilistic turing machines / Tokio Okazaki, Katsushi Inoue, Akira Ito, Yue Wang Alternating automata characterizations of one-way iterative arrays / Akira Ito, Katsushi Inoue, Yue Wang Prefix free generating sets of formal languages / Mikiharu Terada, Yasuhito Mukouchi, Masako Sato 誤情報を含む正則パターン言語の多項式時間推論 / 竹内正幸, 佐藤優子 書き替えシステムで生成される族の推論 / 山植育代 向内康人, 佐藤優子 価値計算について、「論語」論理の場合 / 高橋英之 部分語相関ルール発見のための高速アルゴリズム / 渡木厚, 有村博紀, 藤野亮一, 有川節夫 1変数パタン言語の多項式時間オンライン学習 / 稲子希望, 有村博紀 Predicting like the best pruning of a decision tree based on the on-line DP / Eiji Takimoto, Akira Maruoka, Volodya Vovk 実関数の帰納推論(I) : 厳密推論 / Kalvis Apsİtis, 有川節夫, Rūsiņs︡ Freivalds, 廣渡栄寿, Carl H. Smith 実関数の帰納推論(II) : 近似推論 / Kalvis Apsİtis, 有川節夫, Rūsiņs︡ Freivalds, 廣渡栄寿, Carl H. Smith A global ordering constraint for a top-down transformation system of general E-unification : a preliminary report / Koji Iwanuma 順序ソート型付ラムダ計算における簡約と単一化 / 原尾政輝 決定可能な高階単一化問題に関する研究 / 山田敬三, 平田耕一, 原尾政輝 高々2回の交換によるカッコ列の高速生成法 / 三河賢治, 仙波一郎 マルチプロセッサ向き目的コードスケジューリングについて / 松原義和, 大山口通夫. 太田義勝show more |
Holdings
Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
---|---|---|---|---|---|---|---|---|---|---|
|
【Out of order】SciTech Library ASRS | 逐次刊行物 | 1998 |
|
023112008501212 |
|
Bibliographic details
Contents | Planar topological inference / Zhi-Zhong Chen, Michelangelo Grigni, Christos H. Papadimitriou n-cube上の交差antichainの個数の評価について / 宮川正弘 BDDによる計算代数・計算幾何の不変量計算 / 今井浩, 今井桂子 Some modifications of lockout-free mutual exclusion algorithms / Hironobu Kurumazaki, Minako Kawai, Yasuaki Nishitani, Yoshihide Igarashi Lookhead scheduling requests for efficient paging / Jun Kiniwa, Tiko Kameda 確率的分散アルゴリズムに対するネットワークのサイズに関する情報について / 坂本直志 k-コータリのgraph-nondominatednessについて / 原田隆, 山下雅史 祖先形質の最節約復元順序集合について: On MPR-posets in phylogeny / 成嶋弘 最節約復元順序集合の極値問題について: On extremal problems of MPR-posets / 宮川幹平, 成嶋弘 ランダムに生成された和積形論理式が充足不能となるしきい値について / 坊野博典, 岩間一雄 二分モーメントグラフによる除算表現の大きさの指数下界 / 中西正樹, 浜口清治, 柏原敏伸 否定素子数限定論理回路における単調論理関数の複雑さ / 天野一幸, 丸岡章 到達可能性判定問題の計算量について(縮約版) / 垂井淳, 戸田誠之助 Proof search in acyclic matrix graphs / Bertram Fronhöfer Learning one-variable pattern languages in linear average time / Rüdinger Reischuk, Thomas Zeugmann Towards TCS concepts for characterizing expertise in learning systems validation / Gunter Grieser, Klaus P. Jantke, Steffen Lange 計算モデルとしての推論加群系 / 山崎勇 Recursive enumerability in set theory / Masamichi Wate, Takeo Yaku A note on two-dimensional probabilistic turing machines / Tokio Okazaki, Katsushi Inoue, Akira Ito, Yue Wang Alternating automata characterizations of one-way iterative arrays / Akira Ito, Katsushi Inoue, Yue Wang Prefix free generating sets of formal languages / Mikiharu Terada, Yasuhito Mukouchi, Masako Sato 誤情報を含む正則パターン言語の多項式時間推論 / 竹内正幸, 佐藤優子 書き替えシステムで生成される族の推論 / 山植育代 向内康人, 佐藤優子 価値計算について、「論語」論理の場合 / 高橋英之 部分語相関ルール発見のための高速アルゴリズム / 渡木厚, 有村博紀, 藤野亮一, 有川節夫 1変数パタン言語の多項式時間オンライン学習 / 稲子希望, 有村博紀 Predicting like the best pruning of a decision tree based on the on-line DP / Eiji Takimoto, Akira Maruoka, Volodya Vovk 実関数の帰納推論(I) : 厳密推論 / Kalvis Apsİtis, 有川節夫, Rūsiņs︡ Freivalds, 廣渡栄寿, Carl H. Smith 実関数の帰納推論(II) : 近似推論 / Kalvis Apsİtis, 有川節夫, Rūsiņs︡ Freivalds, 廣渡栄寿, Carl H. Smith A global ordering constraint for a top-down transformation system of general E-unification : a preliminary report / Koji Iwanuma 順序ソート型付ラムダ計算における簡約と単一化 / 原尾政輝 決定可能な高階単一化問題に関する研究 / 山田敬三, 平田耕一, 原尾政輝 高々2回の交換によるカッコ列の高速生成法 / 三河賢治, 仙波一郎 マルチプロセッサ向き目的コードスケジューリングについて / 松原義和, 大山口通夫. 太田義勝 |
---|---|
Notes | 研究集会報告集 : 1998年2月2日-4日 / 研究代表者 岩間一雄 |
Authors | 京都大学数理解析研究所 <キョウト ダイガク スウリ カイセキ ケンキュウショ> |
ID | 1001360384 |
NCID | BA3608064X |
Created Date | 2009.09.18 |
Modified Date | 2009.09.18 |