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

1599 理論計算機科学の深化 : 新たな計算世界観を求めて   29
(http://hdl.handle.net/2433/80645)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 29
書誌情報ファイル
表紙・目次
   (2008-05)
  数理解析研究所講究録, 1599
file type icon
ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  瀧内, 新悟, 山根, 智 (2008-05)
  数理解析研究所講究録, 1599: 1-8
file type icon
DFAの極限学習における必要例数の解析 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  林, 賢史 (2008-05)
  数理解析研究所講究録, 1599: 9-16
file type icon
Local Structure of Cellular Automata (Foundations of Theoretical Computer Science : For New Computational View)
  Nishio, Hidenosuke, Worsch, Thomas (2008-05)
  数理解析研究所講究録, 1599: 17-23
file type icon
70+.3rの法則 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  伊藤, 暁 (2008-05)
  数理解析研究所講究録, 1599: 24-26
file type icon
局所探索法による熱力学的DNA配列設計の改良 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  川下, 優, 小野, 廣隆, 定兼, 邦彦, 山下, 雅史 (2008-05)
  数理解析研究所講究録, 1599: 27-34
file type icon
On Minimal Clones and Generating Polynomials (Foundations of Theoretical Computer Science : For New Computational View)
  Machida, Hajime (2008-05)
  数理解析研究所講究録, 1599: 35-41
file type icon
ON CONCEPT LATTICE APPROXIMATION (Foundations of Theoretical Computer Science : For New Computational View)
  KWUIDA, LEONARD (2008-05)
  数理解析研究所講究録, 1599: 42-49
file type icon
自明でない法則を用いた形式言語における概念分化 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  植村, 仁 (2008-05)
  数理解析研究所講究録, 1599: 50-56
file type icon
重み付きグラフ上の枝被覆に対する次数均等化と重み最小化 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  原田, 雄太, 小野, 廣隆, 定兼, 邦彦, 山下, 雅史 (2008-05)
  数理解析研究所講究録, 1599: 57-64
file type icon
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
file type icon
グラフ上の線形Cover Timeランダムウォーク実現の必要条件 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  野中, 良哲, 小野, 廣隆, 定兼, 邦彦, 山下, 雅史 (2008-05)
  数理解析研究所講究録, 1599: 73-78
file type icon
Fixed point theorem on partial randomness (Foundations of Theoretical Computer Science : For New Computational View)
  Tadaki, Kohtaro (2008-05)
  数理解析研究所講究録, 1599: 79-85
file type icon
4状態可逆チューリング機械の構成法 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  森本, 光也, 森田, 憲一 (2008-05)
  数理解析研究所講究録, 1599: 86-90
file type icon
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
file type icon
$\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
file type icon
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
file type icon
疎フーリエ表現アルゴリズムの一実装 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  八木谷, 允, 武井, 由智 (2008-05)
  数理解析研究所講究録, 1599: 111-118
file type icon
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
file type icon
局所的な次数情報を用いた無向グラフの探索 (理論計算機科学の深化 : 新たな計算世界観を求めて)
  来見田, 裕一, 小野, 廣隆, 定兼, 邦彦, 山下, 雅史 (2008-05)
  数理解析研究所講究録, 1599: 127-132
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 29