Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1599 理論計算機科学の深化 : 新たな計算世界観を求めて = Foundations of Theoretical Computer Science : For New Computational View
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 28.
前
1
2
3
次
検索結果:
書誌情報
ファイル
Local Structure of Cellular Automata (Foundations of Theoretical Computer Science : For New Computational View)
Nishio, Hidenosuke; Worsch, Thomas (2008-05)
数理解析研究所講究録, 1599: 17-23
ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)
瀧内, 新悟; 山根, 智 (2008-05)
数理解析研究所講究録, 1599: 1-8
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
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
$\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
重み付きグラフ上の枝被覆に対する次数均等化と重み最小化 (理論計算機科学の深化 : 新たな計算世界観を求めて)
原田, 雄太; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05)
数理解析研究所講究録, 1599: 57-64
局所探索法による熱力学的DNA配列設計の改良 (理論計算機科学の深化 : 新たな計算世界観を求めて)
川下, 優; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05)
数理解析研究所講究録, 1599: 27-34
確率的な枝重みをもつ有向非巡回グラフにおける最長路長さの分布関数の解析的な計算に関する考察 (理論計算機科学の深化 : 新たな計算世界観を求めて)
安藤, 映; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05)
数理解析研究所講究録, 1599: 170-175
グラフ上の線形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
絞り込み
著者
7
定兼, 邦彦
7
小野, 廣隆
7
山下, 雅史
1
Aoki, Kazumasa
1
FUJIO, Mitsuhiko
1
Hatano, Kohei
1
Inoue, Daisuke
1
Ishibashi, Kosuke
1
Kozawa, Kyohei
1
Kudo, Mineichi
.
次 >
キーワード
1
cellular automaton
1
conditional
1
equivalence
1
isomorphism
1
local structure
1
neighborhood
1
oblivious transfer
1
permutation
1
reduction
1
reversibility
.
次 >
発行日
28
2008
分類
28
410