Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次1-新
43(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:44 ID:KYsCHIBD(7/17) AAS
>>38 補足
>外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
>Boolean valued higher order logics
>池上大祐 東京電機大学 平成27年11月28日
外部ﾘﾝｸ[html]:www.mathsoc.jp
数学基礎論若手の会
2015年 筑波大学館山研修所 竹内耕太
外部ﾘﾝｸ[html]:www.math.tsukuba.ac.jp
数学基礎論若手の会2015
日時：2015年11月27日(金)午後-29日(日)午前
講演資料（一部）
池上大祐(東京電機大学) Boolean valued higher order logics.
(追伸
石井大海(筑波大学) Lebesgue 可測性に関する Solovay の定理と実数の集合の正則性.外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp )
外部ﾘﾝｸ:researchmap.jp
竹内 耕太
タケウチ コウタ (Kota TAKEUCHI)
基本情報
所属筑波大学 数理物質系 助教
学位
博士（数学）(2012年3月 筑波大学)
上下前次1-新書関写板覧索設栞歴
あと 852 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s