Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 40.

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
不完全情報環境下における時系列データと仮説推論による行動決定 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 大塚, 忠広; 篠田, 孝祐; 伊藤, 暢浩; 陳, 慰; 和田, 幸一 (2000-04) 数理解析研究所講究録, 1148: 152-157
安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 盛田, 保文; 宮崎, 修一; 岩間, 一雄; ハルダースソン, マグナス (2000-04) 数理解析研究所講究録, 1148: 124-129
A New Definition of Semantic Security for Public-Key Encryption Schemes (Foundations of Computer Science) Sakai, Hideaki; Nakamura, Noriko; Igarashi, Yoshihide (2000-04) 数理解析研究所講究録, 1148: 112-117
系統樹最節約復元の部分木に関する最小性について : Some properties of the distortion index on all MPRs (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 宮川, 幹平; 成嶋, 弘 (2000-04) 数理解析研究所講究録, 1148: 106-111
3次元直方体のintersection graphに対する独立点集合問題の近似困難について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 長島, 弘幸; 山崎, 浩一 (2000-04) 数理解析研究所講究録, 1148: 130-133
弱いランダム仮定の元での公開鍵暗号の強秘匿性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 小柴, 健史; 渡辺, 治 (2000-04) 数理解析研究所講究録, 1148: 118-123
平均時計算量における2-tt還元とmany-one還元の違いについて (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 築地, 立家; 相田, 慎 (2000-04) 数理解析研究所講究録, 1148: 140-145
一般化詰め将棋のPSPACE困難性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 横田, 雅也; 築地, 立家 (2000-04) 数理解析研究所講究録, 1148: 146-151
Complexity of Grobner Bases for Toric Ideals of Acyclic Tournament Graphs (Foundations of Computer Science) Ishizeki, Takayuki; Imai, Hiroshi (2000-04) 数理解析研究所講究録, 1148: 134-139
3次元一意解析可能アレイ文法による図形の生成と認識について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 松田, 行雄; 森田, 憲一; 岩本, 宙造; 今井, 克暢 (2000-04) 数理解析研究所講究録, 1148: 35-40