iso.2022.jp

About

Contents

Mathematics

タイプ入門

第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

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