書誌情報 | ファイル |
表紙・目次 (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
| |