書誌情報	ファイル
正例からのパターン上の決定木の帰納推論 (計算モデルとアルゴリズム)   寺田, 幹治; 向内, 康人; 佐藤, 優子 (1999-04)   数理解析研究所講究録, 1093: 111-116
Refutable Inference of Formal Graph Systems and NLC Graph Grammars (Models of Computation and Algorithms)   Miyahara, Tetsuhiro; Uchida, Tomoyuki; Shoudai, Takayoshi; Takahashi, Kenichi; Ueda, Hiroaki (1999-04)   数理解析研究所講究録, 1093: 117-122
Analyzing the Average-Case Bahavior of Conjunctive Learning Algorithms (Models of Computation and Algorithms)   Reischuk, Rudiger; Zeugmann, Thomas (1999-04)   数理解析研究所講究録, 1093: 123-129
Learning DNF by Approximating Inclusion-Exclusion Formulae (Models of Computation and Algorithms)   Tarui, Jun; Tsukiji, Tatsuie (1999-04)   数理解析研究所講究録, 1093: 130-135
順序ソートの自動推論とラベル付けに基づく合流性判定への応用 (計算モデルとアルゴリズム)   宮下, 大; 酒井, 正彦; 坂部, 俊樹 (1999-04)   数理解析研究所講究録, 1093: 136-141
スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)   山田, 敬三; 平田, 耕一; 原尾, 政輝 (1999-04)   数理解析研究所講究録, 1093: 142-147
代数的仕様における振舞等価性証明のための線形文脈帰納法について (計算モデルとアルゴリズム)   二井, 靖彦; 坂部, 俊樹 (1999-04)   数理解析研究所講究録, 1093: 148-154
無証拠複数者間計算 (計算モデルとアルゴリズム)   櫻井, 幸一 (1999-04)   数理解析研究所講究録, 1093: 155-155
分散RSA暗号における鍵生成と復号アルゴリズム (計算モデルとアルゴリズム)   宮崎, 真悟; 櫻井, 幸一 (1999-04)   数理解析研究所講究録, 1093: 156-161
Unpredictability of Pseudorandom Number Generators on Public Key Cryptosystems with Random Inputs (Models of Computation and Algorithms)   小柴, 健史 (1999-04)   数理解析研究所講究録, 1093: 162-167
最小normal論理Kより小さい擬論理の標準形展開 (計算モデルとアルゴリズム)   大芝, 猛 (1999-04)   数理解析研究所講究録, 1093: 168-172
ゼロ知識証明の定式化について (計算モデルとアルゴリズム)   奈古屋, 広昭 (1999-04)   数理解析研究所講究録, 1093: 173-175
Secret Bit Transmission Using a Random Deal of Cards on Hierarchical Structures (Models of Computation and Algorithms)   Yoshikawa, Reina; Igarashi, Yoshihide (1999-04)   数理解析研究所講究録, 1093: 176-181
ハイパーキューブ上の安全な情報伝達 (計算モデルとアルゴリズム)   中村, 雅子; 酒井, 秀晃; 西谷, 泰昭; 五十嵐, 善英 (1999-04)   数理解析研究所講究録, 1093: 182-187
単純回帰ネットワークの計算能力について (計算モデルとアルゴリズム)   Moriya, Junnosuke; Nishino, Tetsuro (1999-04)   数理解析研究所講究録, 1093: 188-193
線形プッシュダウン・木オートマトン (計算モデルとアルゴリズム)   藤芳, 明生; 笠井, 琢美 (1999-04)   数理解析研究所講究録, 1093: 194-199
量子有限オートマトンにおける決定不能問題 (計算モデルとアルゴリズム)   Amano, Masami; Iwama, Kazuo (1999-04)   数理解析研究所講究録, 1093: 200-205
3次元可逆自己増殖セル・オートマトンについて (計算モデルとアルゴリズム)   Hori, Takahiro; Imai, Katsunobu; Morita, Kenichi (1999-04)   数理解析研究所講究録, 1093: 206-211
Two-Point Splicing Systemの言語生成能力の万能性 (計算モデルとアルゴリズム)   細川, 英; 森田, 憲一; 岩本, 宙造; 今井, 克暢 (1999-04)   数理解析研究所講究録, 1093: 212-217
一意並列解析可能ユニフィケーション文法 (計算モデルとアルゴリズム)   李, 佳; 森田, 憲一; 岩本, 宙造; 今井, 克暢 (1999-04)   数理解析研究所講究録, 1093: 218-223