コレクションホームページ
0833 計算機構とアルゴリズム
27
0833 計算機構とアルゴリズム
27
(http://hdl.handle.net/2433/81937)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 27
書誌情報 | ファイル |
---|---|
表紙・目次 (1993-04) 数理解析研究所講究録, 833 | |
co-NP集合のNP集合による近似について(計算機構とアルゴリズム) 岩間, 一雄 (1993-04) 数理解析研究所講究録, 833: 1-10 | |
The Complexity of Selecting Maximal Solutions Chen, Zhi-Zhong; Toda, Seinosuke (1993-04) 数理解析研究所講究録, 833: 11-21 | |
指定された分布パラメータを満足するSATの例題生成について(計算機構とアルゴリズム) 宮野, 英次; 岩間, 一雄 (1993-04) 数理解析研究所講究録, 833: 22-30 | |
On Using Oracles That Compute Values Fenner, Stephan; Homer, Steve; Ogiwara, Mitsunori; Selman, Alan L. (1993-04) 数理解析研究所講究録, 833: 31-41 | |
$\epsilon$-偏りの確率変数と$\epsilon$-依存の確率変数の間の関係について(計算機構とアルゴリズム) 神保, 秀司; 丸岡, 章 (1993-04) 数理解析研究所講究録, 833: 42-52 | |
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems : DRAFT Toyama, Yoshihito; Oyamaguchi, Michio (1993-04) 数理解析研究所講究録, 833: 53-64 | |
On the Confluence of Weakly Normalizing TRSs : Note Yamada, Junnosuke (1993-04) 数理解析研究所講究録, 833: 65-68 | |
部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム) 服部, 哲; 岡野, 浩三; 東野, 輝夫; 谷口, 健一 (1993-04) 数理解析研究所講究録, 833: 69-79 | |
A Lower Bound of the Expected Maximum Number of Edge-disjoint s-t Paths on Probabilistic Graphs CHENG, Peng; MASUYAMA, Shigeru (1993-04) 数理解析研究所講究録, 833: 80-90 | |
グラフ節点のある種の線形配列問題について(計算機構とアルゴリズム) 山本, 和英; 増山, 繁; 内藤, 昭三 (1993-04) 数理解析研究所講究録, 833: 91-97 | |
グラフの多重目標点分離問題に対する近似アルゴリズムについて(計算機構とアルゴリズム) 前田, 尚久; 永持, 仁; 茨木, 俊秀 (1993-04) 数理解析研究所講究録, 833: 98-109 | |
Generalized Geometric Fitting Problems and Weighted Dynamic Voronoi Diagrams Imai, Keiko; Imai, Hiroshi (1993-04) 数理解析研究所講究録, 833: 110-119 | |
A Faster Algorithm for the Minimum Capacity Cut Problem of Undirected Networks ONO, Tadashi; NAGAMOCHI, Hiroshi; IBARAKI, Toshihide (1993-04) 数理解析研究所講究録, 833: 120-130 | |
中間経由節点をもつKサーバー問題(計算機構とアルゴリズム) 軽野, 義行; 茨木, 俊秀 (1993-04) 数理解析研究所講究録, 833: 131-141 | |
Cooperative Control Algorithms for Anonymous Mobile Robots Suzuki, Ichiro; Yamashita, Masafumi (1993-04) 数理解析研究所講究録, 833: 142-152 | |
双方向リングネットワーク上での自己安定2:相互排除(計算機構とアルゴリズム) 角川, 裕次; 山下, 雅史 (1993-04) 数理解析研究所講究録, 833: 153-163 | |
『論語』の公理化⇒孔子のAI化へ:その背景(計算機構とアルゴリズム) 高橋, 英之 (1993-04) 数理解析研究所講究録, 833: 164-174 | |
A note on one-way multicounter machines and cooperating systems of one-way finite automata Wang, Yue; Inoue, Katsushi; Takanami, Itsuo (1993-04) 数理解析研究所講究録, 833: 175-185 | |
形式グラフ体系上の反駁木問題の並列化とグラフ同型問題(計算機構とアルゴリズム) 内田, 智之; 正代, 隆義; 宮野, 悟 (1993-04) 数理解析研究所講究録, 833: 186-196 |
文献一覧(目次の昇順ソート): 1 - 20 / 27