【人事】大阪証券取引所(2013年7月15日)