[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
181(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/11(月)23:08 ID:NUGiaq8/(8/12) AAS
>>180
つづき
（圏論（トポス）と高階論理）
外部ﾘﾝｸ:staff.fnwi.uva.nl
PhD candidate at Institute for Logic, Language and Computation, University of Amsterdam.
トポスと高階論理 Taichi Uemura 2018年12月9日
この文書は Category Theory Advent Calendar 2018 (外部ﾘﾝｸ:adventar.org *) の 9 日目の記事です。
省21
182(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/11(月)23:15 ID:NUGiaq8/(9/12) AAS
>>181 追加
>（圏論（トポス）と高階論理）
こんなのもヒットしたね（＾＾
外部ﾘﾝｸ:www.amazon.co.jp
圏論による論理学―高階論理とトポス 単行本 ? 2007/12/1 清水 義夫
出版社: 東京大学出版会
20世紀後半、数学、計算機科学、論理学などの分野で採用されてきている圏論。関数概念を基本として現象をとらえようというこの方法を、関数型高階論理とトポスを題材にして丁寧に解説する。論理学の観点を中心に、圏論の考え方を紹介するテキスト。
省28
640: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/21(木)18:26 ID:L2G86nzK(23/37) AAS
>>181 補足
外部ﾘﾝｸ[pdf]:staff.fnwi.uva.nl
トポスと高階論理 UvA/FNWI staff Taichi Uemura 2018年12月9日
(抜粋)
6 おわりに
トポスの内部言語を導入し、トポスのいくつかの性質を内部言語を使って証明した。しかし、これはトポ
スと高階論理のほんの一側面でしかない。いくつか関連する項目を挙げるが、詳しいことは [MLM92, LS86,
省20
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s