[logic-ml] 超準解析シンポジウム（第3報）

[Hiroshi Akiyama]

関係各位：

2013年度 超準解析シンポジウムを下記の要領で開催いたしますので
ご案内申し上げます．           　
                                                              静岡大学　 明山　浩

　　　　　　　　　　　　　　　　記

2013年度 超準解析シンポジウム
期間： 2013年9月18日(水)12：30 から 9月19日(木)12：30 まで　

会場：静岡県浜松市中区城北3-5-1　静岡大学（浜松キャンパス）
 　　　 工学部6号館 12教室
　　　  （北門のすぐそばの5階建ての建物の1階です）

会場への交通：遠鉄（遠州鉄道）バスをご利用の場合，JR浜松駅
北口バスターミナル15番または16番のりばで乗車，「静岡大学」で
下車（所要時間は約20分，運賃180円）．

会場アクセスHP： http://www.eng.shizuoka.ac.jp/outlines/p07/

本シンポジウムは
科研費挑戦的萌芽研究(24654021) (研究代表者：小澤正直)
の助成を受けております．

プログラム

９月１８日（水）
12：30--13：00
受付

13：00--13：40
明山　浩　（静岡大学）　多様体上の熱核に対する超準的方法

13：50--14：35
横山啓太　（北陸先端科学技術大学院大学）　弱い組合わせ命題と
超準的手法

14：50--15：35
山下秀康　（愛知学院大学）　コヒーレント状態経路積分と
de Broglie 場

15：45--16：30
知沢清之　（管理工学研究所）　On the two methods to prove
the existence of 4-dimensional canard

16：40--17:10
ショート コミュニケーション


懇親会


９月１９日（木）
9：30--10：15
柳川　信　（筑波大学）　A non-standard construction of
 p-adically closed fields

10：25--11：10
村上雅彦　（東京医科大学）　Yet another quantum set  theory

11：25--12：10
松永　隆　（大阪府立成人病センター）　A key lemma to a
nonstandard proof of the Doob-Meyer theorem

12：30
連絡事項等，　閉会　　

**************
静岡大学大学院工学研究科数理システム工学専攻，
工学部共通講座（数学）　明山　浩
 e-mail：　tshakiy at ipc.shizuoka.ac.jp