そういやなんかゲーデル・エッシャー・バッハを思い出す名前だよな。