Mendeley出力
＜図書＞
計算理論とその応用
ケイサン リロン ト ソノ オウヨウ
| シリーズ | 数理解析研究所講究録 ; 992 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 京都 : 京都大学数理解析研究所 , 1997.5 |
| 本文言語 | 日本語,英語 |
| 大きさ | 243 p. ; 26 cm |
| 目次 | A map from the lower-half of the n-cube onto the (n-1)cube which preserves intersecting antichains / Masahiro Miyakawa, Akihiro Nozaki, Grant Pogosyan, Ivo G. Rosenberg 系統樹最節約復元問題の大域的最適解について / 成嶋弘 最大共通誘導部分グラフ問題のMAX SNP-hardness について / 杉野孔一, 正代隆義 A divide and conquer approach to the minimum k-way cut problem / Yoko Kamidoi, Shin'ichi Wakabayashi Learning conformation rules / Osamu Maruyama, Emiko Furuichi, Satoru Kuhara, Satoru Miyano 決定性有限メモリーオートマトンの学習可能性 / 坂本比呂志, Thomas Zeugmann ニューロイダルネット上の学習について / 西野哲朗 Learning one-variable pattern languages very efficiently / Thomas Erlebac h, Peter Rossmanith, Hans Stadtherr, Angelika Steger, Thomas Zeugmann Learning pattern languages using queries / Satoshi Matsumoto, Ayumi Shinohara 項グラフ言語の正データからの多項式時間帰納推論可能性について / 林夕起子, 松本哲志, 正代隆義 λ-幾何における3点の最小スタイナ木について / 早瀬道芳 Independent spanning trees of chordal rings / Yukihiro Iwasaki, Yuka Kajiwara, Koji Obokata, Yoshihide Igarashi Augmenting edge-connectivity and vertex-connectivity simultaneously / Toshimasa Ishii, Hiroshi Nagamochi, Toshihide Ibaraki Enumerating triangulations for arbitrary configurations of points and for products of two simplices / Fumihiko Takeuchi, Hiroshi Imai, Keiko Imai 統計パラメタ空間におけるVoronoi diagramの離散構造 / Kensuke Onishi An 0(log n) parallel algorithm for constructing a spanning forest on Trapezoid graphs / Hirotoshi Honma, Shigeru Masuyama CCSに基づく並列処理言語の実装 / 原淳, 森雅生 モービルプロセス計算の型システムについて / 富樫敦 On product formula of tree expressions / Shuichi Inokuchi, Yasuo Kawahara チューリング機械の領域計算量の厳密な階層について / 岩本宙造, 岩間一雄 指数個の決定性状態を必要とする非決定性有限オートマトンについて / Kazuya Takaki, 岩間一雄 計算万能な2次元8状態3角形状可逆セル・オートマン / 今井克暢, 森田憲一 推論エンジン, 「論語」論理の場合 / 〓橋英之 λc計算とλp計算との対応 / 広川佐千男, 亀山幸義, 馬場謙介 Lower bounds of the negation-limited circuit complexity / Shao-Chin Sung, Keisuke Tanaka Minimum self-dual decompositions of positive dual-minor Boolean functions / Jan C. Bioch, Toshihide Ibaraki, Kazuhisa Makino On the depth of randomy generated circuits / Tatsuie Tsukiji, Fatos Xhafa 論理関数の複雑さと近似演算 / 天野一幸, 丸岡章 The computational complexity of hereditary elementary formal systems / Daisuke Ikeda, Hiroki Arimura ネットワーク上のバックトラックアルゴリズム / 仙波一郎 複数の予測戦略を統合する実時間予測アルゴリズム / 田近一郎, 瀧本英二, 丸岡章 オンライン先読みページングゲームにおける最適戦略の設計と解析 / 山家明男, 櫻井幸一 分散相互排除システムの可能度を改善するコーラム再割当アルゴリズム / 原田隆, 山下雅史続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 逐次刊行物 | 1997 |
|
023112008500727 |
|
書誌詳細
| 内容注記 | A map from the lower-half of the n-cube onto the (n-1)cube which preserves intersecting antichains / Masahiro Miyakawa, Akihiro Nozaki, Grant Pogosyan, Ivo G. Rosenberg 系統樹最節約復元問題の大域的最適解について / 成嶋弘 最大共通誘導部分グラフ問題のMAX SNP-hardness について / 杉野孔一, 正代隆義 A divide and conquer approach to the minimum k-way cut problem / Yoko Kamidoi, Shin'ichi Wakabayashi Learning conformation rules / Osamu Maruyama, Emiko Furuichi, Satoru Kuhara, Satoru Miyano 決定性有限メモリーオートマトンの学習可能性 / 坂本比呂志, Thomas Zeugmann ニューロイダルネット上の学習について / 西野哲朗 Learning one-variable pattern languages very efficiently / Thomas Erlebac h, Peter Rossmanith, Hans Stadtherr, Angelika Steger, Thomas Zeugmann Learning pattern languages using queries / Satoshi Matsumoto, Ayumi Shinohara 項グラフ言語の正データからの多項式時間帰納推論可能性について / 林夕起子, 松本哲志, 正代隆義 λ-幾何における3点の最小スタイナ木について / 早瀬道芳 Independent spanning trees of chordal rings / Yukihiro Iwasaki, Yuka Kajiwara, Koji Obokata, Yoshihide Igarashi Augmenting edge-connectivity and vertex-connectivity simultaneously / Toshimasa Ishii, Hiroshi Nagamochi, Toshihide Ibaraki Enumerating triangulations for arbitrary configurations of points and for products of two simplices / Fumihiko Takeuchi, Hiroshi Imai, Keiko Imai 統計パラメタ空間におけるVoronoi diagramの離散構造 / Kensuke Onishi An 0(log n) parallel algorithm for constructing a spanning forest on Trapezoid graphs / Hirotoshi Honma, Shigeru Masuyama CCSに基づく並列処理言語の実装 / 原淳, 森雅生 モービルプロセス計算の型システムについて / 富樫敦 On product formula of tree expressions / Shuichi Inokuchi, Yasuo Kawahara チューリング機械の領域計算量の厳密な階層について / 岩本宙造, 岩間一雄 指数個の決定性状態を必要とする非決定性有限オートマトンについて / Kazuya Takaki, 岩間一雄 計算万能な2次元8状態3角形状可逆セル・オートマン / 今井克暢, 森田憲一 推論エンジン, 「論語」論理の場合 / 〓橋英之 λc計算とλp計算との対応 / 広川佐千男, 亀山幸義, 馬場謙介 Lower bounds of the negation-limited circuit complexity / Shao-Chin Sung, Keisuke Tanaka Minimum self-dual decompositions of positive dual-minor Boolean functions / Jan C. Bioch, Toshihide Ibaraki, Kazuhisa Makino On the depth of randomy generated circuits / Tatsuie Tsukiji, Fatos Xhafa 論理関数の複雑さと近似演算 / 天野一幸, 丸岡章 The computational complexity of hereditary elementary formal systems / Daisuke Ikeda, Hiroki Arimura ネットワーク上のバックトラックアルゴリズム / 仙波一郎 複数の予測戦略を統合する実時間予測アルゴリズム / 田近一郎, 瀧本英二, 丸岡章 オンライン先読みページングゲームにおける最適戦略の設計と解析 / 山家明男, 櫻井幸一 分散相互排除システムの可能度を改善するコーラム再割当アルゴリズム / 原田隆, 山下雅史 |
|---|---|
| 一般注記 | 研究集会報告集 / 研究代表者, 谷口健一 |
| 著者標目 | 京都大学数理解析研究所 <キョウト ダイガク スウリ カイセキ ケンキュウショ> |
| 書誌ID | 1001187120 |
| NCID | BA30730607 |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |