Goで作るモデル検査
p27: RはK上の2項関係→W上の2項関係