|
標題および責任表示
|
計算アルゴリズムと計算量の基礎理論
ケイサン アルゴリズム ト ケイサンリョウ ノ キソ リロン
|
|
出版・頒布事項
|
[京都] : 京都大学数理解析研究所 , 1988.7
|
|
形態事項
|
iv,320p ; 26cm
|
|
書誌構造リンク
|
数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 666//a
|
|
その他の標題
|
異なりアクセスタイトル:[Computational algorithms and the fundamental theory of the complexity of computation]
|
|
内容著作注記
|
初等トポスでのプログラムの公理的意味論 / 河原康雄, 溝口佳寛
ショトウ トポス デノ プログラム ノ コウリテキ イミロン
|
|
内容著作注記
|
連続動作代数に基づく項書換え系の意味論 / 直井徹, 稲垣康善
レンゾク ドウサ ダイスウ ニ モトズク コウ カキカエケイ ノ イミロン
|
|
内容著作注記
|
Termination for the direct sum of left-linear term rewriting systems : preliminary draft / 外山芳人
|
|
内容著作注記
|
Boolean Gröbner bases / 坂井公, 佐藤洋祐
|
|
内容著作注記
|
系列集合と時間の階層の関係について / 木村晋二, 羽根田博正
ケイレツ シュウゴウ ト ジカン ノ カイソウ ノ カンケイ ニ ツイテ
|
|
内容著作注記
|
組合せ論理回路のハザード検出問題の計算複雑さについて / 石浦菜岐佐, 安浦寛人
クミアワセ ロンリ カイロ ノ ハザード ケンシュツ モンダイ ノ ケイサン フクザツサ ニ ツイテ
|
|
内容著作注記
|
A note on collapsing bounded query classes / 和泉正明, 小林孝次郎
|
|
内容著作注記
|
2次元マーカオートマトンのある性質 : 3方向チューリング機械による模倣 / 伊藤暁, 井上克司, 高浪五男
2ジゲン マーカ オートマトン ノ アル セイシツ : 3ホウコウ チューリング キカイ ニ ヨル モホウ
|
|
内容著作注記
|
Some basic results about probabilistic pushdown automata / 陳致中, 笠井琢美
|
|
内容著作注記
|
辞書式順序で最初の極大部分グラフを計算する問題のP完全性とNCアルゴリズム / 宮野悟
ジショシキ ジュンジョ デ サイショ ノ キョクダイ ブブン グラフ オ ケイサンスル モンダイ ノ P カンゼンセイ ト NC アルゴリズム
|
|
内容著作注記
|
A rich hierarchy on the time complexity of uniform PRAMs / 岩間一雄
|
|
内容著作注記
|
ループプログラムのハードウェア化 / 阿曽弘具
ループ プログラム ノ ハードウェアカ
|
|
内容著作注記
|
Area-time efficient evaluation of elementary functions / 岡部寿男, 矢島脩三
|
|
内容著作注記
|
単項演算に対する局所計算可能な符号化 / 安浦寛人
タンコウ エンザン ニ タイスル キョクショ ケイサン カノウ ナ フゴウカ
|
|
内容著作注記
|
デフォルト推論における自然な拡張と帰納推論 / 湯浅寛子
デフォルト スイロン ニ オケル シゼン ナ カクチョウ ト キノウ スイロン
|
|
内容著作注記
|
相殺公理のための完全な推論体系 / Jieh Hsiang, Michael Rusinowitch, 坂井公
ソウサイ コウリ ノ タメノ カンゼン ナ スイロン タイケイ
|
|
内容著作注記
|
代数的手法を用いたハードウェアの仕様記述とその詳細化について / 杉山裕二, 横山昌生, 北道淳司, 谷口健一
ダイスウテキ シュホウ オ モチイタ ハードウェア ノ シヨウ キジュツ ト ソノ ショウサイカ ニ ツイテ
|
|
内容著作注記
|
領域制約の下でのゲーム木探索 / 加藤芳朗, 茨木俊秀
リョウイキ セイヤク ノ モト デノ ゲームキ タンサク
|
|
内容著作注記
|
リーダー選出問題における時間最小アルゴリズムについて / 大戸豊, 茨木俊秀
リーダー センシュツ モンダイ ニ オケル ジカン サイショウ アルゴリズム ニ ツイテ
|
|
内容著作注記
|
ある種の平面有向ネットワークの多品種流問題に対する実行可能性の判定法 / 永持仁, 茨木俊秀
アル シュ ノ ヘイメン ユウコウ ネットワーク ノ タヒンシュリュウ モンダイ ニ タイスル ジッコウ カノウセイ ノ ハンテイホウ
|
|
内容著作注記
|
グラフの3-辺連結化について / 渡辺敏正, 中村昭, 成田貴則
グラフ ノ 3-ヘン レンケツカ ニ ツイテ
|
|
内容著作注記
|
有界交互文脈自由言語について / 中村愛
ユウカイ コウゴ ブンミャク ジユウ ゲンゴ ニ ツイテ
|
|
内容著作注記
|
語い機能文法の生成能力の上界について / 西野哲朗
ゴイ キノウ ブンポウ ノ セイセイ ノウリョク ノ ジョウカイ ニ ツイテ
|
|
内容著作注記
|
Invariant sets for substitution / 西田泰伸, 小淵洋一
|
|
内容著作注記
|
非正規関係集合の構造に対応するネットワーク構造 / 古川哲也, 上林弥彦
ヒセイキ カンケイ シュウゴウ ノ コウゾウ ニ タイオウスル ネットワーク コウゾウ
|
|
内容著作注記
|
Efficient processing of set oriented SQL queries / Mohamed El-Sharkawi, 上林弥彦
|
|
内容著作注記
|
先読みスケジューラによる分散型データベースシステムの並行処理制御 / 武田真人, 茨木俊秀, 亀田恒彦
サキヨミ スケジューラ ニ ヨル ブンサンガタ データベース システム ノ ヘイコウ ショリ セイギョ
|
|
内容著作注記
|
データベースシステムにおける2レベルのデータ単位を考慮した直列化可能性について / 和田聖治, 西尾章治郎, 長谷川利治
データベース システム ニ オケル 2 レベル ノ データ タンイ オ コウリョシタ チョクレツカ カノウセイ ニ ツイテ
|
|
内容著作注記
|
On the orthogonal L[1] linear approximation of points / Peter Yamamoto, 今井桂子, 今井浩
|
|
内容著作注記
|
Construction of efficient decision trees / 宮川正弘
|
|
内容著作注記
|
On the number of clique Boolean functions / Grant Pogosyan, 宮川正弘, 野崎昭弘
|
|
内容著作注記
|
線型セルオートマトンのパターンについて / 高橋智
センケイ セル オートマトン ノ パターン ニ ツイテ
|
|
注記
|
「計算アルゴリズムと計算量の基礎理論」研究集会報告集(1988年2月1日-2月3日) 研究代表者:河原康雄
|
|
学情ID
|
BN07768644
|
|
本文言語コード
|
日本語 英語
|
|
著者標目リンク
|
京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>
|
|
分類標目
|
NDC7:418.6
|
目録検索 ▼
マイライブラリ ▼
