コレクションホームページ

0833 計算機構とアルゴリズム   27
(http://hdl.handle.net/2433/81937)

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