|
標題および責任表示
|
アルゴリズムと計算の理論
アルゴリズム ト ケイサン ノ リロン
|
|
出版・頒布事項
|
京都 : 京都大学数理解析研究所 , 1998.4
|
|
形態事項
|
iv, 248p ; 26cm
|
|
書誌構造リンク
|
数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 1041//a
|
|
内容著作注記
|
Planar topological inference / Zhi-Zhong Chen, Michelangelo Grigni, Christos H. Papadimitriou
|
|
内容著作注記
|
n-cube上の交差antichainの個数の評価について / 宮川正弘
n-cube ジョウ ノ コウサ antichain ノ コスウ ノ ヒョウカ ニ ツイテ
|
|
内容著作注記
|
BDDによる計算代数・計算幾何の不変量計算 / 今井浩, 今井桂子
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について / 原田隆, 山下雅史
k-コータリ ノ graph-nondominatedness ニ ツイテ
|
|
内容著作注記
|
祖先形質の最節約復元順序集合について: On MPR-posets in phylogeny / 成嶋弘
ソセン ケイシツ ノ サイセツヤク フクゲン ジュンジョ シュゴウ ニ ツイテ: On MPR-posets in phylogeny
|
|
内容著作注記
|
最節約復元順序集合の極値問題について: On extremal problems of MPR-posets / 宮川幹平, 成嶋弘
サイ セツヤク フクゲン ジュンジョ シュウゴウ ノ キョクチ モンダイ ニツイテ : 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変数パタン言語の多項式時間オンライン学習 / 稲子希望, 有村博紀
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
ジツ カンスウ ノ キノウ スイロン (I) : ゲンミツ スイロン
|
|
内容著作注記
|
実関数の帰納推論(II) : 近似推論 / Kalvis Apsİtis, 有川節夫, Rūsiņs︡ Freivalds, 廣渡栄寿, Carl H. Smith
ジツ カンスウ ノ キノウ スイロン (II) : キンジ スイロン
|
|
内容著作注記
|
A global ordering constraint for a top-down transformation system of general E-unification : a preliminary report / Koji Iwanuma
|
|
内容著作注記
|
順序ソート型付ラムダ計算における簡約と単一化 / 原尾政輝
ジュンジョ ソート カタツキ ラムダ ケイサン ニ オケル カンヤク ト タンイツカ
|
|
内容著作注記
|
決定可能な高階単一化問題に関する研究 / 山田敬三, 平田耕一, 原尾政輝
ケッテイ カノウ ナ コウカイ タンイツ カ モンダイ ニ カンスル ケンキュウ
|
|
内容著作注記
|
高々2回の交換によるカッコ列の高速生成法 / 三河賢治, 仙波一郎
タカダカ 2カイ ノ コウカン ニ ヨル カッコ レツ ノ コウソク セイセイホウ
|
|
内容著作注記
|
マルチプロセッサ向き目的コードスケジューリングについて / 松原義和, 大山口通夫. 太田義勝
マルチ プロセッサ ムキ モクテキ コード スケジューリング ニ ツイテ
|
|
注記
|
研究集会報告集 : 1998年2月2日-4日 / 研究代表者 岩間一雄
|
|
学情ID
|
BA3608064X
|
|
本文言語コード
|
日本語 英語
|
|
著者標目リンク
|
京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>
|
目録検索 ▼
マイライブラリ ▼
