11/09/03 22:46:46.55
>>561
>>531の
＞α = β∪γ(全てのx, yに対して、その(x, y)に依存して f(y)^2＝2*f(x)－1を満たす関数fが存在すると考える場合)
であり、
＞「fはx,yに依存して決まり、本当はf_{x,y}のように書かれる」
というふうに解釈していた。
11/09/03 22:46:46.55
>>561
>>531の
＞α = β∪γ(全てのx, yに対して、その(x, y)に依存して f(y)^2＝2*f(x)－1を満たす関数fが存在すると考える場合)
であり、
＞「fはx,yに依存して決まり、本当はf_{x,y}のように書かれる」
というふうに解釈していた。