まあ基礎論に[IUTchIV],§3.の解説をつけている。
2003年からで他に書いたかもね。