magi1125 "まったくゼロからの論理学" 2025年12月31日