まーたゼレンスキーが X に F5 アタックしてんのか（ちがいます）

「悪魔の証明」とは「証明できないことの証明を要求」であって「ないことの証明」のことじゃないでしょ。
「解が存在しないことを証明せよ」
なんて設問、たくさんあるじゃないですか。
それらはべつに悪魔の証明じゃない。

＞ 120年謎の難問パズル解明　「悪魔の証明」に日米の数学者が挑んだ：朝日新聞 — https://www.asahi.com/articles/AST372SHPT37PLBJ007M.html

「"デュードニー の 正三角形" "悪魔の証明"」で検索してもヒットしない。「悪魔の証明」と呼んだのは誰だろう？　難問と言うだけで数学者がそのように呼ぶとも思えないのだけど。

オチは支援者限定でやや時事ネタなので、電子書籍化を待つより支援者になった方がよござんすよ。

CONT-ACT　#083｜桝田道也｜pixivFANBOX https://mitimasu.fanbox.cc/posts/9519570

日没前の小一時間で福山城をサクッと見た話を自ブログに上げました。

思ってたより残ってた 備後国 福山城（広島県福山市） | ブログ桝席 — http://blog.masuseki.com/?p=20771