1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 34.
検索結果:
書誌情報ファイル
滑らかな常微分方程式の計算量 (アルゴリズムと計算理論の新展開)
  太田, 浩行; 河村, 彰星; ツィーグラー・マルチン; レースニク・カルステン (2012-06)
  数理解析研究所講究録, 1799: 67-72
file type icon 
合同な四角形による球面タイリングの分類 (アルゴリズムと計算理論の新展開)
  赤間, 陽二; 坂野, 雄大; 中村, 公亮 (2012-06)
  数理解析研究所講究録, 1799: 44-48
file type icon 
アスペクト比を固定した最小の周囲長方形について (アルゴリズムと計算理論の新展開)
  小林, 有; 堀山, 貴史 (2012-06)
  数理解析研究所講究録, 1799: 65-66
file type icon 
セルオートマトンの合成とリミットサイクルについて (アルゴリズムと計算理論の新展開)
  石田, 俊一; 井口, 修一 (2012-06)
  数理解析研究所講究録, 1799: 37-43
file type icon 
On QMA Protocols with Two Short Quantum Proofs (New Trends in Algorithms and Theory of Computation)
  Le Gall, Francois; Nakagawa, Shota; Nishimura, Harumichi (2012-06)
  数理解析研究所講究録, 1799: 73-80
file type icon 
Variants of Petri net controlled grammars and their parsing algorithms (New Trends in Algorithms and Theory of Computation)
  Nishida, Taishin Yasunobu (2012-06)
  数理解析研究所講究録, 1799: 49-56
file type icon 
海草全単射の漸減構築 (アルゴリズムと計算理論の新展開)
  酒井, 義文 (2012-06)
  数理解析研究所講究録, 1799: 60-64
file type icon 
Relations between language classes in terms of insertion and locality (New Trends in Algorithms and Theory of Computation)
  Fujioka, Kaoru (2012-06)
  数理解析研究所講究録, 1799: 57-59
file type icon 
Limiting Negations in Probabilistic Circuits (New Trends in Algorithms and Theory of Computation)
  Morizumi, Hiroki (2012-06)
  数理解析研究所講究録, 1799: 81-83
file type icon 
抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)
  清水, 隆也; 森下, 篤; 山根, 智 (2012-06)
  数理解析研究所講究録, 1799: 29-36
file type icon 

絞り込み