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

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

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

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

この記事は https://adventar.org/calendars/4015 の12/21 の記事です。 わたしは分離論理について今回書きました。12/21現在書きかけです。年内には書き上げます。 日本語で読める分離論理についてのある程度まとまった文書をわたしは知らないので、需要が…