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

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

2019-12-22から1日間の記事一覧

分離論理入門のようなもの

この記事は https://adventar.org/calendars/4015 の12/21 の記事です. わたしは分離論理について書きました. 日本語で読める分離論理についてのある程度まとまった文書をわたしは知らないので,需要があるのではないかと思って書きました. 今回は「一階…