計算アルゴリズムの基礎理論
著者
書誌事項
計算アルゴリズムの基礎理論
（数理解析研究所講究録, 625）
京都大学数理解析研究所, 1987.5
- タイトル別名
-
[Foundation of computation algorithms]
- タイトル読み
-
ケイサン アルゴリズム ノ キソ リロン
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「計算アルゴリズムの基礎理論」研究集会報告集(1987年2月2日-2月4日) 研究代表者:嵩忠雄
収録内容
- Fredkinの論理ゲートを用いた可逆的Turing機械の設計 / 後野由文, 森田憲一
- Deadlock avoidance and consistency in database system / Prasert Khanobthamchai, 奥井順
- 対象集合によるネットワークデータベースの設計 / 古川哲也, 上林弥彦
- 論理回路における閉路の切断について / 木村晋二, 羽根田博正
- 優先度付きトークンリング方式LANの「進行性」の検証について / 住谷忠雄, 東野輝夫, 谷口健一
- CFGにおける並列性 : 多ヘッドCFG,部分同期CFG,および交代CFG / 守屋悦朗
- Graph grammars with path controlled embedding / 會澤邦夫, 中村昭
- LISPの演算子について / 柳瀬龍郎
- 整礎集合上の部分関数の有限微分閉包について / 西澤輝泰
- 有限環上の線形セル構造オートマトン / 佐藤忠一
- Generation of rewriting programs from Horn clause specifications / 富樫敦, Glenn Mansfield, 野口正一
- 融合型プログラミング言語と処理系の実現について / 三宅延久, 富樫敦, 野口正一
- A note on three-way two-dimensional alternating Turing machines / 伊藤暁, 井上克司, 高浪五男
- 線型領域におけるオルタネーションの能力について / 戸田誠之助
- Exponential speedup by vector operations / 岩間一雄
- 木パッキング問題について / 増山繁
- On parallel computation time of unification for restricted terms / 大久保雅且, 安浦寛人, 矢島脩三
- ゲーム木探索法SSS[*]の非劣性について / 加藤芳朗, 茨木俊秀
- ある種の平面有向ネットワーク上の多品種流問題について / 永持仁, 茨木俊秀, 長谷川利治
- A variable priority queue and its applications / 鈴木均, 西関隆夫, 斎藤伸自
- A two-phase locking mechanism avoiding deadlock for read-write confliction / 仲興国, 上林弥彦
- FIFOキューを同期手段とする並列プログラムの実行における同期のためのオーバーヘッドの削減について / 永松正博, 有田五次郎
- シストリックアルゴリズムの定式化とその結線構造 / 阿曽弘具, 稲垣康善
- 多次元プロセッサ配列上の並列ソートと時間計算量 / 嵯峨幸治, 佐渡一広, 五十嵐善英
- 重み付positive submodular systemの辞書式最適基を得るための貪欲アルゴリズムについて / 岩村覚三, 出口洋三, 中山隆
- Approximation reduction and approximation rules of term rewriting systems / 直井徹, 稲垣康善
- 項書き換えシステムの直和の停止性 / 外山芳人
- Parallel reductions in λ-calculus / 高橋正子
- Semantics of joins of knowledge bases / 外山勝彦, 稲垣康善
- 様相論理に基づく論理型知識表現言語 / 岩沼宏治, 原尾政輝, 武田和久
- 回路自動合成のための推論機構 / 原尾政輝, 岩沼宏治
