書誌情報	ファイル
表紙・目次    (2009-05)   数理解析研究所講究録, 1649
An Algorithm Which Generates the Linear Extensions of a d-Complete Poset with Uniform Probability (Theoretical Computer Science and Its Applications)   仲田, 研登; 岡村, 修志 (2009-05)   数理解析研究所講究録, 1649: 1-8
玉と壷のモデルにおける玉の衝突について (理論計算機科学の深化と応用)   中田, 寿夫 (2009-05)   数理解析研究所講究録, 1649: 9-16
Enhancing Cooperative Behavior for P2P Reputation Systems by Group Selection (Theoretical Computer Science and Its Applications)   Ren, Yizhi; Li, Mingchu; Cui, Yongrui; Guo, Cheng; Sakurai, Kouichi (2009-05)   数理解析研究所講究録, 1649: 17-22
A note on characterizations of context-free languages using insertion and locality (Theoretical Computer Science and Its Applications)   Onodera, Kaoru (2009-05)   数理解析研究所講究録, 1649: 23-30
拡張範疇文法の能力について (理論計算機科学の深化と応用)   松原, 俊一 (2009-05)   数理解析研究所講究録, 1649: 31-38
確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)   林, 将志; 山根, 智 (2009-05)   数理解析研究所講究録, 1649: 39-46
確率時間CEGAR (理論計算機科学の深化と応用)   森下, 篤; 駒形, 龍太; 山根, 智 (2009-05)   数理解析研究所講究録, 1649: 47-54
Enumerating Polyominoes of p4 Tiling by the Reverse Search (Theoretical Computer Science and Its Applications)   HORIYAMA, Takashi; SAMEJIMA, Masato (2009-05)   数理解析研究所講究録, 1649: 55-57
絵画的迷路の作り方 (理論計算機科学の深化と応用)   岡本, 吉央; 上原, 隆平 (2009-05)   数理解析研究所講究録, 1649: 58-65
Complexity of pleat folding (Theoretical Computer Science and Its Applications)   Ito, Tsuyoshi; Kiyomi, Masashi; Imahori, Shinji; Uehara, Ryuhei (2009-05)   数理解析研究所講究録, 1649: 66-72
配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用)   濱田, 浩気; 宮崎, 修一; 岩間, 一雄 (2009-05)   数理解析研究所講究録, 1649: 73-80
連を多く含む文字列発見のための探索的手法 (理論計算機科学の深化と応用)   松原, 渉; 草野, 一彦; 坂内, 英夫; 石野, 明; 篠原, 歩 (2009-05)   数理解析研究所講究録, 1649: 81-88
トランスポゾンから導かれる演算により定義される整合括弧列のDNAモデルとチューリング・マシンの構成 (理論計算機科学の深化と応用)   鈴木, 理 (2009-05)   数理解析研究所講究録, 1649: 89-96
形式言語による結び目の実現問題に関する幾つかの予想 (理論計算機科学の深化と応用)   上谷, 雄一; 岡田, 蓉子; 堀口, 俊; 前川, 達也; 鈴木, 理 (2009-05)   数理解析研究所講究録, 1649: 97-104
形式言語における区別・説明の無限過程の定式化 (理論計算機科学の深化と応用)   植村, 仁 (2009-05)   数理解析研究所講究録, 1649: 105-112
Chaitin's halting probability Ω and halting problems (Theoretical Computer Science and Its Applications)   只木, 孝太郎 (2009-05)   数理解析研究所講究録, 1649: 113-120
A Note on Automorphisms of Cellular Automata (Theoretical Computer Science and Its Applications)   Nishio, Hidenosuke; Worsch, Thomas (2009-05)   数理解析研究所講究録, 1649: 121-128
An Improvement of the Soundness of a 3-bit PCP (Theoretical Computer Science and Its Applications)   Kinoshita, Naoki; Tamaki, Suguru; Iwama, Kazuo (2009-05)   数理解析研究所講究録, 1649: 129-136
最大エントロピー原理に基づくオンライン学習 (理論計算機科学の深化と応用)   大田, 貴文; 畑埜, 晃平; 竹田, 正幸 (2009-05)   数理解析研究所講究録, 1649: 137-144