100年前の日付を付けてなんだかんだ書いている（例えば、http://d.hatena.ne.jp/m-hiyama-memo/19100110）。コゥゼンの集合制約（set constraints）を参考にしているが、types as sets の立場の型理論なので、type constraintsといったほうが実情にあってい…