5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

自由と規律、結局何が言いたかったんだ?

1 :無名草子さん:2006/03/32(土) 18:07:57
とりあえず決めようぜ
久しぶりに本見て思った。

2 :無名草子さん:2006/03/32(土) 18:09:48
M. Barr & C. Wells, _Toposes, Triples and Theories_, Springer, 1983.
http://www.cwru.edu/artsci/math/wells/pub/ttt.html

M. Fitting, _Numbers_, unpublished.
ttp://comet.lehman.cuny.edu/fitting/bookspapers/pdf/unpubbooks/NumbersBook.pdf

M. Fitting, _Notes on Incompleteness and Undecidability_, unpublished.
ttp://comet.lehman.cuny.edu/fitting/bookspapers/pdf/unpubbooks/Incomp.pdf

J.-Y. Girard, et al., _Proofs and Types_, Cambridge U.P., 1989.
(f)tp://iml.univ-mrs.fr/pub/lafont/prot.pdf

V. Halbach, _Einfuhrung in die Logik_, published online.
ttp://www.uni-konstanz.de/halbach/lehre/skripte/logik.pdf

S. Hayashi & H. Nakano, _PX: A Computational Logic_, MIT Press, 1988.
ttp://www.shayashi.jp/PXbook.html

B. Nordstr\"{o}m, et al., _Programming in Martin-L\"{o}f's Type Theory_, Oxford U.P., 1990.
ttp://www.cs.chalmers.se/Cs/Research/Logic/book/

とりあえずこのあたりを起点に話を進めて行きましょう。

3 :無名草子さん:2006/03/32(土) 18:14:24
そういや今頃は読書感想文を書かされる時期じゃないか?

4 :無名草子さん:2006/03/32(土) 18:22:35
さて、スレを立てた者です。
ちょっと自己紹介をしておくと、
大学専任。専門スラヴ語関連、非言語学。これまでに15語ヶ国語以上は
学んできました。修士時代、高津氏の著書数冊を好きで読んで、比較言語学に
興味をかきたてられました。現在は現代ギリシア語に興味をもっております。
この時点で、知っている人には本人特定されそうなのですが、
知己はこれほどマイナースレに来ないと願っております。
もう「研究す・・・」のスレでは、語学関連の議論は行いません。ここで、
よろしくお願いいたします。自身も、このスレを「お気に入り」最上段に
しておきました。たしかに、発言をしたら、すべてsageでいきましょう。
1日に1回は必ず訪れるはずですので、活発な議論を期待しております。


5 :今西光 ◆6ewi402t16 :2006/03/32(土) 18:41:11
オレ自身、イギリスで教育を受けてるが、あの頃の教育はもう過日のものでね。
Leys Schoolはとっくに共学になってるし、寄宿もあるが、通いにもなってるんじゃないかな。
何が言いたい、ってあれは単に著者のイギリス教育体験記って以外、何かあるのかい?

3 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)