数学基礎論若手の会2018

日時・場所

• 日時： 2018年11月22日(木)夕方～25日(日)午前
• 場所：コテージにらい恩納
• 住所：〒904-0401 沖縄県国頭郡恩納村名嘉真1952-10 (アクセス)
• 世話人：新屋良磨 (秋田大学 数理科学コース)
• 連絡先：ryoma@math.akita-u.ac.jp
• 備考：22日(木)は移動のための予備日(夕方に簡単な議論・交流会を行います)で，メインプログラムは23日(金)午前からの開催となります．本土から那覇空港，さらに那覇空港からにらい恩納(バスで2時間)までは移動に時間がかかりますので，22日から参加されることをおすすめいたします．日帰りの参加につきましては申し込みなしでも可能ですが，参加者数把握のために事前にご連絡をいただければ幸いです．

数学基礎論若手の会について

数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です． 講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております． また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．

2018年の数学基礎論若手の会には25名が参加し，うち20名が講演を行いました．多数の参加および講演申し込みありがとうございました．

プログラム

10月25日版

10月26日版

11月 7日版

11月 8日版

11月14日版

11月15日版

最終版

講演スライド (一部)

• 後藤達哉：Vaught 予想と記述集合論
• 岡部峻典：On constructions of Fraïssé Limits and Hrushovski’s one
• 津久浦健太：特異基数の後者上における飽和イデアルと Polarized Partition について
• 大塚智哉：反復強制構造による強制法公理の無矛盾性証明
• 石井大海：集合論の生成多宇宙と地質学入門
• 湯山孝雄：Matrix Mortality Problem
• 谷口雅弥：モンタギュー文法の紹介
• 大川裕矢：Sacchetti の様相論理における不動点の構成法
• 高木研斗：狭義単項二階述語論理の完全性について
• 浅見悠太：公開告知ゲームについて
• 中村知己：Gödel Modal Logic の公理化

参加費

• 3泊(朝食夕食付き)の方：15000円
• 2泊(朝食夕食付き)の方：12000円
  • 朝食・夕食を取られない方はその分減額いたしますので，当日お問い合わせください．
  • 朝食700円，夕食(沖縄定食orBBQ)1600~2000円．昼食はにらい恩納付近のレストランで各自お取りください．参考
• 懇親会に参加される方は当日懇親会費を徴収いたします．

参加・講演申し込み

• 申し込み締め切り 10月19日(金)
• まだ参加に若干名余裕がありますので，参加申し込み締め切りを11月2日(金)に延長しました．定員に達し次第参加申込みを打ち切らせていただきますので，お早めにご連絡ください． ＊なお発表申し込みは締め切りました．
• 締め切りました
• 注意：参加締め切り後の宿泊キャンセルはキャンセル料がかかってしまうことがありますのでご遠慮ください．
• 参加を希望の方は下記の情報を書いたメールを

件名 ：数学基礎論若手の会参加申込

にて ryoma@math.akita-u.ac.jp までお送りください

• 所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）
• 氏名，性別
• 講演希望するorしない（講演希望の場合、後日題目と概要をお送りください）
• 22日の宿泊を希望するorしない
• 23日の宿泊を希望するorしない
• 24日の宿泊を希望するorしない
• 22日の夕食(沖縄定食)を希望するorしない
• 23日の朝食を希望するorしない
• 23日の夕食(BBQ)を希望するorしない
• 24日の朝食を希望するorしない
• 24日の夕食(BBQ)を希望するorしない
• 25日の朝食を希望するorしない
• 23日の夜の懇親会に参加するorしない
• 24日の夜の懇親会に参加するorしない
• その他（質問、講演希望日など）

備考

• 宿泊はコテージ1棟を10人で使用する形となります．
• 歯ブラシ，寝間着は設置されていないので各自でご用意ください．
• 宿泊や食事を伴わない参加も歓迎いたします．その場合でも参加者数把握のために事前にご連絡をいただければ幸いです．
• 本土から沖縄への移動はLCC(国内線格安航空)を利用されるとやすいです．例えば Jetstar ですと8月21日現在，成田<->那覇間の往復航空券が2万円程度で購入できます．

• 那覇空港からにらい恩納へはリムジンバスで「那覇空港国内線ターミナル」から「沖縄かりゆしビーチリゾートオーシャンスパ」(100分)で降車後徒歩1.5km程度，または路線バス120番で「那覇空港国内線ターミナル」から「伊武部希望ヶ丘バス停」(120分)で降車後徒歩3分程度です．

リンク

• 数学基礎論若手の会facebookコミュニティ
• 数学基礎論若手の会2017