標題および責任表示
|
計算アルゴリズムと計算量の基礎理論 ケイサン アルゴリズム ト ケイサンリョウ ノ キソ リロン
|
出版・頒布事項
|
[京都] : 京都大学数理解析研究所 , 1989.6
|
形態事項
|
v,282p ; 26cm
|
書誌構造リンク
|
数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 695//a
|
その他の標題
|
異なりアクセスタイトル:[Computational algorithms and the fundamental theory of the complexity of computations]
|
内容著作注記
|
Grammars on the hexagonal array / 會澤邦夫
|
内容著作注記
|
高々スター次数2の拡張正規表現 / 劉僖根, 橋口攻三郎 タカダカ スター ジスウ 2 ノ カクチョウ セイキ ヒョウゲン
|
内容著作注記
|
ある拡張文法/オートマトンに関するコメント / 守屋悦朗 アル カクチョウ ブンポウ / オートマトン ニ カンスル コメント
|
内容著作注記
|
2NPDAによるシミュレーションと未解決問題 / 岩田茂樹, 笠井琢美 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-置換群の代数的構造について / 西野哲朗 Tally シュウゴウジョウ ノ p-チカングン ノ ダイスウテキ コウゾウ ニ ツイテ
|
内容著作注記
|
On polynomial time many-one completeness of one-way functions / 渡辺治, 戸田誠之助
|
内容著作注記
|
Topological sortingのNLOG完全性について / 正代隆義 Topological sorting ノ NLOG カンゼンセイ ニ ツイテ
|
内容著作注記
|
Polynomial-time accessibility to symmetric solutions / 山上智幸
|
内容著作注記
|
安全なone-way functionについて / 陳致中, 笠井琢美 アンゼン ナ one-way function ニ ツイテ
|
内容著作注記
|
確率的多項式時間アルゴリズムの能力について / 戸田誠之助 カクリツテキ タコウシキ ジカン アルゴリズム ノ ノウリョク ニ ツイテ
|
内容著作注記
|
一人ゲームHi-Qについて / 上原隆平, 岩田茂樹 ヒトリ ゲーム Hi-Q ニ ツイテ
|
内容著作注記
|
耐故障ネットワークと辺付加問題 / 渡辺敏正, 東靖彦, 中村昭 タイ コショウ ネットワーク ト ヘン フカ モンダイ
|
内容著作注記
|
動的な点に対するVoronoi図について / 今井桂子 ドウテキ ナ テン ニ タイスル Voronoiズ ニ ツイテ
|
内容著作注記
|
ピクチャ・パターン照合アルゴリズム / 竹田正幸 ピクチャ ・ パターン ショウゴウ アルゴリズム
|
内容著作注記
|
整数線形計画問題の解非存在性判定を利用した通信プロトコルの自動検証について / 東野輝夫, 谷口健一 セイスウ センケイ ケイカク モンダイ ノ カイ ヒソンザイセイ ハンテイ オ リヨウシタ ツウシン プロトコル ノ ジドウ ケンショウ ニ ツイテ
|
内容著作注記
|
On design verification between different levels of abstraction using regular temporal logic / 濱口清治, 平石裕実, 矢島脩三
|
内容著作注記
|
非同期通信に基づく並列処理言語の表示的意味記述について / 那須隆, 大山口通夫 ヒドウキ ツウシン ニ モトズク ヘイレツ ショリ ゲンゴ ノ ヒョウジテキ イミ キジュツ ニ ツイテ
|
内容著作注記
|
VLSIレイアウト設計におけるブロック配置の改良 / 大村道郎, 宮尾淳一, 若林真一 VLSI レイアウト セッケイ ニ オケル ブロック ハイチ ノ カイリョウ
|
注記
|
「計算アルゴリズムと計算量の基礎理論」研究集会報告集(1989年1月30日-2月1日) 研究代表者:中村昭
|
学情ID
|
BN08989015
|
本文言語コード
|
日本語 英語
|
著者標目リンク
|
京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>
|