米子にて研究集会を開催いたします！
基礎論と解析学の気軽な研究交流の場を目指しています！
奮ってご参加ください！
日時：2019年2月2日（土）10:00~17:00
場所：米子コンベンションセンター 5F 第4会議室 （米子駅から徒歩で5分程）
締切：2019年1月7日（月）☜ 講演・参加申し込み
2019年1月21日（月）☜ アブストラクト（講演者）
9:25∼9:30 ご挨拶
[1] 10:00∼10:45 倉橋 太志（木更津工業高等専門学校）
「命題様相論理における Uniform Lyndon 補間定理」
[2] 11:00∼11:45 岡本 圭史（仙台高等専門学校），高井 利憲（奈良先端科学技術大学院大学），木藤 浩之（Sun Yat-sen University）
「Enumerating Dung's Extensions with an SMT Solver」
∼ 昼食（各自） ∼
[3] 14:00∼14:45 薄葉 季路（早稲田大学基幹理工学部）
「多元宇宙の理論」
[4] 15:00∼15:45 横山 啓太（北陸先端科学技術大学院大学）
「強い公理を要請する解析学の定理について」
[5] 16:00∼16:45 根元 多佳子（北陸先端科学技術大学院大学）
「構成的逆数学の体系の話」
17:30∼ 懇親会
お問い合わせは世話人まで．
世話人：堀畑 佳宏（米子高専） e-mail: horihata◎yonago-k.ac.jp
会場責任者：古清水 大直（米子高専）