書誌情報	ファイル
表紙・目次    (2012-06)   数理解析研究所講究録, 1799
完全マッチング数え上げの高速な指数時間アルゴリズムについて (アルゴリズムと計算理論の新展開)   泉, 泰介; 和田山, 正 (2012-06)   数理解析研究所講究録, 1799: 1-12
Formula Decomposition into Ternary Majorities (New Trends in Algorithms and Theory of Computation)   Ueno, Kenya (2012-06)   数理解析研究所講究録, 1799: 13-20
Hybrid Automata Theoretic Specification and Verification of CPU-DRP Reconfigurable Systems (New Trends in Algorithms and Theory of Computation)   Yanase, Ryo; Gao, Ying; Minami, Shota; Yamane, Satoshi (2012-06)   数理解析研究所講究録, 1799: 21-28
抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)   清水, 隆也; 森下, 篤; 山根, 智 (2012-06)   数理解析研究所講究録, 1799: 29-36
セルオートマトンの合成とリミットサイクルについて (アルゴリズムと計算理論の新展開)   石田, 俊一; 井口, 修一 (2012-06)   数理解析研究所講究録, 1799: 37-43
合同な四角形による球面タイリングの分類 (アルゴリズムと計算理論の新展開)   赤間, 陽二; 坂野, 雄大; 中村, 公亮 (2012-06)   数理解析研究所講究録, 1799: 44-48
Variants of Petri net controlled grammars and their parsing algorithms (New Trends in Algorithms and Theory of Computation)   Nishida, Taishin Yasunobu (2012-06)   数理解析研究所講究録, 1799: 49-56
Relations between language classes in terms of insertion and locality (New Trends in Algorithms and Theory of Computation)   Fujioka, Kaoru (2012-06)   数理解析研究所講究録, 1799: 57-59
海草全単射の漸減構築 (アルゴリズムと計算理論の新展開)   酒井, 義文 (2012-06)   数理解析研究所講究録, 1799: 60-64
アスペクト比を固定した最小の周囲長方形について (アルゴリズムと計算理論の新展開)   小林, 有; 堀山, 貴史 (2012-06)   数理解析研究所講究録, 1799: 65-66
滑らかな常微分方程式の計算量 (アルゴリズムと計算理論の新展開)   太田, 浩行; 河村, 彰星; ツィーグラー・マルチン; レースニク・カルステン (2012-06)   数理解析研究所講究録, 1799: 67-72
On QMA Protocols with Two Short Quantum Proofs (New Trends in Algorithms and Theory of Computation)   Le Gall, Francois; Nakagawa, Shota; Nishimura, Harumichi (2012-06)   数理解析研究所講究録, 1799: 73-80
Limiting Negations in Probabilistic Circuits (New Trends in Algorithms and Theory of Computation)   Morizumi, Hiroki (2012-06)   数理解析研究所講究録, 1799: 81-83
Greedy Algorithms for Multi-Queue Buffer Management with Class Segregation (New Trends in Algorithms and Theory of Computation)   ITOH, TOSHIYA; YOSHIMOTO, SEIJI (2012-06)   数理解析研究所講究録, 1799: 84-91
格子グラフ上の最短経路問題のための劣線形領域アルゴリズム (アルゴリズムと計算理論の新展開)   今井, 達也; 野口, 俊輔; 藤, 哲郎 (2012-06)   数理解析研究所講究録, 1799: 92-99
GPUを用いた簡潔trieの並列探索 (アルゴリズムと計算理論の新展開)   田部井, 靖生; 田中, 秀宗 (2012-06)   数理解析研究所講究録, 1799: 100-102
Probabilistic Stabilization under Probabilistic Schedulers (New Trends in Algorithms and Theory of Computation)   Yamauchi, Yukiko; Tixeuil, Sebastien; Yamashita, Masafumi (2012-06)   数理解析研究所講究録, 1799: 103-110
ラベル選択付最小連結全域部分グラフ問題と化学構造式OCRへの応用 (アルゴリズムと計算理論の新展開)   藤芳, 明生; 鈴木, 昌和 (2012-06)   数理解析研究所講究録, 1799: 111-117
8次格子モデルによる表の行/列操作 (アルゴリズムと計算理論の新展開)   高加, 晋司; 後藤, 隆彰; 土田, 賢省; 西野, 哲朗; 夜久, 竹夫 (2012-06)   数理解析研究所講究録, 1799: 118-122