Standard_ML実装