2009-11-04から1日間の記事一覧
本日翻訳したCurryチュートリアルより: 3.5.4 非決定論的関数 関数はさらに非決定論的にも書けます。非決定論的「関数」は、数学での関数とは意味が違ってきます。なぜなら複数の違う値を、同じ入力に対して返すことがあるからです。たとえば病院の案内シス…
本日翻訳したCurryチュートリアルより: 3.5.4 非決定論的関数 関数はさらに非決定論的にも書けます。非決定論的「関数」は、数学での関数とは意味が違ってきます。なぜなら複数の違う値を、同じ入力に対して返すことがあるからです。たとえば病院の案内シス…