「依存型とΣ-Δ-Π随伴、そしてカン拡張」の冒頭にて： 「依存積型」と「依存和型」に関しては、もうサンザンだよー、あったく...[snip]...ふんとに「依存ナントカ型」って紛らわしいよねぇ。それで、「依存ナントカ型」と言うのはやめます。...[snip]...今後…