時間的ダイナミクスフレームワーク:マスターフォーミュラリファレンス | Synapse