さて、Pascalが手続き型と関数型のどちらに分類されるかの議論を再開しようか。