14/10/01 20:28:28.86 0+f79Okt.net
>>407
まじで。英語だからちゃんと読んでないけど>>360のwikiにsqrtの例で
SQRT(x:nat)r:real
post r*r = x
とかいうのがあったからこりゃ単体じゃ実行できないなと思ったんだけど。
早計だったか。
14/10/01 20:28:28.86 0+f79Okt.net
>>407
まじで。英語だからちゃんと読んでないけど>>360のwikiにsqrtの例で
SQRT(x:nat)r:real
post r*r = x
とかいうのがあったからこりゃ単体じゃ実行できないなと思ったんだけど。
早計だったか。