-正規二部分割の算術密度と合同 | Synapse