式の”意味”と式の”表記”と式の”値”
１つの式の”表記”に対して１つの式の”意味”しか認めないのが固定派
１つの式の”表記”に対して複数の式の”意味”を認めるのが非固定派
と考えると分かりやすいかな