他人が再現できるコードや証明を書くための技術を解説。Leanなどの形式言語を用いた証明コードを例に、単にコードを通すだけでなく、確認可能な環境や観測結果を残す「再現性」の重要性と、そのためのコミュニケーション術を伝えます。