計算アルゴリズムと計算量の基礎理論
著者
書誌事項
計算アルゴリズムと計算量の基礎理論
(数理解析研究所講究録, 695)
京都大学数理解析研究所, 1989.6
- タイトル別名
-
[Computational algorithms and the fundamental theory of the complexity of computations]
- タイトル読み
-
ケイサン アルゴリズム ト ケイサンリョウ ノ キソ リロン
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「計算アルゴリズムと計算量の基礎理論」研究集会報告集(1989年1月30日-2月1日) 研究代表者:中村昭
収録内容
- Grammars on the hexagonal array / 會澤邦夫
- 高々スター次数2の拡張正規表現 / 劉僖根, 橋口攻三郎
- ある拡張文法/オートマトンに関するコメント / 守屋悦朗
- 2NPDAによるシミュレーションと未解決問題 / 岩田茂樹, 笠井琢美
- 線形セル構造オートマトンにおける局所関数の群の同型定理について / 佐藤忠一
- On learning equal matrix languages / 高田裕志
- 木構造図式の美的描画について / 郷信義, 岸本美紀, 小倉耕一,土田賢省, 夜久竹夫
- 利用者インタフェースとしての文字自動配置機能 / 今井浩, 青沼裕美, 加藤研児, 神代伸彦, 上林弥彦
- Decision problem for a logic of temporal information / 高建明, 中村昭
- S-bases of Boolean functions under several functional constructions : a survey / 宮川正弘, Ivan Stojmenović, Ratko Tošić, 三島健稔
- 高階論理ユニフィケーションを用いた知識処理 / 原尾政輝, 岩沼宏治, 安孫子力雄
- Complexity of the optimum join order problem in deductive databases / 宇野裕之, 茨木俊秀
- 集合制約質問の記述方法および計算量 / 岩井原瑞穂, 上林弥彦
- 多重記憶階層のもとでのデータの変更を考慮した最適ページング / 掛下哲郎, 上林弥彦
- 複数の階層に基づくデータベースの設計 / 古川哲也, 上林弥彦
- Indexing functions and time lower bounds for sorting on a mesh-connected computer / 韓以捷, 五十嵐善英, Miroslaw Truszczynski
- Tally集合上のp-置換群の代数的構造について / 西野哲朗
- On polynomial time many-one completeness of one-way functions / 渡辺治, 戸田誠之助
- Topological sortingのNLOG完全性について / 正代隆義
- Polynomial-time accessibility to symmetric solutions / 山上智幸
- 安全なone-way functionについて / 陳致中, 笠井琢美
- 確率的多項式時間アルゴリズムの能力について / 戸田誠之助
- 一人ゲームHi-Qについて / 上原隆平, 岩田茂樹
- 耐故障ネットワークと辺付加問題 / 渡辺敏正, 東靖彦, 中村昭
- 動的な点に対するVoronoi図について / 今井桂子
- ピクチャ・パターン照合アルゴリズム / 竹田正幸
- 整数線形計画問題の解非存在性判定を利用した通信プロトコルの自動検証について / 東野輝夫, 谷口健一
- On design verification between different levels of abstraction using regular temporal logic / 濱口清治, 平石裕実, 矢島脩三
- 非同期通信に基づく並列処理言語の表示的意味記述について / 那須隆, 大山口通夫
- VLSIレイアウト設計におけるブロック配置の改良 / 大村道郎, 宮尾淳一, 若林真一