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

[Hiroshi Akiyama]

皆様：

2013年度 超準解析シンポジウム世話人の明山（静岡大学）です．
プログラム（暫定版）を作成いたしました．
日程は最初の予定から短縮しました．

懇親会を9月18日（水）夕方からと考えております．
場所等は未定です．
シンポジウムに参加されるかたは，お手数ですが懇親会への
ご出欠を9月9日（月）までに私までお知らせいただければ幸いです．

　　　　　　　　　　　　　　　　記

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

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

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

プログラム（暫定版）

９月１８日（水）
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:20
（予備： 追加講演 または ショート コミュニケーション）

懇親会 （予定）

９月１９日（木）
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