れん "ペンローズの幾何学　対称性か..." 2025年4月14日