Collection home page

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

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 27
BibliographyContents
表紙・目次
   (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
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 27