0473132人目の素数さん2018/05/27(日) 22:06:03.50ID:odZjrrI1 https://nforum.ncatlab.org/discussion/8505/initial-data/