書誌情報	ファイル
A New Definition of Semantic Security for Public-Key Encryption Schemes (Foundations of Computer Science)   Sakai, Hideaki; Nakamura, Noriko; Igarashi, Yoshihide (2000-04)   数理解析研究所講究録, 1148: 112-117
弱いランダム仮定の元での公開鍵暗号の強秘匿性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   小柴, 健史; 渡辺, 治 (2000-04)   数理解析研究所講究録, 1148: 118-123
安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   盛田, 保文; 宮崎, 修一; 岩間, 一雄; ハルダースソン, マグナス (2000-04)   数理解析研究所講究録, 1148: 124-129
3次元直方体のintersection graphに対する独立点集合問題の近似困難について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   長島, 弘幸; 山崎, 浩一 (2000-04)   数理解析研究所講究録, 1148: 130-133
Complexity of Grobner Bases for Toric Ideals of Acyclic Tournament Graphs (Foundations of Computer Science)   Ishizeki, Takayuki; Imai, Hiroshi (2000-04)   数理解析研究所講究録, 1148: 134-139
平均時計算量における2-tt還元とmany-one還元の違いについて (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   築地, 立家; 相田, 慎 (2000-04)   数理解析研究所講究録, 1148: 140-145
一般化詰め将棋のPSPACE困難性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   横田, 雅也; 築地, 立家 (2000-04)   数理解析研究所講究録, 1148: 146-151
不完全情報環境下における時系列データと仮説推論による行動決定 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   大塚, 忠広; 篠田, 孝祐; 伊藤, 暢浩; 陳, 慰; 和田, 幸一 (2000-04)   数理解析研究所講究録, 1148: 152-157
位置情報をもつグラフデータに対する知識表現言語 : Layout Formal Graph System (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   糸川, 裕子; 内田, 智之; 宮原, 哲浩; 中村, 泰明 (2000-04)   数理解析研究所講究録, 1148: 158-163
Polynomial Time Matching Algorithms for Tree Structured Patterns (Foundations of Computer Science)   Shoudai, Takayoshi; Miyahara, Tetsuhiro; Uchida, Tomoyuki (2000-04)   数理解析研究所講究録, 1148: 164-169
確率一般化LR構文解析の先読み方式変更による拡張 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   椎名, 広光; 増山, 繁 (2000-04)   数理解析研究所講究録, 1148: 170-174
Deduction and Abduction with Ordered Binary Decision Diagrams (Foundations of Computer Science)   Horiyama, Takashi; Ibaraki, Toshihide (2000-04)   数理解析研究所講究録, 1148: 175-180
正則グラフ上の単純投票に対する平均合意時間 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   中田, 寿夫 (2000-04)   数理解析研究所講究録, 1148: 181-186
Completely independent spanning trees in the underlying graph of a line digraph (Foundations of Computer Science)   Hasunuma, Toru (2000-04)   数理解析研究所講究録, 1148: 187-192
2次元スタッキングルーラーオートマトン (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   坂井, 浩二; 伊藤, 暁; 井上, 克司; 王, 躍 (2000-04)   数理解析研究所講究録, 1148: 193-199
決定性プッシュダウンオートマトンを模倣する拡張単純回帰ネットワークの構成法 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   守谷, 純之介; 西野, 哲朗 (2000-04)   数理解析研究所講究録, 1148: 200-205
離散対数問題へのPVM(Parallel Virtual Machine)の適応 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   森田, 雄介; 茂木, 和弘; 五十嵐, 善英 (2000-04)   数理解析研究所講究録, 1148: 206-211
木ネットワークでヒープ順序を実現する自己安定プロトコル (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   長谷川, 学; 浮穴, 学慈; 片山, 喜章; 増沢, 利光; 藤原, 秀雄 (2000-04)   数理解析研究所講究録, 1148: 212-218
伸長係数2のコンパクトラウティングアルゴリズム (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   河内, 亮周; 岩間, 一雄 (2000-04)   数理解析研究所講究録, 1148: 219-224
リーダ選出可能な確率的分散アルゴリズムの初期条件 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   Sakamoto, Naoshi (2000-04)   数理解析研究所講究録, 1148: 225-230