MGTPの実装問題はLISPとPrologに堕ちる | りったんブログ