石垣 港マクスウェルの関係式導出ルネシティモデル