韓国の憲法には、「外国との条約を守る義務が裁判官を含む公務員にある」とは
書かれてないのかな。