組合的Nullstellensatzの動機付けられた解説 | Synapse