第４回山陰基礎論・解析学研究集会（２０１７年）

米子にて研究集会を開催いたします！

奮ってご参加ください！

無事終了いたしました！

参加してくださった方、ありがとうございました！

また次回もよろしくお願いします！

参加者：３２名

発表：１１件

日時：

2017年

1月8日（日） 9:25~17:00

1月9日（月祝） 9:30~12:00

場所：国際ファミリープラザ３Ｆ会議室Ａ（米子駅から徒歩で１０分程）

※ 本研究集会の第２回と同じ場所です

8日（日）

9:25~9:30 挨拶

[1] 9:30~10:00 横山啓太（JAIST）「ハーンバナッハの定理と逆数学」

[2] 10:10~10:40 池上大祐（東京電機大学）「選択公理と巨大基数」

[3] 10:50~11:20 冨樫（新藤）瑠美（長岡高専）「乗法的条件をみたす写像の構造から見た末梢スペクトルとノルムの差異について」

[4] 11:30~12:00 三浦毅（新潟大学）「C1([0; 1]) 上の種々のノルムに関する等距離写像」

~. 昼食（各自）~

[5] 14:00~14:50 石原哉（JAIST）「Constructive functional analysis: an introduction」

[6] 15:00~15:30 鈴木信行（静岡大学）「Omniscience principles に関する中間述語論理からの注意」

[7] 15:40~16:10 根元多佳子（JAIST）「WKL と二進小数展開」

[8] 16:20~16:50 藤原誠（早稲田大学）「算術における弱い二重否定シフト原理について」

18:00~. 懇親会

9日（月）

[9] 9:30~10:00 薄葉季路（早稲田大学）「局所的と大局的:パラコンパクトを題材に」

（キャンセル）[10] 10:10~10:40 沖坂祥平（東北大学）「Game tree におけるeigen-distribution の特徴付け」

[11] 10:10~10:40 熊本真一郎（神戸大学）「偏微分方程式の弱解のIsing モデルへの応用」

[12] 10:50~11:20 阿部敏一（茨城大学）「ジャイロ群に基づく線形空間の一般化」

第４回 山陰 基礎論・解析学 研究集会（２０１７年）