Sokratesさんの備忘録ないし雑記帳

思考の流し台. 駄文注意.

分離論理入門のようなもの(未完成)

この記事は

https://adventar.org/calendars/4015

の12/21 の記事です。

 

わたしは分離論理について今回書きました。12/21現在書きかけです。年内には書き上げます。

日本語で読める分離論理についてのある程度まとまった文書をわたしは知らないので、需要があるのではないかと思って書きました。

今回は「一階述語論理は知っているけど、分離論理ってなんや」と思っている方を想定読者として書いています。お楽しみいただくか、参考になれば幸いです。

 

www.dropbox.com