研究課題： 不連続関数の計算可能性−そのパラダイムを目指して−
内定学 ：
平成１６年度 ３１００ 千円；
平成１７年度 ２３００ 千円；
平成１８年度 ２２００ 千円；
皆様のご参加をお待ちします。 連絡先：yasugi@cc.kyoto-su.ac.jp CC-セミナー 2006-1 8月24日
CC-セミナー 2006-2 11月
CC-セミナー 2006-3 11月
CC−セミナー 2004-2
December 11(Saturday)
10:00-10:50 T. Mori: Effective convergence of Fine computable
functions
11:00-11:50 V. Brattka: The Hahn-Banach Theorem and its Impact on
Computable Analysis
12:00-12:50 S. Hayashi: LCM and games
13:00-14:30 Lunch
14:30-15:00 Free discussion
15:00-15:50 P. Hertling: Topological Complexity of Zero Finding for
Continuous Functions
16:00-16:30 Free discussion
16:30-17:00 Clearing
December 12(Sunday)
10:00-10:50 M. Yasugi: Effective sequence of uniformities
11:00-11:50 P.Hertling: Is the Mandelbrot set computable?
12:00-13:00 Lunch
13:00-13:50 T. Yamazaki: Some results on higher order reverse
mathematics
14:00-14:50 A. Yoshikawa: Questions and problems from a naive observer
of the field
15:30-16:30 H.Kamo: Computability of Urysohn's Universal Metric
Space
16:30-17:00 Clearing up
