ギブス自由エネルギー最小化による反応帯形成のフォーワ ードモデル