iso.2022.jp

About

Contents

Mathematics

PDFs

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章問題19まで)

2017/06/18, 12 pages (最終更新日: 2018/08/30) 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