Contents
Mathematics
決定不能問題ギャラリー (Gallery of Undecidable Problems)
2018/01/01 (最終更新日: 2019/01/02)
数学のセミナーの板書における省略記法一覧
2017/04/27
数学的概念に標準的に使われがちな文字の由来一覧
2020/02/09
PDFs
自由群とNielsen-Schreierの定理 —組合せ群論への入門—
第2回すうがく徒のつどい@オンライン
2021/09/18, 38 pages Slide PDF
Muller-Schuppの定理: 群・形式言語・グラフ
2021/05/01, 152 pages (最終更新日: 2022/06/05) PDF NEW!
有限生成無限単純群の構成
すうがく徒のつどい@オンライン
2021/03/21, 30 pages Slide PDF
無限害優先論法
2020/03/08, 11 pages PDF
非単項超フィルターがBaireの性質を持たないこと
BPIオフ
2019/12/21, 3 pages PDF
Cantor空間におけるBanach-Mazurゲーム
Mathematical Logic Advent Calendar 2019
2019/12/12, 6 pages PDF
Friedberg-Muchnikの定理と有限害優先論法
第12回関西すうがく徒のつどい
2019/10/27, 60 pages Slide PDF
直観主義論理入門
2019/07/15, 13 pages PDF
小数展開の一意性と空間の連結性
2019/07/09, 11 pages PDF
独立命題かどうかが独立な命題について
2019/05/24, 4 pages PDF (初版はこちら)
2018年の決定不能問題ギャラリーを振り返る
第3回関東すうがく徒のつどい
2019/03/30, 123 pages Slide PDF
CoalgebraとしてのKripkeフレーム
Category Theory Advent Calendar 2018
2018/10/30, 7 pages PDF
有限オートマトンとPresburger算術
第11回関西すうがく徒のつどい
2018/10/28, 125 pages Slide PDF
決定不能問題から始める計算可能性理論入門
2017/12/10, 15 pages PDF
タイプ入門
第3回 Model Theory Seminar
2017/10/15, 18 pages Slide PDF
決定不能問題の話
第10回関西すうがく徒のつどい
2017/09/16, 54 pages Slide PDF
量化記号消去(QE)の判定法
続・Model Theory Seminar
2017/07/01, 15 pages Slide PDF
アティマク(Atiyah-MacDonald)演習問題解答 (2章問題23まで)
2017/06/18, 12 pages (最終更新日: 2019/02/18) PDF
Gödelの不完全性定理
2016/11/13, 16 pages PDF
Cantorの対関数の全単射性の証明
2016/11/12, 2 pages PDF
TeX講習会資料
2016/08/29, 47 pages PDF
Others
数学リンク集
2018/06/12
ボード線図・ベクトル軌跡描画ツール
2013/12/--