ある入力の組に対してある出力の組が確定するとする
副作用の説明として、ある入力の組に対して複数の出力の組の場合があり、そういう現象を起こすのがIOや破壊的代入とある
IOや破壊的代入を入力の組の一部と考えてはいけない理由を述べればこの場合十分だろうと思う