書誌情報	ファイル
決定グラフを用いた二線式単一磁束量子回路の論理設計法 (計算機科学基礎理論の新展開)   小畑, 幸嗣; 高木, 一義; 高木, 直史 (2004-05)   数理解析研究所講究録, 1375: 137-143
Multi-modal logicsにおけるShannonの標準形展開の自然な拡張 (計算機科学基礎理論の新展開)   大芝, 猛 (2004-05)   数理解析研究所講究録, 1375: 144-150
線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開)   岡野, 浩三; 森, 一夫; 谷口, 健一 (2004-05)   数理解析研究所講究録, 1375: 151-157
Threshold Ring Signatures in the Random Oracle Model (Evolutionary Advancement in Fundamental Theories of Computer Science)   Isshiki, Toshiyuki; Tanaka, Keisuke (2004-05)   数理解析研究所講究録, 1375: 158-163
A Construction of a Family of RSA Functions with a Common Domain (Evolutionary Advancement in Fundamental Theories of Computer Science)   Hayashi, Ryotaro; Tanaka, Keisuke (2004-05)   数理解析研究所講究録, 1375: 164-170
直角二等辺三角形の二等分割とその頂点数について (計算機科学基礎理論の新展開)   三河, 賢治; 長谷川, 誠 (2004-05)   数理解析研究所講究録, 1375: 171-173
Fast Algorithms for Computing Jones Polynomials of Certain Links (Evolutionary Advancement in Fundamental Theories of Computer Science)   Murakami, Masahiko; Hara, Masao; Yamamoto, Makoto; Tani, Seiichi (2004-05)   数理解析研究所講究録, 1375: 174-180
バンド幅問題に対する遺伝的アルゴリズムの交叉方法の提案 (計算機科学基礎理論の新展開)   佐藤, 竜也; 山崎, 浩一 (2004-05)   数理解析研究所講究録, 1375: 181-187
Procedures for Multiple Input Functions with DNA Strands (Evolutionary Advancement in Fundamental Theories of Computer Science)   Kamio, Satoshi; Fujiwara, Akihiro (2004-05)   数理解析研究所講究録, 1375: 188-194
楕円曲線上のスカラー倍計算の効率化　：　ヤコビアン座標系上での直接計算法の提案 (計算機科学基礎理論の新展開)   安達, 大亮; 平田, 富夫 (2004-05)   数理解析研究所講究録, 1375: 195-200
A Multiplication/Division VLSI Algorithm for Modular Arithmetic (Evolutionary Advancement in Fundamental Theories of Computer Science)   Kaihara, Marcelo E.; Takagi, Naofumi (2004-05)   数理解析研究所講究録, 1375: 201-207
On the generative power of an extension of minimal linear grammars (Evolutionary Advancement in Fundamental Theories of Computer Science)   Onodera, Kaoru (2004-05)   数理解析研究所講究録, 1375: 208-213
Mining Indirect Association Rules (Evolutionary Advancement in Fundamental Theories of Computer Science)   Hamano, Shinichi; Mukouchi, Yasuhito; Sato, Masako (2004-05)   数理解析研究所講究録, 1375: 214-220
SHシステムと拡張オートマトン (計算機科学基礎理論の新展開)   高石, 理恵; 向内, 康人; 佐藤, 優子 (2004-05)   数理解析研究所講究録, 1375: 221-228
On Strategies of Update Networks (Evolutionary Advancement in Fundamental Theories of Computer Science)   Umeno, Shinya (2004-05)   数理解析研究所講究録, 1375: 229-232
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs (Evolutionary Advancement in Fundamental Theories of Computer Science)   Mitsuhashi, Ichiro; Oyamaguchi, Michio; Ohta, Yoshikatsu; Yamada, Toshiyuki (2004-05)   数理解析研究所講究録, 1375: 233-239
Persistence of Termination for Overlay Term Rewriting Systems (Evolutionary Advancement in Fundamental Theories of Computer Science)   Iwami, Munehiro (2004-05)   数理解析研究所講究録, 1375: 240-246
左辺が一致するオーバレイ性を持つ左線形TRSの正規化戦略 (計算機科学基礎理論の新展開)   水野, 健一; 草刈, 圭一朗; 酒井, 正彦; 坂部, 俊樹 (2004-05)   数理解析研究所講究録, 1375: 247-252
人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)   尹, 淑萍; 山田, 敬三; 平田, 耕一; 原尾, 政輝 (2004-05)   数理解析研究所講究録, 1375: 253-259
移動系における最大個数巡回アルゴリズム (計算機科学基礎理論の新展開)   下入佐, 真一; 朝廣, 雄一; 宮野, 英次 (2004-05)   数理解析研究所講究録, 1375: 260-266