06/11/09 21:27:02
>>233-234
そりゃまあ>>232は
f(x) ＝(xの小数点以下を切り捨てた数)
を
f(数字列x) ＝(数字列xの小数点以下を切り捨てた数)
と読んでるんだからある意味当然だわな。
xが実数のつもりならまず十進展開の仕方（形式的には
関数g : R→{数字列}）を決めねばならんし。
それでやっとお望みの
fg : R→{数字列}→Z
が定義できるんだからな。
06/11/09 21:27:02
>>233-234
そりゃまあ>>232は
f(x) ＝(xの小数点以下を切り捨てた数)
を
f(数字列x) ＝(数字列xの小数点以下を切り捨てた数)
と読んでるんだからある意味当然だわな。
xが実数のつもりならまず十進展開の仕方（形式的には
関数g : R→{数字列}）を決めねばならんし。
それでやっとお望みの
fg : R→{数字列}→Z
が定義できるんだからな。