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

1649 理論計算機科学の深化と応用   36
(http://hdl.handle.net/2433/139667)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 36
書誌情報ファイル
表紙・目次
   (2009-05)
  数理解析研究所講究録, 1649
file type icon
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
file type icon
玉と壷のモデルにおける玉の衝突について (理論計算機科学の深化と応用)
  中田, 寿夫 (2009-05)
  数理解析研究所講究録, 1649: 9-16
file type icon
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
file type icon
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
file type icon
拡張範疇文法の能力について (理論計算機科学の深化と応用)
  松原, 俊一 (2009-05)
  数理解析研究所講究録, 1649: 31-38
file type icon
確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)
  林, 将志, 山根, 智 (2009-05)
  数理解析研究所講究録, 1649: 39-46
file type icon
確率時間CEGAR (理論計算機科学の深化と応用)
  森下, 篤, 駒形, 龍太, 山根, 智 (2009-05)
  数理解析研究所講究録, 1649: 47-54
file type icon
Enumerating Polyominoes of p4 Tiling by the Reverse Search (Theoretical Computer Science and Its Applications)
  HORIYAMA, Takashi, SAMEJIMA, Masato (2009-05)
  数理解析研究所講究録, 1649: 55-57
file type icon
絵画的迷路の作り方 (理論計算機科学の深化と応用)
  岡本, 吉央, 上原, 隆平 (2009-05)
  数理解析研究所講究録, 1649: 58-65
file type icon
Complexity of pleat folding (Theoretical Computer Science and Its Applications)
  Ito, Tsuyoshi, Kiyomi, Masashi, Imahori, Shinji, Uehara, Ryuhei (2009-05)
  数理解析研究所講究録, 1649: 66-72
file type icon
配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用)
  濱田, 浩気, 宮崎, 修一, 岩間, 一雄 (2009-05)
  数理解析研究所講究録, 1649: 73-80
file type icon
連を多く含む文字列発見のための探索的手法 (理論計算機科学の深化と応用)
  松原, 渉, 草野, 一彦, 坂内, 英夫, 石野, 明, 篠原, 歩 (2009-05)
  数理解析研究所講究録, 1649: 81-88
file type icon
トランスポゾンから導かれる演算により定義される整合括弧列のDNAモデルとチューリング・マシンの構成 (理論計算機科学の深化と応用)
  鈴木, 理 (2009-05)
  数理解析研究所講究録, 1649: 89-96
file type icon
形式言語による結び目の実現問題に関する幾つかの予想 (理論計算機科学の深化と応用)
  上谷, 雄一, 岡田, 蓉子, 堀口, 俊, 前川, 達也, 鈴木, 理 (2009-05)
  数理解析研究所講究録, 1649: 97-104
file type icon
形式言語における区別・説明の無限過程の定式化 (理論計算機科学の深化と応用)
  植村, 仁 (2009-05)
  数理解析研究所講究録, 1649: 105-112
file type icon
Chaitin's halting probability Ω and halting problems (Theoretical Computer Science and Its Applications)
  只木, 孝太郎 (2009-05)
  数理解析研究所講究録, 1649: 113-120
file type icon
A Note on Automorphisms of Cellular Automata (Theoretical Computer Science and Its Applications)
  Nishio, Hidenosuke, Worsch, Thomas (2009-05)
  数理解析研究所講究録, 1649: 121-128
file type icon
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
file type icon
最大エントロピー原理に基づくオンライン学習 (理論計算機科学の深化と応用)
  大田, 貴文, 畑埜, 晃平, 竹田, 正幸 (2009-05)
  数理解析研究所講究録, 1649: 137-144
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 36