参照透過性
式
の構成要素がすべて同じなら、式の
値
は常に同じになるということ。