Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
次

検索結果:

書誌情報	ファイル
遺伝情報学におけるセグメント法を用いたマルチプルアライメント (函数解析学の応用としての情報数理の研究) 村松, 重人; 大矢, 雅則 (2001-01) 数理解析研究所講究録, 1186: 125-132
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
時間に依存するファジィ集合族を用いた最適制御に関する一考察 (函数解析学の応用としての情報数理の研究) 遠藤, 登; 河邊, 淳; 和崎, 克己; 師玉, 康成 (2001-01) 数理解析研究所講究録, 1186: 216-222
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
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
Space of Fuzzy Measures (Topics in Information Sciences and Applied Functional Analysis) Narukawa, Yasuo; Murofushi, Toshiaki (2001-01) 数理解析研究所講究録, 1186: 205-215
不規則外乱の影響を考慮した相転移現象のモデリング (函数解析学の応用としての情報数理の研究) 石川, 昌明; 宮島, 啓一 (2001-01) 数理解析研究所講究録, 1186: 194-204
可測ノルムについての一考察 (函数解析学の応用としての情報数理の研究) 原井, 敬子; 前田, ミチヱ (2001-01) 数理解析研究所講究録, 1186: 15-27
Banach束に値をとる正値テンソル積測度の弱収束 (函数解析学の応用としての情報数理の研究) 河邊, 淳 (2001-01) 数理解析研究所講究録, 1186: 1-14
表紙・目次 (2001-01) 数理解析研究所講究録, 1186