[logic-ml] 数学基礎論とその応用

[Makoto Kikuchi]

皆様，

下記の要領で研究集会「数学基礎論とその応用」を開催します．

この研究集会は，1980年頃より数年毎に数理解析研究所で開催
されていたが，2006年を最後に途絶えている，数学基礎論の様々な
分野の研究者の交流を目的とする研究集会を継承するものです．

今回の集会では，この研究集会のシリーズの創始者の一人であり，
我が国の数学基礎論の発展にご尽力され，昨年亡くなられた
角田譲先生を追悼し，午前中は角田先生と縁の深い研究者を中心に，
かつての数学基礎論の状況や最近の発展の紹介，様々な思い出を
含むご講演をお願いしています．午後は海外からの招聘研究者の講演と，
若手研究者による最先端の研究成果を紹介する英語による講演から
なります．いずれの講演も数学基礎論の専門外の研究者や大学院生が
聴講することを前提としており，講演者には背景や目的の説明に
十分な時間を取るようにお願いしています．

期間が短く大変に申し訳ございませんが，参加者の概数を把握する
必要があるために，参加ご希望の方，参加される可能性のある方は，
【2016年8月16日】までに件名を「mla2016」として email で，
以下の情報を菊池（mkikuchi at kobe-u.ac.jp）までお送り下さい．
ただし，今回お送りいただく情報は最終的なものである必要はなく，
送付後の集会への出欠，懇親会への出欠の変更は可能です．
宿泊の手配はいたしません．各自でご予約下さるようお願いします．
昨今の京都は宿泊の手配が難しくなっています．参加される方には
お早目のご予約をお勧めいたします．

今回は，原則として大学院修士課程修了以上の方を対象として，
参加者に旅費を援助できる可能性があります．旅費の援助を希望
される場合は〆切厳守で，出欠の情報と共に，その旨，菊池まで
ご連絡下さい．なお，ご希望には添えない場合があること，
旅費を援助する場合には申し込み後の出欠の変更は原則として
控えていただく必要があることをご了承下さい．また，学生の方が
旅費の補助を希望する場合は，書式自由で指導教員による簡単な
推薦文を参加申し込みに合わせてお送り下さい．

皆様のお越しをお待ちしています．

菊池誠

ーー参加申込ーー
氏名：
所属大学・部局・職名または身分：
旅費援助の希望：有・無
　　「有」の場合の出張期間：　月　日〜　月　日
懇親会（会費5000円程度，詳細未定）：出席・欠席
ーーーーーーーー

　　　　　　　　　　記

研究集会「数学基礎論とその応用」

日時：2016年9月26日（月）〜 9月29日（木）
場所：京都大学数理解析研究所111室
Web page：http://www2.kobe-u.ac.jp/~mkikuchi/mla2016.html
問い合わせ先：菊池誠（神戸大）mkikuchi at kobe-u.ac.jp

プログラム：

9月26日（月）
11:00-11:50 宮元忠敏（南山大）
	集合論で試される構造と構成のいくつか
13:30-14:20 Joel Hamkins（CUNY）
	TBA (set theory)
14:30-15:20 樋口幸治郎（日大工）
	Computably Represented Structures
15:30-16:20 竹内耕太（筑波大）
	Properties  Characterized by Generalized Indiscernible

9月27日（火）
10:00-10:50 新井敏康（千葉大）
	TBA (proof theory)
11:00-11:50 板井昌典（東海大）
	1980年代半ば，米国中西部のモデル理論，そして未来ーモデル理論賛歌
13:30-14:20 Frank Wager (Lion) 
	Recent Interactions between Model Theory and Combinatorics
14:30-15:20 横山啓太（JAIST) 
	On the Proof-Theoretic Strength of Ramsey's Theorem for Pairs
15:30-16:20 丸山善宏（京大）	
	Dynamics of Duality: How Duality Emerges, Changes, and Breaks

9月28日（水）
10:00-10:50 向井国昭（慶応大）
	Barwiseのモデル論的意味論の周辺と抽象設計学
11:00-11:50 金井康雄（大和大）
	公理的集合論の一角を彷徨って
13:30-14:20 Bakh Khoussainov（Auckland/Kyoto）
	Computably Enumerable Structures: Domain Dependence
14:30-15:20 星野直彦（京大数研）
	Geometry of Interaction and Higher Order Functions
15:30-16:20 Diego Mejia（静岡大）
	Several Values in Cichon's Diagram
夜：懇親会（詳細未定）

9月29日（木）
10:00-10:50 佐藤洋祐（東理大／計算代数）
	限量子記号消去アルゴリズムとその計算の現状について
11:00-11:50 隈部正博（放送大）
	Generic Sets の Turing Degrees について
13:30-14:20 Philip Welch（Bristol）
	Higher Type Recursion and Sigma^0_3-Determinacy