0178承認済み名無しさん垢版 | 大砲2018/01/11(木) 04:57:34.42ID:LtRoyqSd >>171 codius はまだあるの? ethereumは バグつぶし、に時間がかかっているわけではない。 バグ潰しをする格調高い言語あるいは証明器を創り上げるのに時間がかかっている。そして数学者はリップルに関心を持たないことは明らか。