書誌情報	ファイル
表紙・目次    (2001-01)   数理解析研究所講究録, 1186
Banach束に値をとる正値テンソル積測度の弱収束 (函数解析学の応用としての情報数理の研究)   河邊, 淳 (2001-01)   数理解析研究所講究録, 1186: 1-14
可測ノルムについての一考察 (函数解析学の応用としての情報数理の研究)   原井, 敬子; 前田, ミチヱ (2001-01)   数理解析研究所講究録, 1186: 15-27
Towards "Monotonic Probability" (Topics in Information Sciences and Applied Functional Analysis)   Muraki, Naofumi (2001-01)   数理解析研究所講究録, 1186: 28-35
非拡大写像の不動点定理とその応用 (函数解析学の応用としての情報数理の研究)   高橋, 渉 (2001-01)   数理解析研究所講究録, 1186: 36-48
Supercyclic Translation Semigroups of Linear Operators (Topics in Information Sciences and Applied Functional Analysis)   Matsui, Mai; Takeo, Fukiko (2001-01)   数理解析研究所講究録, 1186: 49-56
非線形写像の強収束定理とその応用 (函数解析学の応用としての情報数理の研究)   中條, 一秀 (2001-01)   数理解析研究所講究録, 1186: 57-69
ファジィ測度のdistortionについて (函数解析学の応用としての情報数理の研究)   本田, あおい; 岡崎, 悦明 (2001-01)   数理解析研究所講究録, 1186: 70-77
PROOF CHECKING USING PROLOG (Topics in Information Sciences and Applied Functional Analysis)   Tsukada, Makoto (2001-01)   数理解析研究所講究録, 1186: 78-83
量子計算と線形2端子回路網 (函数解析学の応用としての情報数理の研究)   上坂, 吉則 (2001-01)   数理解析研究所講究録, 1186: 84-91
Measurements of Nondegenerate Observables (Topics in Information Sciences and Applied Functional Analysis)   Ozawa, Masanao (2001-01)   数理解析研究所講究録, 1186: 92-105
Nonstandard Representations of Unbounded Self-Adjoint Operators (Topics in Information Sciences and Applied Functional Analysis)   Yamashita, Hideyasu; Ozawa, Masanao (2001-01)   数理解析研究所講究録, 1186: 106-118
Quantum Logical Gate Based on Fock Space (Topics in Information Sciences and Applied Functional Analysis)   Freudenberg, Wolfgang; Ohya, Masanori; Watanabe, Noboru (2001-01)   数理解析研究所講究録, 1186: 119-124
遺伝情報学におけるセグメント法を用いたマルチプルアライメント (函数解析学の応用としての情報数理の研究)   村松, 重人; 大矢, 雅則 (2001-01)   数理解析研究所講究録, 1186: 125-132
フィードバックをもつ混合型ガウス型通信路の容量について (函数解析学の応用としての情報数理の研究)   柳, 研二郎; 王, 基文 (2001-01)   数理解析研究所講究録, 1186: 133-144
Conditional ExpectationsとSampling Functionsを巡る函数解析 (函数解析学の応用としての情報数理の研究)   梅垣, 寿春 (2001-01)   数理解析研究所講究録, 1186: 145-150
比例的遅れを持つ微分方程式に対する選点法 (函数解析学の応用としての情報数理の研究)   石渡, 恵美子 (2001-01)   数理解析研究所講究録, 1186: 151-163
Correctness of adder algorithm using high-radix signed-digit number system and its adaptation to RSA cryptogram (Topics in Information Sciences and Applied Functional Analysis)   Fujisawa, Yoshinori; Fuwa, Yasushi; Nakamura, Yatsuka (2001-01)   数理解析研究所講究録, 1186: 164-176
Verification of logic circuits using Mizar and its application to an adder circuit on a radix-$2^k$SD number (Topics in Information Sciences and Applied Functional Analysis)   Shimizu, Hidetaka; Nakamura, Yatsuka; Fujisawa, Yoshinori; Fuwa, Yasushi (2001-01)   数理解析研究所講究録, 1186: 177-188
On James and Schaffer constants for Banach spaces (Topics in Information Sciences and Applied Functional Analysis)   Takahashi, Yasuji; Kato, Mikio; Takahasi, Sin-Ei (2001-01)   数理解析研究所講究録, 1186: 189-193