日時・場所
日時: 2019年12月6日 (金) 午後 〜 12月8日 (日) 午前
場所: 愛知県青年の家
住所: 〒444-0802 愛知県岡崎市美合町並松1-2 (アクセス)
世話人: 木原 貴行 (名古屋大学)
連絡先: kihara@i.nagoya-u.ac.jp
お手伝い: 小野田順一 (名大M2), 川嶋康太 (名大M1), 笹木健太 (名大M1), 春山椋 (名大M1)
数学基礎論若手の会について
数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です． 講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております． また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します． 多くの方々のご参加およびご講演をお待ちしています．
プログラム
参加者名簿・プログラム (2019年12月4日更新)
会場：第2研修室
講演リストおよびスライド
- 鈴木 仁哉 (株式会社UL Japan): フェイルセーフと命題論理
- 静間 荘司 (大阪府立大学): 無限帽子パズルとultra filter
- 笹木 健太 (名古屋大学): 射影順序数とSuslinの定理
- 大川 裕矢 (千葉大学): 部分保存性に対する Guaspari の問題について
- 大塚 智哉 (筑波大学): Silver-Solovayの問題とPrikry強制
- 荒武 永史 (京都大学): トポス理論と圏論的論理学への誘い
- 中村 悠人 (放送大学): Constructing metric space from power set of R
- 中田 哲 (京都大学): 構成性と実現可能性解釈
- Leonardo Vieira Pacheco Braga (東北大学): A short introduction to mu-calculus
- 安田 泰智 (東京大学): 射影集合の決定性の無矛盾性
- 向川原 弘明 (筑波大学): DividingとForking の気持ち
- 加藤 成晃 (東北大学): Welcome to ようこそ Reverse math zoo
- 五十里 大将 (東北大学): 続・逆数学イントロダクション――弱ケーニヒの補題が成り立たない世界での実連続関数――
- 吉田 大河 (北海道大学): 有限モデル上の一階述語論理の表現力について
- 倉橋 太志 (木更津高専): 第二不完全性定理について
- 仁木 哲 (北陸先端大): Beth意味論におけるempirical及びco-negationについて
- Miguel Antonio Cardona Montoya (TU Wien): Review on the strong measure zero σ-ideal and Yorioka's σ-ideals
- 津久浦 健太 (筑波大学): Polarized Partition on Successors of Singular Cardinals
- 田中 修 (筑波大学): 集合論の可算モデルの埋め込みについて
- 鈴木 悠大(東北大学): Basis theorems and Models of WKL0
- 本田 真之 (東北大学): Zorn's lemma in second order arithmetic
- 湯山 孝雄 (東京工業大学): On Hilbert's tenth problem over subrings of Q
謝 昊辰 (名古屋大学): μ再帰関数にチューリングジャンププリミティブを追加した体系におけるビジービーバー関数について春山 椋 (名古屋大学): 線形論理とProof nets- 木原 貴行 (名古屋大学): ねこでもわかるぎゃくすうがく
- 原 健三 (一般企業): 協調型論理: 再帰クリプキモデルの構築と論理の普遍的解釈
- 平田 彩奈 (北海道天売高校): Non-deterministic inductive definitions and generalized geometric theories in constructive set theory
- 田中 健策 (株式会社ぺあのしすてむ): Coq実演
参加費
1泊: 3,500円 前後; フル参加 (2泊3日): 7,000円 前後 (宿泊費・食費込)
部分参加の場合，宿泊日数や食事を取られる回数に応じて減額いたしますので，お問い合わせください．
参加・講演申し込み
申し込み締め切り: 10月20日 (日)
参加を希望の方は下記の情報を書いたメールを
件名 ：数学基礎論若手の会参加申込
にて kihara@i.nagoya-u.ac.jp までお送りください：
所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）
氏名，性別
講演希望するorしない
6日の宿泊を希望するorしない
7日の宿泊を希望するorしない
6日の夕食を希望するorしない
7日の朝食を希望するorしない
7日の昼食を希望するorしない
7日の夕食を希望するorしない
8日の朝食を希望するorしない
8日の昼食を希望するorしない
その他（質問、講演希望日など）
（講演希望の場合、題目と概要は後日お送りください）
備考
寝室は基本的に4〜6人の相部屋になります．
歯ブラシ、寝間着、タオル等は設置されていないので各自でご用意ください．
宿泊や食事を伴わない参加も歓迎いたします。その場合でも参加人数把握のために参加のメールをお送りください．
リンク
お問い合わせ
世話人: 木原 貴行 (名古屋大学)
Email: kihara@i.nagoya-u.ac.jp