|
数学基礎論若手の会2014プログラム |
2014/11/25 |
12時更新 |
|
11月19日（水） |
|
|
|
|
|
13:00 |
開場・受付 |
|
|
|
|
14:00-14:10 |
開会・事務連絡 |
|
|
| 1 |
14:10-15:00 |
岡部峻典 |
(岡山大学) |
Properties of Simplicity |
|
| 2 |
15:10-16:00 |
上村太一 |
(京都大学) |
Univalent foundations |
|
| 3 |
16:10-17:00 |
滝坂透 |
(京都大学) |
Comparing notions of randomness |
|
|
17:00 |
受付・部屋割り |
|
|
|
17:30 |
夕食 |
|
|
|
|
20:00-22:00 |
懇親会 |
|
|
|
|
|
|
|
|
|
|
11月20日（木） |
|
|
|
|
|
7:30 |
朝食 |
|
|
|
| 4 |
9:00-9:50 |
竹内耕太 |
(筑波大学) |
Model theory, graph theory, and
computational learning theory |
|
| 5 |
10:00-10:50 |
柳川信 |
(筑波大学) |
差分体のモデル理論 |
|
| 6 |
11:00-11:50 |
石井大海 |
(筑波大学) |
Lebesgue可測性に関するSolovay-Shelahの結果に必要な記述集合論のごく基本的な事項 |
|
|
12:00 |
昼食 |
|
|
|
| 7 |
13:00-13:50 |
伊藤成孝 |
（北陸先端科学技術大学院大学） |
A relationship between classical
and intuitionistic linear logic |
|
| 8 |
14:00-14:50 |
齊藤信臣 |
(東京工業大学) |
lambda-mu-calculus における推移律の除去 |
|
| 9 |
15:00-15:50 |
中村誠希 |
（東京工業大学） |
Intersectionつき動的論理の計算量について |
|
| 10 |
16:00-16:50 |
堀畑佳宏 |
（米子工業高等専門学校） |
文字列の結合に関する理論と本質的決定不能性 |
|
|
17:30 |
夕食 |
|
|
|
|
20:00-22:00 |
懇親会 |
|
|
|
|
|
|
|
|
|
|
11月21日（金） |
|
|
|
|
| 11 |
9:00-9:50 |
吉田聡 |
(鳥取環境大学) |
構成的解析学におけるSobolev空間の構成 |
|
| 12 |
10:00-10:50 |
松田直祐 |
（東京工業大学） |
不自然な証明図を作る方法 |
|
| 13 |
11:00-11:50 |
佐藤雅大 |
（名古屋大学） |
Set theoretical model of the type
theory |
|
|
11:50 |
閉会 |
|
|
|
|
|
|
|
|
|
|
参加者リスト |
（五十音順、敬称略） |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
堀畑佳宏 |
米子工業高等専門学校教養教育科 |
|
|
|
松田直祐 |
東京工業大学情報理工学研究科 |
|
|
|
岩田荘平 |
名古屋大学情報科学研究科 |
|
|
|
中島由貴 |
鳥取環境大学情報システム学科 |
|
|
|
竹内耕太 |
筑波大学 |
|
|
|
|
内藤丈博 |
筑波大学 |
|
|
|
|
荒武永史 |
京都大学理学部 |
|
|
|
石井大海 |
筑波大学数理物質科学研究科 数学専攻 |
|
|
|
伊藤成孝 |
北陸先端科学技術大学院大学 |
|
|
|
岩本直也 |
鳥取環境大学情報システム学科 |
|
|
|
上村太一 |
京都大学数理解析研究所 |
|
|
|
岡田智史 |
鳥取環境大学情報システム学科 |
|
|
|
岡部峻典 |
岡山大学自然科学研究科数理物理学専攻 |
|
|
|
小俣安彦 |
東北大学 |
|
|
|
|
桂木亨 |
静岡大学理学研究科 |
|
|
|
齊藤信臣 |
東京工業大学情報理工学研究科 数理・計算機科学専攻 |
|
|
佐藤雅大 |
名古屋大学大学院多元数理科学研究科 |
|
|
|
鈴木大地 |
静岡大学理学研究科 |
|
|
|
大司雄大 |
大阪市立大学理学部数学科 |
|
|
|
滝坂透 |
京都大学理学研究科数学・数理解析専攻 |
|
|
|
田尻翔平 |
神戸大学システム情報学研究科 |
|
|
|
中村誠希 |
東京工業大学情報理工学研究科 |
|
|
|
平田彩奈 |
北陸先端科学技術大学院大学 |
|
|
|
森田雅好 |
鳥取環境大学情報システム学科 |
|
|
|
矢崎大志 |
静岡大学理学研究科 |
|
|
|
柳川信 |
筑波大学 |
|
|
|
|
吉田聡 |
鳥取環境大学人間形成教育センター |
|
|
|
|
|
|
|
|