こちらの復習編。そして最終回。 フィクションとは何か―ごっこ遊びと芸術― 作者:ケンダル・ウォルトン 名古屋大学出版会 Amazon 作品の奥に存在するキャラクター 最近は学園パロディを公式でやることが多いので二次創作と言いにくくなっている。しかも原作者…

こちらの復習編を簡単に。 であるが、 に添字がいるのかどうか、議論になった。 のケースを見ると機能していそうな感じはある。 除去則のオルタナティブの正当化の後半で 除去則を使えばもっと簡単だった。 型理論 (レクチャーノート／ソフトウェア学 １) 近…