>  2018/08/31 (金) 00:06:37        [misao]
> > 数学の証明も最近はコンピュータの力技らしいね
> > 数学も終わりだ(;´Д`)
> 力技のかけ方というか(;´Д`)力技まで持って行けたら褒めても良いんじゃない?

総当たりをいかに早く実行するかって点じゃビットコインのマイニング機みたいなもんだよな(;´Д`)

参考:2018/08/31(金)00時06分05秒