2008-08-06 図書館行ってきた 本 日記 大学の図書館でプログラミング言語の基礎理論 (情報数学講座)とプログラム意味論 (情報数学講座)を借りてきました。 これ二冊で3万5000円だと思うと、ちょっとビクビクしてしまう。 しかも夏休みだから、返すのは10月だぜい。