OCaml で AtCoder のコンテストに出始めて約1年が経ちました。 知見が溜まってきたのでまとめておきます。
AtCoderでKokaを使うときのTips
2023年8月に行なわれた言語アップデートにより AtCoder で Koka が使えるようになりました。 この記事では Koka を使って問題を解くときに役に立ちそうな情報を書いていきます。
ångstromCTF 2023 Write-Up
色々な人がCTF初心者におすすめと紹介していて気になっていたångstromCTF 2023に参加しました。
Diff Adjacent (AtCoder Beginner Contest 297 Ex)
Diff Adjacent (AtCoder Beginner Contest 297 Ex)の解法を説明します。 同じ解法の解説はすでにありますが、この記事では立式パートを詳しめに書いています。
木が再帰的に定義されているときの重心分解
もうちょっと詳しく: 木を
type 'a tree = T of 'a * 'a tree listの形で表現すると、その重心分解が結構綺麗に書けます。