12/09/19 00:55:37.35
予想することもかなりすごいことがそれが"正しそう"っていうのはプログラミングで確かめれる
ただ"正しい"と断定(証明)するのはプログラミングでは無理でちゃんと筋道たてて例外がないことを証明しないといけない
格上とかの話でもないが予想した奴が証明できなかったのを望月が証明したんだからあけていうなら望月の方が格上
12/09/19 00:55:37.35
予想することもかなりすごいことがそれが"正しそう"っていうのはプログラミングで確かめれる
ただ"正しい"と断定(証明)するのはプログラミングでは無理でちゃんと筋道たてて例外がないことを証明しないといけない
格上とかの話でもないが予想した奴が証明できなかったのを望月が証明したんだからあけていうなら望月の方が格上