iso.2022.jp

About

Contents

Mathematics

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

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

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

タイプ入門

第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

TeX講習会資料

2016/08/29, 47 pages PDF

Others

iso.2022.jpではGoogle Analyticsを使用しています.
info@iso.2022.jp