【人事】大阪取引所(2020年6月17日)