|
標題および責任表示
|
計算理論とその応用
ケイサン リロン ト ソノ オウヨウ
|
|
出版・頒布事項
|
京都 : 京都大学数理解析研究所 , 1997.5
|
|
形態事項
|
243 p. ; 26 cm
|
|
書誌構造リンク
|
数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 992//a
|
|
内容著作注記
|
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 について / 杉野孔一, 正代隆義
サイダイ キョウツウ ユウドウ ブブン グラフ モンダイ ノ 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点の最小スタイナ木について / 早瀬道芳
λ- キカ ニ オケル 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
トウケイ パラメタ クウカン ニ オケル Voronoi diagram ノ リサン コウゾウ
|
|
内容著作注記
|
An 0(log n) parallel algorithm for constructing a spanning forest on Trapezoid graphs / Hirotoshi Honma, Shigeru Masuyama
|
|
内容著作注記
|
CCSに基づく並列処理言語の実装 / 原淳, 森雅生
CCS ニ モトヅク ヘイレツ ショリ ゲンゴ ノ ジッソウ
|
|
内容著作注記
|
モービルプロセス計算の型システムについて / 富樫敦
モービル プロセス ケイサン ノ カタシステム ニ ツイテ
|
|
内容著作注記
|
On product formula of tree expressions / Shuichi Inokuchi, Yasuo Kawahara
|
|
内容著作注記
|
チューリング機械の領域計算量の厳密な階層について / 岩本宙造, 岩間一雄
チューリング キカイ ノ リョウイキ ケイサンリョウ ノ ゲンミツ ナ カイソウ ニ ツイテ
|
|
内容著作注記
|
指数個の決定性状態を必要とする非決定性有限オートマトンについて / Kazuya Takaki, 岩間一雄
シスウコ ノ ケッテイセイ ジョウタイ ヲ ヒツヨウ ト スル ヒケッテイセイ ユウゲン オートマトン ニ ツイテ
|
|
内容著作注記
|
計算万能な2次元8状態3角形状可逆セル・オートマン / 今井克暢, 森田憲一
ケイサン バンノウ ナ 2ジゲン 8ジョウタイ 3カッケイジョウ カギャク セル オートマトン
|
|
内容著作注記
|
推論エンジン, 「論語」論理の場合 / 〓橋英之
スイロン エンジン ロンゴ ロンリ ノ バアイ
|
|
内容著作注記
|
λc計算とλp計算との対応 / 広川佐千男, 亀山幸義, 馬場謙介
λ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
|
BA30730607
|
|
本文言語コード
|
日本語 英語
|
|
著者標目リンク
|
京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>
|
目録検索 ▼
マイライブラリ ▼
