一軸二値化三体問題 "方舟 (講談社文庫 ゆ 10..." 2025年12月30日