β正規形
mrsekut-p
-
/mrsekut-p/β正規形