一般相対性理論
（ただし formula_2 は量子化された一般相対性理論における全ハミルトニアン拘束条件）というものである。