19/09/17 07:12:55.22 potPwQHR.net
0.999...:N→Q を 0.999...(n):=1-(1/10)^n で定義する。
パラメータの表記を省略して 0.999... と書くこととする。
頑なに定義を示さない安達くんに代わって彼の 0.999... を定義してあげました。
19/09/17 07:12:55.22 potPwQHR.net
0.999...:N→Q を 0.999...(n):=1-(1/10)^n で定義する。
パラメータの表記を省略して 0.999... と書くこととする。
頑なに定義を示さない安達くんに代わって彼の 0.999... を定義してあげました。