>>69 >>71
配列の範囲外アクセスについての事前検証はさすがにやってませんよ．特別な
場合を除いてこれをやるのは非常に難しいでしょうね．

MLはもともと検証（支援）系を作るためにできた言語なので，MLで作られた
検証（支援）系はたくさんあります．プログラム検証にも使われていますよ．