前回 は、主に自分で考えた素朴なアルゴリズムを実装・証明しましょうというスタンスの回でした。 今回は（今後は？）既存の実装をなぞる形で勉強していきます。 紹介 実装 資料 ツール おわび 本題 考察 手順 おまけ 所感 おわり 紹介 実装 LLVM のものを参…