http://leiterreports.typepad.com/blog/2005/06/95_theses_on_th.html

(via Online Papers in Pholosophy) 17p. http://web.ics.purdue.edu/%7Ecpincock/math%20questions%20b.pdf

(via Lambda the Ultimate のコメント欄) 2p. というか 2 枚。 http://www.cs.columbia.edu/~hgs/netbib/efficientReading.pdf

(via Lambda the Ultimate) http://weblogs.java.net/blog/arnold/archive/2005/06/generics_consid_1.html

http://www.cs.utah.edu/~jbaker/maya/

17p. http://www.cs.nott.ac.uk/~cvh/stepCounting/stepCounting.pdf

43p. というか 43 枚。スライドです。 http://www.cs.toronto.edu/~sme/presentations/cat101.pdf

300p. ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf

133p. http://folli.loria.fr/cds/1999/library/pdf/barrwells.pdf

61p. http://www.dcs.ed.ac.uk/home/dt/CT/categories.pdf

20p. http://www-cse.ucsd.edu/users/goguen/ps/manif.ps.gz

118p. http://www.cs.ut.ee/~varmo/papers/thesis.pdf http://www.cs.ut.ee/~varmo/

182p. http://www.cs.utah.edu/plt/publications/pllc.pdf

(via lemonodor) 音にあわせてぐりぐり動く 3D 画像を scheme スクリプトで制御できるみたいです。 http://www.pawfal.org/Software/fluxus/

R5RSの Formal Semantics にある Semantic functions と Auxiliary functions を scheme 自身で実装したもの。半自動生成らしいです。 http://www.appsolutions.com/SchemeDS/

あまり溜め込むと更新するのが面倒くさくなるというかそもそも何が気に懸かってメモを取っておいたのか忘れてしまってもいるわけだが考えてみれば何が気に懸かったのか忘れないためにここにこうして気に懸かった事柄を記録することにしたのだからこれからは…