【パンサー尾形】笑わない数学【NHK総合】

[0285 １３２人目の素数さん 2022/08/21(日) 18:20:41.46 ID:s8DivgOS]

>>265
自動証明って
コンピュータで扱えるところだけじゃ無いの？