- 619 名前：１３２人目の素数さん mailto:sage [2012/09/02(日) 16:31:33.89 ]
- >>616
実数、実数値関数、実数値関数の関数などのsortを持つ言語にそのやり方を適用しちゃうと
「関数である」とか複雑であるべき式が原始論理式になってしまうよ？
しかも高階の量化（関数量化）も低階の量化（実数量化）も区別せずに数えてΣnを定義するわけ？
もちろんそう定義するのは自由だけど、断りなしに「Σ2」とか言われて想像できるような
標準的な言語でないことは確かだよね。
それともまた別人だと主張するのかな？
