コレクションホームページ

1849 理論計算機科学の新展開   26
(http://hdl.handle.net/2433/194219)

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