書誌情報	ファイル
表紙・目次    (2008-05)   数理解析研究所講究録, 1599
ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)   瀧内, 新悟; 山根, 智 (2008-05)   数理解析研究所講究録, 1599: 1-8
DFAの極限学習における必要例数の解析 (理論計算機科学の深化 : 新たな計算世界観を求めて)   林, 賢史 (2008-05)   数理解析研究所講究録, 1599: 9-16
Local Structure of Cellular Automata (Foundations of Theoretical Computer Science : For New Computational View)   Nishio, Hidenosuke; Worsch, Thomas (2008-05)   数理解析研究所講究録, 1599: 17-23
70+.3rの法則 (理論計算機科学の深化 : 新たな計算世界観を求めて)   伊藤, 暁 (2008-05)   数理解析研究所講究録, 1599: 24-26
局所探索法による熱力学的DNA配列設計の改良 (理論計算機科学の深化 : 新たな計算世界観を求めて)   川下, 優; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05)   数理解析研究所講究録, 1599: 27-34
On Minimal Clones and Generating Polynomials (Foundations of Theoretical Computer Science : For New Computational View)   Machida, Hajime (2008-05)   数理解析研究所講究録, 1599: 35-41
ON CONCEPT LATTICE APPROXIMATION (Foundations of Theoretical Computer Science : For New Computational View)   KWUIDA, LEONARD (2008-05)   数理解析研究所講究録, 1599: 42-49
自明でない法則を用いた形式言語における概念分化 (理論計算機科学の深化 : 新たな計算世界観を求めて)   植村, 仁 (2008-05)   数理解析研究所講究録, 1599: 50-56
重み付きグラフ上の枝被覆に対する次数均等化と重み最小化 (理論計算機科学の深化 : 新たな計算世界観を求めて)   原田, 雄太; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05)   数理解析研究所講究録, 1599: 57-64
Symmetricity of the Protocols Related to Oblivious Transfer (Foundations of Theoretical Computer Science : For New Computational View)   Inoue, Daisuke; Tanaka, Keisuke (2008-05)   数理解析研究所講究録, 1599: 65-72
グラフ上の線形Cover Timeランダムウォーク実現の必要条件 (理論計算機科学の深化 : 新たな計算世界観を求めて)   野中, 良哲; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05)   数理解析研究所講究録, 1599: 73-78
Fixed point theorem on partial randomness (Foundations of Theoretical Computer Science : For New Computational View)   Tadaki, Kohtaro (2008-05)   数理解析研究所講究録, 1599: 79-85
4状態可逆チューリング機械の構成法 (理論計算機科学の深化 : 新たな計算世界観を求めて)   森本, 光也; 森田, 憲一 (2008-05)   数理解析研究所講究録, 1599: 86-90
On Patterns of Threshold Circuits computing the PARITY function (Foundations of Theoretical Computer Science : For New Computational View)   Uchizawa, Kei; Takimoto, Eiji (2008-05)   数理解析研究所講究録, 1599: 91-96
$\mathrm{XOR}^2$=90 : Graded Algebra Structure of the Boolean Algebra of Local Transition Rules (Foundations of Theoretical Computer Science : For New Computational View)   FUJIO, Mitsuhiko (2008-05)   数理解析研究所講究録, 1599: 97-102
Some Additional Remarks on Grammatical Characterizations of Alternating PDAs (Foundations of Theoretical Computer Science : For New Computational View)   Moriya, Etsuro; Ott, Friedrich (2008-05)   数理解析研究所講究録, 1599: 103-110
疎フーリエ表現アルゴリズムの一実装 (理論計算機科学の深化 : 新たな計算世界観を求めて)   八木谷, 允; 武井, 由智 (2008-05)   数理解析研究所講究録, 1599: 111-118
On the path distance width of the complete $k$-ary trees (Foundations of Theoretical Computer Science : For New Computational View)   Ukegawa, Kazuyuki; Aoki, Kazumasa; Kozawa, Kyohei; Otachi, Yota; Yamazaki, Koichi (2008-05)   数理解析研究所講究録, 1599: 119-126
局所的な次数情報を用いた無向グラフの探索 (理論計算機科学の深化 : 新たな計算世界観を求めて)   来見田, 裕一; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05)   数理解析研究所講究録, 1599: 127-132