2005-08-01から1日間の記事一覧

C Language Book Material

C

1616p.C の仕様書に大量のコメントを付けたものみたいです。 http://www.knosof.co.uk/cbook/cbook.html

Hungarian Notation

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

Objective Bayesian Nets

17p. http://personal.lse.ac.uk/willia11/2005/obnets.pdf

Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages

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 …

Linear Logic Handouts

168p. http://www-2.cs.cmu.edu/~fp/courses/linear/handouts/linear.pdf

An Overview of Linear Logic Programming

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…

Linear Values

http://www.matthewmorgan.net/blog/archives/2005/07/15/linear-values

Termite: a Lisp for Distributed Computing

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 をやっていて気がついたら月が変わってました。とりあえず脱出した。