トランザクティブ市場におけるプロシューマの共同スケジューリングと電力取引のためのフレームワーク | Synapse