グラフ状態のベル不等式 | Synapse