以前，次のような記事を書いた． sokrates7chaos.hatenablog.comこのブログのアクセス先の１割を占める程度には人気があるらしい*1．だが，書いてから時間が立ちすぎてしまい，また，その間にもさまざまな新しい本が出てきたこともあり，少し手直しをしたい…

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

だいぶ前にTwitterで「人生で一度は証明を追いたい定理」とかいう話題が盛り上がっていた. もとツイートを探そうかお思ったんだが, 見つからなかった(←探し方が悪い)ので誰が言い始めたのかはわからないのだが, 「なるほど, 確かにそういう定理・命題・補題…

[注意]さまざま考えた結果この記事をリバイバルすることにした．下の記事に移行中である．移した部分は徐々に消していっている．（2020/08/05 追記） この記事に元々書いてあった分の移行を完了したので，本文は全て消した*1．下のリバイバルした記事を読ん…