優しい代数の有界導出カテゴリの制限モデル | Synapse