■

• Moto-o Takahashi　　“Simple Type Theory of Gentzen Style with the Inference of Extensionality,”　in: Proceedings of the Japan Academy, vol.44 , no.2, 1968
• Moto-o Takahashi　　“A Proof of Cut-Elimination Theorem in Simple Type-Theory,”　in: Journal of the Mathematical Society of Japan, vol.19 , no.4, 1967
• 高田明典　　『難解な本を読む技術』、光文社新書、光文社、2009年
• 逸名作家　　『西洋中世奇譚集成　東方の驚異』、池上俊一訳、講談社学術文庫、講談社、2009年
• 牧野紀之　　『辞書で読むドイツ語　増補新版』、未知谷、2009年

3本目は、いわゆる「思想書」と呼ばれる難しい本を読む方法について、解説されています。具体的には、ノートを取りながら理解しつつ読んでいくやり方が紹介されています。実際に高田先生のノートの実例や、先生の学生さん達のノートの実例が写真で示されています。主に「フランス現代思想」の本を読む方法が解説されており、私自身はその種の本を読むことはまずないので、すぐさま直接に役に立つことはないかもしれませんが、哲学の本は読むことがよくあるので、参考になるかもしれないと思い、購入させていただきました。
4本目は、某先生の研究内容と関係があり、先生の研究をよく知りたくて購入致しました。この本には3つの話が収められているのですが、そのうちの1つ、「アレクサンドロス大王からアリストテレス宛の手紙」だけでも読めればと思っております。

PS

Contraction と Induction, そして Comprehension との関係を、極々簡単にメモしておく。
何だか心身ともにくたびれていて、詳しく書けない。
とりあえず、key word だけ並べて、後日漠然とながら思い出せるように hint として書き付けておく。
体調が戻ればきちんと書き下したいと思うのだが…。

おやすみなさい。