Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1148 計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して = Foundations of Computer Science
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 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
絞り込み
著者
3
築地, 立家
2
岩間, 一雄
2
西野, 哲朗
1
0000-0003-0369-1970
1
Arai, Noriko H.
1
Arita, Tomokazu
1
Hasunuma, Toru
1
Horiyama, Takashi
1
Ibaraki, Toshihide
1
Igarashi, Yoshihide
.
次 >
発行日
40
2000
資料種別
39
Departmental Bulletin Paper
1
Others