書誌情報 | ファイル |
表紙・目次 (2005-04) 数理解析研究所講究録, 1426
| |
Improved Deterministic Approximation Algorithms for Max TSP (Theoretical Computer Science and its Applications) Chen, Zhi-Zhong; Okamoto, Yuusuke; Wang, Lusheng (2005-04) 数理解析研究所講究録, 1426: 1-6
| |
An Improved Randomized Approximation Algorithm for Max TSP (Theoretical Computer Science and its Applications) Chen, Zhi-Zhong; Wang, Lusheng (2005-04) 数理解析研究所講究録, 1426: 7-12
| |
Hajos Calculus on Planar Graphs (Theoretical Computer Science and its Applications) Hanatani, Yoichi; Horiyama, Takashi; Iwama, Kazuo (2005-04) 数理解析研究所講究録, 1426: 13-19
| |
A Hierarchy of Tree Edit Distance Measures (Theoretical Computer Science and its Applications) Kuboyama, Tetsuji; Shin, Kilho; Miyahara, Tetsuhiro (2005-04) 数理解析研究所講究録, 1426: 20-25
| |
構文解析木の類似度の判定アルゴリズム (計算機科学基礎理論とその応用) 椎名, 広光; 秋友, 克俊 (2005-04) 数理解析研究所講究録, 1426: 26-31
| |
$O(n^3)$で認識される文脈自由木言語のサブクラスについて (計算機科学基礎理論とその応用) Kawaharada, Ikuo; Fujiyoshi, Akio (2005-04) 数理解析研究所講究録, 1426: 32-38
| |
配列を扱う非線形先頭再帰プログラムからの再帰除去 (計算機科学基礎理論とその応用) 高須, 洋平; 酒井, 正彦; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹 (2005-04) 数理解析研究所講究録, 1426: 39-44
| |
正規パターン言語の和と共通部分の帰納学習 (計算機科学基礎理論とその応用) 植村, 仁 (2005-04) 数理解析研究所講究録, 1426: 45-50
| |
ランキング関数のオンライン学習について (計算機科学基礎理論とその応用) 中村, 篤祥 (2005-04) 数理解析研究所講究録, 1426: 51-56
| |
A Model and Methods for Moderately-Hard Functions : Extended Abstract (Theoretical Computer Science and its Applications) Onodera, Takao; Tanaka, Keisuke (2005-04) 数理解析研究所講究録, 1426: 57-63
| |
The Sampling Twice Technique for the RSA-based Cryptosystems with Anonymity : Extended Abstract (Theoretical Computer Science and its Applications) Hayashi, Ryotaro; Tanaka, Keisuke (2005-04) 数理解析研究所講究録, 1426: 64-70
| |
On NK-Community Problem (Theoretical Computer Science and its Applications) Nakamura, Atsuyoshi; Shigezumi, Takeya; Yamamoto, Masaki (2005-04) 数理解析研究所講究録, 1426: 71-77
| |
モバイルエージェント実行計画問題について (計算機科学基礎理論とその応用) 佐々木, 淳; 宮田, 敬三; 櫟, 粛之; 増山, 繁 (2005-04) 数理解析研究所講究録, 1426: 78-83
| |
進化的ネットワークにおける探索アルゴリズムの提案 (計算機科学基礎理論とその応用) 緒方, 司; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04) 数理解析研究所講究録, 1426: 84-90
| |
部分IDの一意性を考慮したID集合生成に関する問題 (計算機科学基礎理論とその応用) 牧山, 幸史; 納富, 貞嘉; 安浦, 寛人 (2005-04) 数理解析研究所講究録, 1426: 91-95
| |
An Energy Complexity Measure for Threshold Circuits that is Motivated by Biological Data on Cortical Computations (Theoretical Computer Science and its Applications) Uchizawa, Kei (2005-04) 数理解析研究所講究録, 1426: 96-100
| |
The Reachability and Related Decision Problems for Semi-Constructor TRSs (Theoretical Computer Science and its Applications) Mitsuhashi, Ichiro; Oyamaguchi, Michio; Yamada, Toshiyuki (2005-04) 数理解析研究所講究録, 1426: 101-105
| |
項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係 (計算機科学基礎理論とその応用) 村田, 龍彦; 酒井, 正彦; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹 (2005-04) 数理解析研究所講究録, 1426: 106-112
| |
変換と部分評価に基づく非左辺正規なメタ項の停止性証明 (計算機科学基礎理論とその応用) 蛸島, 洋明; 酒井, 正彦; 坂部, 俊樹; 西田, 直樹; 草刈, 圭一朗 (2005-04) 数理解析研究所講究録, 1426: 113-118
| |