安倍晋三が銃撃された際の映像を見ると、明らかに警備がミスっている。その原因は色々考えられるだろうが、まあ日本では銃を使った襲撃は珍しいのできちんと想定されていなかったのだろう。そんな中、5ちゃんねるで以下のような証言がよく拡散されていた。 …

↓これの続きっちゃあ続きである。 cut-elimination.hatenablog.com "Proofs and Types"を読んでいくシリーズだったが、第7章のSystem Tの導入をちょっと飛ばして第8章の整合空間(coherence space)を詳細に読みたいのよ。 整合空間から線形論理を解説している…