この記事は https://adventar.org/calendars/4015 の12/21 の記事です. わたしは分離論理について書きました. 日本語で読める分離論理についてのある程度まとまった文書をわたしは知らないので,需要があるのではないかと思って書きました. 今回は「一階述語論理は知っているけど,分離論理ってなんや」と思っている方を想定読者として書いています。お楽しみいただくか、参考になれば幸いです. こちらのリンクから文書はダウンロードできます. https://sokratesnil.github.io/pdfs/SL.pdf