Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 11-20 / 29.

前
1
2
3
次

検索結果:

書誌情報	ファイル
Fixed point theorem on partial randomness (Foundations of Theoretical Computer Science : For New Computational View) Tadaki, Kohtaro (2008-05) 数理解析研究所講究録, 1599: 79-85
On Minimal Clones and Generating Polynomials (Foundations of Theoretical Computer Science : For New Computational View) Machida, Hajime (2008-05) 数理解析研究所講究録, 1599: 35-41
3点系統樹を入力とした系統樹構築の近似アルゴリズムの近似比とその解析 (理論計算機科学の深化 : 新たな計算世界観を求めて) 前村, 一哉; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05) 数理解析研究所講究録, 1599: 141-147
辺上を移動するロボット1台による最適な多角形探索 (理論計算機科学の深化 : 新たな計算世界観を求めて) 深見, 浩和; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05) 数理解析研究所講究録, 1599: 182-188
局所的な次数情報を用いた無向グラフの探索 (理論計算機科学の深化 : 新たな計算世界観を求めて) 来見田, 裕一; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05) 数理解析研究所講究録, 1599: 127-132
多層型矩形分割に対する16分格子グラフ表現 (理論計算機科学の深化 : 新たな計算世界観を求めて) Kureha, Akira; Tsuchida, Kensei; Yaku, Takeo (2008-05) 数理解析研究所講究録, 1599: 176-181
Gowers一様性による剰余関数と多項式の相関の評価 (理論計算機科学の深化 : 新たな計算世界観を求めて) 田中, 秀宗; 河内, 亮周 (2008-05) 数理解析研究所講究録, 1599: 133-140
4状態可逆チューリング機械の構成法 (理論計算機科学の深化 : 新たな計算世界観を求めて) 森本, 光也; 森田, 憲一 (2008-05) 数理解析研究所講究録, 1599: 86-90
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
自明でない法則を用いた形式言語における概念分化 (理論計算機科学の深化 : 新たな計算世界観を求めて) 植村, 仁 (2008-05) 数理解析研究所講究録, 1599: 50-56