2009-10-25から1日間の記事一覧

2009-10-25

今日のCoq: Inversion of the typing relation補題

Coq

前回までで作った型付け規則を元に、Types and Programming Languages (The MIT Press)に載っている「Inversion of the typing relation補題」の証明にチャレンジしました。Inversion of the typing relation補題は Lemma LambdaRel : forall (x : string) (…

2009-10-25

ScalaでSEND+MORE=MONEY

Scala 30分プログラム

30分プログラム、その682。ScalaでSEND+MORE=MONEYを解いてみました。 Scalaのforはモナドらしいです。モナドと言えばリストモナド、リストモナドと言えばSEND+MORE=MONEYです。というわけで、SEND+MORE=MONEYを解いてみました。使い方 $ fsc SendMoreMone…