iso.2022.jp

About

Contents

Mathematics

決定不能問題から始める計算可能性理論入門

都数12月総会
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

Gödelの不完全性定理

都数TS2016
2016/11/13, 16 pages PDF

TeX講習会資料

都数TeX講習会2016
2016/08/29, 47 pages PDF

Others

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