計算アルゴリズムと計算量の基礎理論
著者
書誌事項
計算アルゴリズムと計算量の基礎理論
（数理解析研究所講究録, 666）
京都大学数理解析研究所, 1988.7
- タイトル別名
-
[Computational algorithms and the fundamental theory of the complexity of computation]
- タイトル読み
-
ケイサン アルゴリズム ト ケイサンリョウ ノ キソ リロン
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「計算アルゴリズムと計算量の基礎理論」研究集会報告集(1988年2月1日-2月3日) 研究代表者:河原康雄
収録内容
- 初等トポスでのプログラムの公理的意味論 / 河原康雄, 溝口佳寛
- 連続動作代数に基づく項書換え系の意味論 / 直井徹, 稲垣康善
- 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方向チューリング機械による模倣 / 伊藤暁, 井上克司, 高浪五男
- Some basic results about probabilistic pushdown automata / 陳致中, 笠井琢美
- 辞書式順序で最初の極大部分グラフを計算する問題のP完全性とNCアルゴリズム / 宮野悟
- A rich hierarchy on the time complexity of uniform PRAMs / 岩間一雄
- ループプログラムのハードウェア化 / 阿曽弘具
- Area-time efficient evaluation of elementary functions / 岡部寿男, 矢島脩三
- 単項演算に対する局所計算可能な符号化 / 安浦寛人
- デフォルト推論における自然な拡張と帰納推論 / 湯浅寛子
- 相殺公理のための完全な推論体系 / Jieh Hsiang, Michael Rusinowitch, 坂井公
- 代数的手法を用いたハードウェアの仕様記述とその詳細化について / 杉山裕二, 横山昌生, 北道淳司, 谷口健一
- 領域制約の下でのゲーム木探索 / 加藤芳朗, 茨木俊秀
- リーダー選出問題における時間最小アルゴリズムについて / 大戸豊, 茨木俊秀
- ある種の平面有向ネットワークの多品種流問題に対する実行可能性の判定法 / 永持仁, 茨木俊秀
- グラフの3-辺連結化について / 渡辺敏正, 中村昭, 成田貴則
- 有界交互文脈自由言語について / 中村愛
- 語い機能文法の生成能力の上界について / 西野哲朗
- Invariant sets for substitution / 西田泰伸, 小淵洋一
- 非正規関係集合の構造に対応するネットワーク構造 / 古川哲也, 上林弥彦
- Efficient processing of set oriented SQL queries / Mohamed El-Sharkawi, 上林弥彦
- 先読みスケジューラによる分散型データベースシステムの並行処理制御 / 武田真人, 茨木俊秀, 亀田恒彦
- データベースシステムにおける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, 宮川正弘, 野崎昭弘
- 線型セルオートマトンのパターンについて / 高橋智
