|
標題および責任表示
|
計算アルゴリズムの基礎理論
ケイサン アルゴリズム ノ キソ リロン
|
|
出版・頒布事項
|
[京都] : 京都大学数理解析研究所 , 1987.5
|
|
形態事項
|
iv,286p ; 26cm
|
|
書誌構造リンク
|
数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 625//a
|
|
その他の標題
|
異なりアクセスタイトル:[Foundation of computation algorithms]
|
|
内容著作注記
|
Fredkinの論理ゲートを用いた可逆的Turing機械の設計 / 後野由文, 森田憲一
Fredkin ノ ロンリ ゲート オ モチイタ カギャクテキ Turing キカイ ノ セッケイ
|
|
内容著作注記
|
Deadlock avoidance and consistency in database system / Prasert Khanobthamchai, 奥井順
|
|
内容著作注記
|
対象集合によるネットワークデータベースの設計 / 古川哲也, 上林弥彦
タイショウ シュウゴウ ニ ヨル ネットワーク データベース ノ セッケイ
|
|
内容著作注記
|
論理回路における閉路の切断について / 木村晋二, 羽根田博正
ロンリ カイロ ニ オケル ヘイロ ノ セツダン ニ ツイテ
|
|
内容著作注記
|
優先度付きトークンリング方式LANの「進行性」の検証について / 住谷忠雄, 東野輝夫, 谷口健一
ユウセンドツキ トークンリング ホウシキ LAN ノ 「シンコウセイ」 ノ ケンショウ ニ ツイテ
|
|
内容著作注記
|
CFGにおける並列性 : 多ヘッドCFG,部分同期CFG,および交代CFG / 守屋悦朗
CFG ニ オケル ヘイレツセイ : タヘッド CFG, ブブン ドウキ CFG, オヨビ コウタイ CFG
|
|
内容著作注記
|
Graph grammars with path controlled embedding / 會澤邦夫, 中村昭
|
|
内容著作注記
|
LISPの演算子について / 柳瀬龍郎
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[*]の非劣性について / 加藤芳朗, 茨木俊秀
ゲームキ タンサクホウ SSS[*] ノ ヒレツセイ ニ ツイテ
|
|
内容著作注記
|
ある種の平面有向ネットワーク上の多品種流問題について / 永持仁, 茨木俊秀, 長谷川利治
アル シュ ノ ヘイメン ユウコウ ネットワークジョウ ノ タヒンシュリュウ モンダイ ニ ツイテ
|
|
内容著作注記
|
A variable priority queue and its applications / 鈴木均, 西関隆夫, 斎藤伸自
|
|
内容著作注記
|
A two-phase locking mechanism avoiding deadlock for read-write confliction / 仲興国, 上林弥彦
|
|
内容著作注記
|
FIFOキューを同期手段とする並列プログラムの実行における同期のためのオーバーヘッドの削減について / 永松正博, 有田五次郎
FIFO キュー オ ドウキ シュダン ト スル ヘイレツ プログラム ノ ジッコウ ニ オケル ドウキ ノ タメノ オーバーヘッド ノ サクゲン ニ ツイテ
|
|
内容著作注記
|
シストリックアルゴリズムの定式化とその結線構造 / 阿曽弘具, 稲垣康善
シストリック アルゴリズム ノ テイシキカ ト ソノ ケッセン コウゾウ
|
|
内容著作注記
|
多次元プロセッサ配列上の並列ソートと時間計算量 / 嵯峨幸治, 佐渡一広, 五十嵐善英
タジゲン プロセッサ ハイレツジョウ ノ ヘイレツ ソート ト ジカン ケイサンリョウ
|
|
内容著作注記
|
重み付positive submodular systemの辞書式最適基を得るための貪欲アルゴリズムについて / 岩村覚三, 出口洋三, 中山隆
オモミツキ positive submodular system ノ ジショシキ サイテキ キ オ エル タメノ ドンヨク アルゴリズム ニ ツイテ
|
|
内容著作注記
|
Approximation reduction and approximation rules of term rewriting systems / 直井徹, 稲垣康善
|
|
内容著作注記
|
項書き換えシステムの直和の停止性 / 外山芳人
コウ カキカエ システム ノ チョクワ ノ テイシセイ
|
|
内容著作注記
|
Parallel reductions in λ-calculus / 高橋正子
|
|
内容著作注記
|
Semantics of joins of knowledge bases / 外山勝彦, 稲垣康善
|
|
内容著作注記
|
様相論理に基づく論理型知識表現言語 / 岩沼宏治, 原尾政輝, 武田和久
ヨウソウ ロンリ ニ モトズク ロンリガタ チシキ ヒョウゲン ゲンゴ
|
|
内容著作注記
|
回路自動合成のための推論機構 / 原尾政輝, 岩沼宏治
カイロ ジドウ ゴウセイ ノ タメノ スイロン キコウ
|
|
注記
|
「計算アルゴリズムの基礎理論」研究集会報告集(1987年2月2日-2月4日) 研究代表者:嵩忠雄
|
|
学情ID
|
BN09201550
|
|
本文言語コード
|
日本語 英語
|
|
著者標目リンク
|
京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>
|
目録検索 ▼
マイライブラリ ▼
