2022-09-01から1ヶ月間の記事一覧
↓これの続きです。 cut-elimination.hatenablog.com 今回は安定関数が出てくるはずです。 用語の整理 いろいろ用語、記法が出てきている。 用語・記法:整合空間 の要素を の点(point)という。 のクリークを整合部分集合(coherence subset)とも言う。点とは…
安倍晋三が銃撃された際の映像を見ると、明らかに警備がミスっている。その原因は色々考えられるだろうが、まあ日本では銃を使った襲撃は珍しいのできちんと想定されていなかったのだろう。そんな中、5ちゃんねるで以下のような証言がよく拡散されていた。 …
↓これの続きっちゃあ続きである。 cut-elimination.hatenablog.com "Proofs and Types"を読んでいくシリーズだったが、第7章のSystem Tの導入をちょっと飛ばして第8章の整合空間(coherence space)を詳細に読みたいのよ。 整合空間から線形論理を解説している…