>>725
二項関係とかグロタンディーク構成からやり直せ