コレクションホームページ
1849 理論計算機科学の新展開
26
1849 理論計算機科学の新展開
26
(http://hdl.handle.net/2433/194219)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 26
書誌情報 | ファイル |
---|---|
表紙・目次 (2013-08) 数理解析研究所講究録, 1849 | |
ランダムの程度の助言付き計算 (理論計算機科学の新展開) 宮部, 賢志 (2013-08) 数理解析研究所講究録, 1849: 1-7 | |
森および連結全域部分グラフの乱択近似数え上げ (理論計算機科学の新展開) 三原, 勇治; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2013-08) 数理解析研究所講究録, 1849: 8-11 | |
撹乱順列の線形時間ランキングとアンランキングについて (理論計算機科学の新展開) 三河, 賢治; 田中, 賢 (2013-08) 数理解析研究所講究録, 1849: 12-17 | |
部分文字列最大密度索引 (理論計算機科学の新展開) 酒井, 義文 (2013-08) 数理解析研究所講究録, 1849: 18-21 | |
ソースコードモジュール重要度算出法の提案 (理論計算機科学の新展開) 後藤, 隆彰; 山田, 節夫; 西野, 哲朗; 土田, 賢省 (2013-08) 数理解析研究所講究録, 1849: 22-27 | |
A note on the expansions of insertion systems (New Trends in Theoretical Computer Science) Fujioka, Kaoru (2013-08) 数理解析研究所講究録, 1849: 28-31 | |
ボレル関数の分解問題への計算論の応用 (理論計算機科学の新展開) 木原, 貴行 (2013-08) 数理解析研究所講究録, 1849: 32-36 | |
対数空間階層の相対化 (理論計算機科学の新展開) 太田, 浩行; 河村, 彰星 (2013-08) 数理解析研究所講究録, 1849: 37-44 | |
逆遷移関係が不連続な2近傍CAについて (理論計算機科学の新展開) 井口, 修一; 石田, 俊一; 河原, 康雄 (2013-08) 数理解析研究所講究録, 1849: 45-49 | |
ペンローズタイリング上でとぶグライダー (理論計算機科学の新展開) 塚本, 靖之; 宮崎, 雄平; 立木, 秀樹 (2013-08) 数理解析研究所講究録, 1849: 50-56 | |
Reversible multi-head finite automata and space-bounded Turing machines (New Trends in Theoretical Computer Science) Morita, Kenichi (2013-08) 数理解析研究所講究録, 1849: 57-63 | |
動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開) 柳瀬, 龍; 酒井, 辰典; 酒井, 誠; 山根, 智 (2013-08) 数理解析研究所講究録, 1849: 64-70 | |
Java言語による確率時間CEGAR検証器の開発 (理論計算機科学の新展開) 小池, 脩平; 長谷川, 尭志; 清水, 隆也; 山根, 智 (2013-08) 数理解析研究所講究録, 1849: 71-76 | |
フロンティア法から生成されるZDDの幅解析 (理論計算機科学の新展開) 高野, 圭司 (2013-08) 数理解析研究所講究録, 1849: 77-82 | |
16次格子モデルによる不均一型多層矩形分割の層の操作 (理論計算機科学の新展開) 高加, 晋司; 穴田, 浩一; 夜久, 竹夫 (2013-08) 数理解析研究所講究録, 1849: 83-87 | |
分散システムでの剛性グラフに対する局所交換可能性 (理論計算機科学の新展開) Taufiqurrachman; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2013-08) 数理解析研究所講究録, 1849: 88-90 | |
多項式個の極小セパレータを持つグラフクラスについて (理論計算機科学の新展開) 長澤, 亮介; 加藤, 達也; 木野, 徹; 山崎, 浩一 (2013-08) 数理解析研究所講究録, 1849: 91-95 | |
無理数の遷移確率を許すランダムウォークの脱乱択化 (理論計算機科学の新展開) 白髪, 丈晴; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2013-08) 数理解析研究所講究録, 1849: 96-99 | |
動的グラフ上のランダムウォークの到達時間と全訪問時間 (理論計算機科学の新展開) 木場, 孝輔; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2013-08) 数理解析研究所講究録, 1849: 100-104 |
文献一覧(目次の昇順ソート): 1 - 20 / 26