eurms@apionet.or.jp (M_SHIRAISHI) wrote in message news:<800c7853.0402042245.e895f14@posting.google.com>...
>
> ＲＬの記号法と術語を使って定式化すると、次のようになります：−
> 
> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> 
> 双条件命題(biconditional)：〔[fy(0,0)=0]&[fxx(0,0)=0]⇒/x/fxxy(0,0)=0〕
> ⇔/f/〔Ю{f(x,y)}〕 が成立するような Ю{f(x,y)} を求めよ．
> 
> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> 
> そして、その答は、恐らく、 Ю{f(x,y)}：f(x,y)}＝Ａ(x,y)*(x^m)*(y^n) 
> --- 但し、Ａ(x,y) は x について二回偏微分可能でかつ y について一回偏微分
> 可能な任意の函数であり、m, n は それぞれ m≧3, n≧2 であるような任意の
> 実数である。（尚、記号*は乗法を表わす。）--- ではないかと予想するのですが、


or rather,

「Ａ(x,y)を、x について二回偏微分可能でかつ・・・・な任意の函数としてじゃ
なくて、*適当な函数として* f(x,y)}＝Ａ(x,y)*(x^m)*(y^n)と書けること
（但し、m, n は それぞれ m≧3, n≧2 であるような任意の実数）」かな。