検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 知識命題の標準形を用いる妥当性検証(アルゴリズムと計算量理論) 大芝, 猛; 小橋, 一秀 (1995-04) 数理解析研究所講究録, 906: 132-137 |  |
| Proper learning algorithm for functions of $k$ terms under smooth distributions Sakai, Yoshifumi; Takimoto, Eiji; Maruoka, Akira (1995-04) 数理解析研究所講究録, 906: 236-243 | |
| A Note on Alternating Pushdown Automata With Sublogarithmic Space Xu, Jianliang; Inoue, Katsushi; Wang, Yue; Ito, Akira (1995-04) 数理解析研究所講究録, 906: 55-63 | |
| Alternation for Two-Way(Inkdot) Multi-Counter Automata with Sublinear Space YOSHINAGA, Tsunehiro; INOUE, Katsushi (1995-04) 数理解析研究所講究録, 906: 64-72 | |
| Two Variations of Inductive Inference of Languages from Positive Data Tabe, Takashi; Zeugmann, Thomas (1995-04) 数理解析研究所講究録, 906: 73-80 | |
| 情報を意図的に改変する可能性のある通信路における安全な通信プロトコルのLFKNプロトコルによる改良について(アルゴリズムと計算量理論) 坂本, 直志 (1995-04) 数理解析研究所講究録, 906: 244-248 | |
| 正データからのSimple Regular言語の多項式時間帰納推論(アルゴリズムと計算量理論) 佐藤, 清朗; 佐藤, 優子 (1995-04) 数理解析研究所講究録, 906: 220-227 | |
| 自動翻訳における新しい木構造の導入 : 左右木について(アルゴリズムと計算量理論) 黒川, 浩一; 笠井, 琢美 (1995-04) 数理解析研究所講究録, 906: 264-271 | |
| 3分決定グラフを用いた積項集合表現(アルゴリズムと計算量理論) Yasuoka, Koichi (1995-04) 数理解析研究所講究録, 906: 186-195 | |
| On Breadth First Construction of OBDDs Representing Maximal Independent Sets HAYASE, Kazuyoshi (1995-04) 数理解析研究所講究録, 906: 204-211 | |