--- // カレンダーで選んだ日に開催される予定の会場を地図に表示する。 // 会場名から緯度・経度を引くため、公共施設のデータと、イベント会場の追加データを使う。 // 地図の描画ライブラリ(Leaflet)は重いので、地図が画面に近づくまで読み込まない。 ---