モーダル粒子をコミットメントと主張へのマルチレイヤーアプローチのテストケースとして | Synapse