結合完了命題代数について | Synapse