なんか煮詰まったので息抜きに ここの問題 をひとつ解いてみる．しりとり： 1. 文字列のリストの要素全てを使ってしりとりが完結するかを判定 2. 最長のしりとりを出力とりあえずいけるところまでしりとりさせる． OCaml でやろうかと思ったけどバックトラッ…

OCaml-Nagoyaな友達の id:yoshihiro503 さんがはてダで 定理証明系Coqを使った証明をゴリゴリ書き始めたもよう。 未来日記で。