ツリー表示・フィルター・履歴対応の高速JSONフォーマッター