12/01/06 08:50:41.10
>非正規世界(non-normal world)って名称ではないけど。
>あるシステムLを正規なまま拡張したシステム全体のクラスがNExt(L)で、
>記述されている。
あのう、非正規世界というのは、正規でない体系(S2, S3など)を扱う為に導入したから
名称も非正規世界ということになったわけでして。
12/01/06 08:50:41.10
>非正規世界(non-normal world)って名称ではないけど。
>あるシステムLを正規なまま拡張したシステム全体のクラスがNExt(L)で、
>記述されている。
あのう、非正規世界というのは、正規でない体系(S2, S3など)を扱う為に導入したから
名称も非正規世界ということになったわけでして。