おかげさまで無事終了しました！[ 写真 (Photo) ]
米子高専にて，数学基礎論，解析学，一般位相幾何学，グラフ理論に関する研究集会を開催いたします！
聴講希望の方は，1月27日（月）までに世話人にご連絡ください．
日時：2月1日（土）9：25～17：40頃
場所：米子工業高等専門学校 専攻科棟3階 専攻科講義室
〒683-8502 鳥取県米子市彦名町4448
アブストラクト集はこちら（PDFダウンロード）
9:25~9:30 挨拶
[1] 9:30∼10:00 薄葉 季路 （神戸大学） 「非可算無限グラフの彩色について」
[2] 10:05∼10:35 横山 啓太 （JAIST） 「巨大な有限集合と証明不可能性」 スライド
[3] 10:45∼11:15 樋口 幸治郎 （千葉大学） 「Turing 次数構造の順序次元」 スライド
[4] 11:20∼11:50 木原 貴行 （JAIST） 「ボレル可測関数の連続関数への分解に関するルージンの予想の周辺」
～昼食（米子高専にて）～
[5] 13:00∼13:40 谷口 哲至 （松江高専） 「ホフマングラフとグラフの階層構造」 スライド
[6] 13:45∼14:25 山内 貴光 （島根大学） 「漸近次元について」
[7] 14:35∼15:15 瀬戸 道生 （島根大学） 「数学基礎論に関係すると思われる函数解析学の中の話題」 スライド
[8] 15:20∼15:50 高木 啓行 （信州大学），古清水大直（米子高専） 「保存問題における関数空間上の等距離写像について」
[9] 16:00∼16:30 倉橋 太志 （神戸大学） 「不完全性定理以降のRosser 可証性述語」 スライド
[10] 16:35∼17:05 佐藤 隆 （東北大学） 「逆数学とイデアル分解定理」
[11] 17:10∼17:40 吉居 啓輔 （東北大学） 「2 階算術におけるゲームの決定性と今後の発展について」
19:20∼ 懇親会（米子駅周辺にて）
* 懇親会の開始時間が変更になりました（1月29日更新）
世話人：堀畑 佳宏（米子高専） e-mail: horihata◎yonago-k.ac.jp
会場責任者：古清水 大直（米子高専）