>>387-388
命題論理を言い換えただけ