λx. x K S K @はてな

このブログ内に記載された文章およびコードの著作権は,すべて Keisuke Nakano に帰属します.

2009-10-01から1ヶ月間の記事一覧

間違い探し

クイズ (?) です. 以下のOCamlで定義されている関数は 「数値を表す文字列を受け取って次の数値を表す文字列を返す」関数です.let string_succ str = try string_of_int (succ (int_of_string str)) with Failure "int_of_string" -> invalid_arg "string_…

Parsing Expression Grammar

以前どこかで「 という規則が 個の を受理する」というような記述を見かけた気がして, 確認してみたのですがなかなかうまくいきません. 偶数個の を受理してしまうという勘違いはなくなったのですが,どう確認しても 個 (つまり,0, 2, 6, ... ) の しか受…