一階述語論理まで研究が終わった。CMSとDBMSが必要だ。
何か練習問題でも出してくれ。