競技プログラミングでは、提出したプログラムが誤答（WA）だった場合に「どのような入力について」答えを間違えたのか（参加者には）分からないことが多いです。
こういう場合はエスパーするなり眼力でソースコードをぐっと睨んだりするとバグが発見できる場合もありますが、初心者にはそういうのは難しいでしょう。
この記事では、HaskellのQuickCheckというライブラリーを使って、「ランダムにテストケースを生成して素朴な解と一致するか」を自動で検証させます。QuickCheckはテストに失敗した場合に「どういう入力例に対して失敗したか」も教えてくれるので、デバッグにも役立ちます。
この記事は筆者が先日YouTubeに上げた動画を文章で書き直したものです。動画で触れられなかった・触れるのを忘れていた補足説明みたいなものも若干含んでいます。この記事と動画、両方見ていただけると嬉しいです。
続きを読む
Haskellはリストを操作する関数を多数提供しています。map, filter, foldあたりが代表的で、これらは他の言語でもおなじみかと思います。
一方で、scan系関数（scanl, scanr）は他の言語ではあまり見かけない気がします。同じ関数型言語のSMLやOCamlにも標準では入っていないようです。
この記事では、scan系関数がどういう場合に利用できるかを紹介します。
続きを読む7月7日のAtCoder Beginner Contest 133で青色になりました。青色というのは上位7%に相当するらしいです。
「水色に上がった」記事からまだ1ヶ月ちょっとしか経っていないので、新しいHaskellネタも「青色に上がるためにこれを勉強した」みたいなネタもないのですが、適当に自分語りでもしてお茶を濁そうと思います。
続きを読む3月下旬からAtCoderのRatedコンテストに参加しています（AtCoderプロフィール）。この度、5月26日のABC128でようやく水色になりました（AtCoder社長の記事によると、これは上位15%に相当するらしいです）。
使用言語はHaskellです。コンテストの時間中に提出したコードは全てHaskellだったと思います。
この記事では、Haskellを使う理由や、Haskellで競技プログラミングをするコツ、AtCoderでHaskellを使う際のアレコレなどを書いていきます。「水色になるための方法」みたいな話はしません（できません）。
続きを読むD問題を時間内に解けなかった＆考えていた方法が想定解と違っていたので供養する。
続きを読むこの間、フィボナッチ数を計算する記事を書いていたら、@fetburner氏にこういう問題を教えて頂いた：