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