計算理論とその応用
著者
書誌事項
計算理論とその応用
（数理解析研究所講究録, 992）
京都大学数理解析研究所, 1997.5
- タイトル読み
-
ケイサン リロン ト ソノ オウヨウ
大学図書館所蔵 全3件
この図書・雑誌をさがす
注記
研究集会報告集 / 研究代表者, 谷口健一
収録内容
- 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
- ネットワーク上のバックトラックアルゴリズム / 仙波一郎
- 複数の予測戦略を統合する実時間予測アルゴリズム / 田近一郎, 瀧本英二, 丸岡章
- オンライン先読みページングゲームにおける最適戦略の設計と解析 / 山家明男, 櫻井幸一
- 分散相互排除システムの可能度を改善するコーラム再割当アルゴリズム / 原田隆, 山下雅史