ダイクの経路から生じるブラウワー構成代数 | Synapse