書誌情報	ファイル
2つの節をもつ正規基本形式体系の正例からの学習 (計算機科学基礎理論の新展開)   植村, 仁; 道正田, 昌; 佐藤, 優子 (2003-05)   数理解析研究所講究録, 1325: 116-121
Polynomial Time Learnabilities of Tree Patterns with Internal Structured Variables from Queries (New Aspects of Theoretical Computer Science)   Matsumoto, Satoshi; Suzuki, Yusuke; Shoudai, Takayoshi; Uchida, Tomoyuki; Miyahara, Tetsuhiro (2003-05)   数理解析研究所講究録, 1325: 122-127
Density Attack and Enumerative Source Encoding on Knapsack Cryptosystems (New Aspects of Theoretical Computer Science)   Oomura, Keiji; Tanaka, Keisuke (2003-05)   数理解析研究所講究録, 1325: 128-133
Short Exponent DDH (New Aspects of Theoretical Computer Science)   Koshiba, Takeshi; Kurosawa, Kaoru (2003-05)   数理解析研究所講究録, 1325: 134-139
DNA計算における部分グラフ同型問題の解法について (計算機科学基礎理論の新展開)   片山, 貴晴; 鵜飼, 亮介; 五所野尾, 一彦; 伊藤, 暢浩; 犬塚, 信博; 陳, 慰; 和田, 幸一 (2003-05)   数理解析研究所講究録, 1325: 140-145
Centralizers and Monoids in Mathematical Clone Theory (New Aspects of Theoretical Computer Science)   Machida, Hajime; Rosenberg, Ivo G. (2003-05)   数理解析研究所講究録, 1325: 146-151
Algorithms for Table Transformation (New Aspects of Theoretical Computer Science)   Motohashi, Tomoe; Tani, Sei'ichi; Tsuchida, Kensei; Yaku, Takeo (2003-05)   数理解析研究所講究録, 1325: 152-157
バンド幅問題に対するvolume respecting embedding法の実験的評価 (計算機科学基礎理論の新展開)   駒原, 雄祐; 中野, 泰男; 山崎, 浩一 (2003-05)   数理解析研究所講究録, 1325: 158-163
Test Instance Generation for MAX 2SAT with Fixed Optimal Value (New Aspects of Theoretical Computer Science)   Motoki, Mitsuo (2003-05)   数理解析研究所講究録, 1325: 164-168
A Simpler Analysis of Goemans and Williamson's LP-relaxation for MAX SAT (New Aspects of Theoretical Computer Science)   Asano, Takao (2003-05)   数理解析研究所講究録, 1325: 169-174
More Reliable Protein NMR Peak Assignment via Improved 2-Interval Scheduling (New Aspects of Theoretical Computer Science)   Chen, Zhi-Zhong; Jiang, Tao; Lin, Guohui; Rizzi, Romeo; Wen, Jianjun; Xu, Dong; Xu, Ying (2003-05)   数理解析研究所講究録, 1325: 175-180
平均次数の高いVC-PMの近似アルゴリズム (計算機科学基礎理論の新展開)   竹内, 元気; 築地, 立家 (2003-05)   数理解析研究所講究録, 1325: 181-184
タスクスケジューリングに関する新しい近似アルゴリズムについて (計算機科学基礎理論の新展開)   片柳, 賢二; 砂坂, 明宏; 大山口, 通夫; 太田, 義勝 (2003-05)   数理解析研究所講究録, 1325: 185-190
Shrinking alternating two-pushdown automata (New Aspects of Theoretical Computer Science)   Otto, Friedrich; Moriya, Etsuro (2003-05)   数理解析研究所講究録, 1325: 191-196
Information dynamics of cellular automata : CA computation and information theory (New Aspects of Theoretical Computer Science)   Nishio, Hidenosuke; Saito, Takashi (2003-05)   数理解析研究所講究録, 1325: 197-202
Kolmogorov complexity upper bound of probability in computable POVM measurement (New Aspects of Theoretical Computer Science)   Tadaki, Kohtaro (2003-05)   数理解析研究所講究録, 1325: 203-208
一般化ブロックパズルのPSPACE完全性の別証明 (計算機科学基礎理論の新展開)   北川, 智博; 岩田, 茂樹 (2003-05)   数理解析研究所講究録, 1325: 209-214
$m×n$分割表の近似数え上げスキームの提案 (計算機科学基礎理論の新展開)   来嶋, 秀治; 松井, 知己 (2003-05)   数理解析研究所講究録, 1325: 215-220
MPR束における「結び既約元」の数理的性質について (計算機科学基礎理論の新展開)   宮川, 幹平; 成嶋, 弘 (2003-05)   数理解析研究所講究録, 1325: 221-226
結び目の非自明性判定問題の計算量について (計算機科学基礎理論の新展開)   原, 正雄; 谷, 聖一; 山本, 慎 (2003-05)   数理解析研究所講究録, 1325: 227-232