JSONファイルの出力形について