【人事】日本取引所グループ(2018年7月1日)