2009-02-22から1日間の記事一覧
上記入手文献中、一番最初に上げた本 Ross Brady Universal Logic, CSLI Publications, Center for the Study of Language and Information Lecture Notes, no. 109, 2006 を検討するいみについて、少し記しておく。 この本は title からは何の本なのか、と…
ここ数日で入手した文献の名を掲げる。順不同。 Ross Brady Universal Logic, CSLI Publications, Center for the Study of Language and Information Lecture Notes, no. 109, 2006 Morten Heine Sorensen and Pawel Urzyczyn Lectures on the Curry-Howard…
プロフィールの後半部分を書き変えました。