検索


適用済条件:

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

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


検索結果表示: 1-10 / 888.
検索結果:
書誌情報ファイル
2-knotに沿うGluck Surgeryと$\mathbf{R}P^2$-knot Exteriorの貼り合わせ : GLUCK SURGERY ALONG A 2-SPHERE IN A 4-MANIFOLD IS REALIZED BY SURGERY ALONG A PROJECTIVE PLANE (局所的及び大域的特異点論の研究)
  Yamada, Yuichi; Saeki, Osamu; Teragaito, Masakazu; Katanaga, Atsuko (1998-06)
  数理解析研究所講究録, 1050: 77-84
Bounding MISE in nonparametric estimation of a density and its derivatives (Large Deviation and Statistical Inference)
  Isogai, Eiichi (1998-08)
  数理解析研究所講究録, 1055: 68-78
Construction of approximately exact tests for the difference of exponential means (Large Deviation and Statistical Inference)
  津田, 美幸 (1998-08)
  数理解析研究所講究録, 1055: 117-124
Existence and regularity results for the gradient flow for p-harmonic maps (Related topics on regularity of solutions to nonlinear evolution equations)
  Misawa, Masashi (1998-05)
  数理解析研究所講究録, 1045: 57-72
平均曲率流方程式の数値解析 : BMO Algorithm (非線形発展方程式の解の正則性と解の爆発との関連)
  後藤, 俊一 (1998-05)
  数理解析研究所講究録, 1045: 53-56
On difference between two mapping-space topologies, ${\tau}V^\infty$ and ${\tau}W^\infty$
  Shibata, Naoki (1998-06)
  数理解析研究所講究録, 1050: 130-145
A Typed Context Calculus(Type Theory and its Applications to Computer Systems)
  Hashimoto, Masatomo; Ohori, Atsushi (1998-01)
  数理解析研究所講究録, 1023: 76-91
SN Combinators and Partial Combinatory Algebras(Type Theory and its Applications to Computer Systems)
  AKAMA, Yohji (1998-01)
  数理解析研究所講究録, 1023: 92-111
Static Typing for Dynamic Messages(Type Theory and its Applications to Computer Systems)
  Nishimura, Susumu (1998-01)
  数理解析研究所講究録, 1023: 126-141
実関数の帰納推論(I) : 厳密推論 (アルゴリズムと計算の理論)
  有川, 節夫; 廣渡, 栄寿 (1998-04)
  数理解析研究所講究録, 1041: 199-204
file type icon