2005-08-01から1日間の記事一覧
1616p.C の仕様書に大量のコメントを付けたものみたいです。 http://www.knosof.co.uk/cbook/cbook.html
http://www.radiumsoftware.com/0507.html#050704 http://www.radiumsoftware.com/0507.html#050705 http://www.radiumsoftware.com/0507.html#050706 http://www.radiumsoftware.com/0507.html#050707
xyzzy 上で動く brain fuck だそうです。 http://mug-g.halfmoon.jp/log/eid147.html
17p. http://personal.lse.ac.uk/willia11/2005/obnets.pdf
6p. Introduction When Programmers Say “I Need Dynamic/Static Typing”, They Really Mean I want type inference I want contracts I want (coercive) subtyping I want Generics I want (unsafe) covariance I want ad-hoc relationships and prototype …
168p. http://www-2.cs.cmu.edu/~fp/courses/linear/handouts/linear.pdf
33p.Linear Logic in Computer Science の第一章として書かれたものだそうです。 An Overview of Linear Logic Programming Introduction Goal-directed proof search Uniform proofs Logic programming in classical and intuitionistic logics Higher-orde…
http://www.matthewmorgan.net/blog/archives/2005/07/15/linear-values
10p. INTRODUCTION THE TERMITE PROGRAMMING MODEL Isolated sequential processes Sending and receiving messages Failure PERIPHERAL ASPECTS Serialization Explicit mutation Exception handling Connecting nodes Remote procedure calls Process migr…
Dungeon Crawl をやっていて気がついたら月が変わってました。とりあえず脱出した。