コレクションホームページ
0731 アルゴリズムと計算量の理論
27
0731 アルゴリズムと計算量の理論
27
(http://hdl.handle.net/2433/98282)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 27
書誌情報 | ファイル |
---|---|
表紙・目次 (1990-10) 数理解析研究所講究録, 731 | |
Cut-free systems for some tense logics 鹿島, 亮 (1990-10) 数理解析研究所講究録, 731: 1-12 | |
A new head-normalization algorithm for $\lambda$-calculus 野口, 憲一 (1990-10) 数理解析研究所講究録, 731: 13-24 | |
Confluence and Completion of Membership Conditional TRS Yamada, Junnosuke (1990-10) 数理解析研究所講究録, 731: 25-36 | |
高階ユニフィケーションにおける可解なクラスと計算の複雑さ(アルゴリズムと計算量の理論) 原尾, 政輝; 岩沼, 宏治 (1990-10) 数理解析研究所講究録, 731: 37-48 | |
Occam Algorithms for Learning from Noisy Examples Sakakibara, Yasubumi (1990-10) 数理解析研究所講究録, 731: 49-60 | |
Learning Equal Matrix Grammars and Multitape Automata with Structural Information Takada, Yuji (1990-10) 数理解析研究所講究録, 731: 61-72 | |
Lexical-Functional Grammars and Computational Complexity Nishino, Tetsuro (1990-10) 数理解析研究所講究録, 731: 73-83 | |
A learning algorithm for monotone $k$-term DNF OHGURO, Takeshi; MARUOKA, Akira (1990-10) 数理解析研究所講究録, 731: 84-96 | |
決定的に構文解析ができる2次元アレイ文法のクラスについて(アルゴリズムと計算量の理論) 山本, 泰則; 森田, 憲一 (1990-10) 数理解析研究所講究録, 731: 97-107 | |
一次元2近傍可逆的セル・オートマトンについて(アルゴリズムと計算量の理論) 森田, 憲一 (1990-10) 数理解析研究所講究録, 731: 108-117 | |
一方向マルチプロセッサ有限オートマタのある性質(アルゴリズムと計算量の理論) 角川, 裕次; 松野, 浩嗣; 井上, 克司; 高浪, 五男 (1990-10) 数理解析研究所講究録, 731: 118-129 | |
Closure properties of $\omega$-languages under morphism and inverse morphism MORIYA, Tetsuo (1990-10) 数理解析研究所講究録, 731: 130-142 | |
高々スター次数nの拡張正規表現(アルゴリズムと計算量の理論) 劉, 僖根; 橋口, 攻三郎 (1990-10) 数理解析研究所講究録, 731: 143-154 | |
消費税に対する「分割買い」について(アルゴリズムと計算量の理論) 伊藤, 暁; 井上, 克司; 高浪, 五男 (1990-10) 数理解析研究所講究録, 731: 155-165 | |
Lexicographically optimal base of a submodular system with respect to a weight vector Iwamura, Kakuzo (1990-10) 数理解析研究所講究録, 731: 166-176 | |
凸多角形の多角形領域内へのmaximin配置問題とそれに関連した動的Voronoi図(アルゴリズムと計算量の理論) 青沼, 裕美; 今井, 浩; 今井, 桂子; 徳山, 豪 (1990-10) 数理解析研究所講究録, 731: 177-186 | |
内点法の平面ネットワークフロー問題への適用(アルゴリズムと計算量の理論) 今井, 浩; 田川, 勇治 (1990-10) 数理解析研究所講究録, 731: 187-194 | |
On the Largest Common Subgraph Problem Masuyama, Shigeru; Takahashi, Yoshimasa; Okuyama, Tohru (1990-10) 数理解析研究所講究録, 731: 195-201 | |
k-辺連結あるいはk-点連結全域部分グラフについて(アルゴリズムと計算量の理論) 永持, 仁; 茨木, 俊秀 (1990-10) 数理解析研究所講究録, 731: 202-213 |
文献一覧(目次の昇順ソート): 1 - 20 / 27