2007-08-18から1日間の記事一覧
正格性解析とはいったいなんだろうか。そもそも正格性とはなにか。ふと気になったんだけど、ちょっと探してみた限りでは日本語では定義がみつからない。きっと教科書に載ってるような基本事項で、知ってて当たり前のことなんだろう。関数型言語の教科書とか…
正格性解析とはいったいなんだろうか。そもそも正格性とはなにか。ふと気になったんだけど、ちょっと探してみた限りでは日本語では定義がみつからない。きっと教科書に載ってるような基本事項で、知ってて当たり前のことなんだろう。関数型言語の教科書とか…