コレクションホームページ
1041 アルゴリズムと計算の理論
35
1041 アルゴリズムと計算の理論
35
(http://hdl.handle.net/2433/61342)
ブラウズ
文献一覧（目次の昇順ソート）: 21 - 35 / 35
| 書誌情報 | ファイル |
|---|---|
| Alternating Automata Characterizations of One-Way Iterative Arrays (Algorithms and Theory of Computing) Ito, Akira; Inoue, Katsushi; Wang, Yue (1998-04) 数理解析研究所講究録, 1041: 135-142 |  |
| Prefix Free Generating Sets of Formal Languages (Algorithms and Theory of Computing) Terada, Mikiharu; Mukouchi, Yasuhito; Sato, Masako (1998-04) 数理解析研究所講究録, 1041: 143-150 | |
| 誤情報を含む正則パターン言語の多項式時間推論 (アルゴリズムと計算の理論) 竹内, 正幸; 佐藤, 優子 (1998-04) 数理解析研究所講究録, 1041: 151-158 | |
| 書き替えシステムで生成される族の推論 (アルゴリズムと計算の理論) 山植, 育代; 向内, 康人; 佐藤, 優子 (1998-04) 数理解析研究所講究録, 1041: 159-166 | |
| 価値計算について、『論語』論理の場合 (アルゴリズムと計算の理論) 高橋, 英之 (1998-04) 数理解析研究所講究録, 1041: 167-174 | |
| 部分語相関ルール発見のための高速アルゴリズム (アルゴリズムと計算の理論) 渡木, 厚; 有村, 博紀; 藤野, 亮一; 有川, 節夫 (1998-04) 数理解析研究所講究録, 1041: 175-182 | |
| 1変数パタン言語の多項式時間オンライン学習 (アルゴリズムと計算の理論) 稲子, 希望; 有村, 博紀 (1998-04) 数理解析研究所講究録, 1041: 183-190 | |
| Predicting like the best pruning of a decision tree based on the on-line DP (Algorithms and Theory of Computing) Takimoto, Eiji; Maruoka, Akira; Vovk, Volodya (1998-04) 数理解析研究所講究録, 1041: 191-198 | |
| 実関数の帰納推論(I) : 厳密推論 (アルゴリズムと計算の理論) 有川, 節夫; 廣渡, 栄寿 (1998-04) 数理解析研究所講究録, 1041: 199-204 | |
| 実関数の帰納推論(II) : 近似推論 (アルゴリズムと計算の理論) 有川, 節夫; 廣渡, 栄寿 (1998-04) 数理解析研究所講究録, 1041: 205-210 | |
| A Global Ordering Constraint for a Top-Down Transformation system of General E-Unification : A Preliminary Report (Algorithms and Theory of Computing) Iwanuma, Koji (1998-04) 数理解析研究所講究録, 1041: 211-218 | |
| 順序ソート型付ラムダ計算における簡約と単一化 (アルゴリズムと計算の理論) 原尾, 政輝 (1998-04) 数理解析研究所講究録, 1041: 219-226 | |
| 決定可能な高階単一化問題に関する研究 (アルゴリズムと計算の理論) 山田, 敬三; 平田, 耕一; 原尾, 政輝 (1998-04) 数理解析研究所講究録, 1041: 227-234 | |
| 高々2回の交換によるカッコ列の高速生成法 (アルゴリズムと計算の理論) 三河, 賢治; 仙波, 一郎 (1998-04) 数理解析研究所講究録, 1041: 235-240 | |
| マルチプロセッサ向き目的コードスケジューリングについて (アルゴリズムと計算の理論) 松原, 義和; 大山口, 通夫; 太田, 義勝 (1998-04) 数理解析研究所講究録, 1041: 241-248 | |
文献一覧（目次の昇順ソート）: 21 - 35 / 35
