香川県丸亀市初代市長。