鷹村 アオイ コスプレルネシティモデルマクスウェルの関係式導出