【>>330】
>>333
1=0.9dotでも1≠0.9dotでも良い事が
>>278-281によって示されている。