19/03/11 23:15:40.94 NUGiaq8/.net
>>181 追加
>（圏論（トポス）と高階論理）
こんなのもヒットしたね（＾＾
URLﾘﾝｸ(www.amazon.co.jp)
圏論による論理学―高階論理とトポス 単行本 ? 2007/12/1 清水 義夫
出版社: 東京大学出版会
20世紀後半、数学、計算機科学、論理学などの分野で採用されてきている圏論。関数概念を基本として現象をとらえようというこの方法を、関数型高階論理とトポスを題材にして丁寧に解説する。論理学の観点を中心に、圏論の考え方を紹介するテキスト。
著者略歴 (「BOOK著者紹介情報」より)
清水/義夫
1939年東京に生まれる。1963年東京大学文学部哲学科卒業。1967年東京大学大学院人文科学研究科博士課程退学。現在、千葉工