No.1381
数学解析の理論的展開の計算機による支援・遂行可能性
Feasibility of Theoretical Arguments of Mathematical Analysis on Computer
研究集会報告集
2003/09/16〜2003/09/19
吉川 敦
Atsushi Yoshikawa
目 次
早稲田大学理工学部 山本 哲朗 (Yamamoto, Tetsuro)
早稲田大学理工学部 / 早稲田大学理工学部 阿口 誠司 / 山本 哲朗 (Aguchi, Seiji / Yamamoto, Tetsuro)
東京電機大学環境情報[情報環境]学部 榊原 進 (Sakakibara, Susumu)
福岡教育大学 / 九州大学数理学府 / 九州大学数理学府 藤本 光史 / 鈴木 昌和 / 横山 和弘 (Fujimoto, Mitsushi / Suzuki, Masakazu / Yokoyama, Kazuhiro)
京都産業大学理学部 森 隆一 (Mori, Takakazu)
京都産業大学経済学部 舛本 現 (Masumoto, Gen)
北陸先端科学技術大学院大学情報科学研究科 吉田 聡 (Yoshida, Satoru)
京都大学人間環境学研究科 立木 秀樹 (Tsuiki, Hideki)
Department of Mathematics and Statistics, University of Canterbury Vita, Luminita Simona
北陸先端科学技術大学院大学 石原 哉 (Ishihara, Hajime)
京都産業大学理学部 / 京都産業大学理学部 八杉 満利子 / 辻井 芳樹 (Yasugi, Mariko / Tsujii, Yoshiki)
早稲田大学理工学部 大石 進一 (Oishi, Shin'ichi)
神戸大学理学部 高山 信毅 (Takayama, Nobuki)
九州大学数理学府 / / 九州大学情報基盤センター 中尾 充宏 / / 渡部 善隆 (Nakao, Mitsuhiro / Plum, Michael / Watanabe, Yoshitaka)
東北大学理学研究科数学専攻 / 東北大学理学研究科数学専攻 赤間 陽二 / 飯塚 新司 (Akama, Yoji / Iizuka, Shinji)
神戸大学自然科学研究科 木村 欣司 (Kimura, Kinji)
熊本県立大学総合管理学部 貞広 泰造 (Sadahiro, Taizo)
九州大学数理学府 吉川 敦 (Yoshikawa, Atsushi)