[logic-ml] 『山陰 基礎論・解析学セミナー 2014』（2月1日）のご案内

[higurashi3873 at yahoo.co.jp]

皆様

米子高専の堀畑です．お世話になっております．
２月１日（土）に米子高専（鳥取県）にて研究集会『山陰 基礎論・解析学セミナー 2014』を開催いたします．
分野を超えた，基礎論，関数解析学，一般位相幾何学，グラフ理論に関する研究会となっております．
聴講を希望する方は，1月27日（月）までに堀畑（horihata at yonago-k.ac.jp）にご連絡をお願いいたします．
議論のしやすいざっくばらんな会議にしたいと考えています．
奮ってご参加いただき，山陰の味覚と共に楽しんでいただけたら幸いです．
研究会の詳細は下記ホームページもご覧ください．
https://sites.google.com/site/yonagonctmath/home/SaninLogicAnalysisSeminar

【プログラム】
2月1日 9:25～17:40
[1] 薄葉季路（神戸大学） 「非可算無限グラフの彩色について」
[2] 横山啓太（JAIST） 「巨大な有限集合と証明不可能性」
[3] 樋口幸治郎（千葉大学） 「Turing 次数構造の順序次元」
[4] 木原貴行（JAIST） 「ボレル可測関数の連続関数への分解に関するルージンの予想の周辺」
・昼食
[5] 谷口哲至（松江高専） 「ホフマングラフとグラフの階層構造」
[6] 山内貴光（島根大学） 「漸近次元について」
[7] 瀬戸道生（島根大学） 「数学基礎論に関係すると思われる函数解析学の中の話題」
[8] 高木啓行（信州大学），古清水大直（米子高専） 「保存問題における関数空間上の等距離写像について」
[9] 倉橋太志（神戸大学） 「不完全性定理以降のRosser 可証性述語」
[10] 佐藤隆（東北大学） 「逆数学とイデアル分解定理」
[11] 吉居啓輔（東北大学） 「2 階算術におけるゲームの決定性と今後の発展について」
19:00∼ 懇親会（米子駅周辺にて）

以上です．
よろしくお願いい申し上げます．

堀畑　佳宏
--
米子工業高等専門学校　教養教育科・数学
〒683-8502 鳥取県米子市彦名町4448
E-mail: horihata at yonago-k.ac.jp