CSLI Lectrue Notes

1980年代後半から, 特に状況意味論やLiner Logicなどを中心に面白い成果を出していたスタンフォードのCSLI (Center for the Study of Language and Information) のLecture Notes (の一部) が, 電子化 (PDF) されて配布されているのですね.

Medieval and Modern Thought Text Digitization Project

CSLIのLecture Notes自体は今も出ていて既に200冊にもなっていますが, 初期の Peter Aczel, Jon Barwise, Keith Devlin などのLecture Notesはここから手に入ります.

素晴らしい.

シゴフミ

ようやく時間ができてシゴフミ視了. なるほど少女漫画のパロディでもあるわけですね. そして, 海沿いの地方都市, 小田原高校, 学校屋上での昼飯など, お決まりのモチーフも盛り込まれている. 監督の独壇場. この重さ/暗さも欠かせないテイストではある.

でもやっぱりちょっと辛いかもなぁ.