一軸二値化三体問題 "おいしいごはんが食べられます..." 2025年4月30日