@山さんのページ 復刊リクエスト投票 プログラミング言語の基礎理論 【著者】大堀淳 内容に興味があります。(2013/10/07) 構造化プログラミング 【著者】E.W.ダイクストラ 復刊されたら絶対に買うのでお願いします。(2013/10/07) 数学基礎論講義 不完全性定理とその発展 【著者】田中 一之, 鹿島 亮, 角田 法也, 菊池 誠, 東大出版会の出したゲーデル関連本を読んで、久々に数学基礎論に興味を持ちました。本書が言及しているという、その後の発展を呼んでみたい。(2006/10/01) 岩波講座 ソフトウェア科学 (全17巻) 【著者】(編集委員)長尾真 前川守 川合慧 所真理雄 米澤明憲 (著者) 所真理雄 川合慧 石畑清 武市正人 佐々政孝 前川守 後藤滋樹 津田孝夫 中嶋正之 萩谷昌己 井田哲雄 佐藤雅彦 桜井貴文 長尾真 佐藤理史 安西祐一郎 米澤明憲 柴山悦哉/著 学生時代に読んだ本がもう品切れになってしまっているのですね。良質な本が多かったと思いますので、復刊を希望いたします。(2004/11/27) 数理情報学入門:スコット・プログラム理論 【著者】中島玲二 たまには理論的な方面の本を読んでみたいと思ってみたり・・・(2004/10/30) もっと見る
復刊リクエスト投票
プログラミング言語の基礎理論
【著者】大堀淳
構造化プログラミング
【著者】E.W.ダイクストラ
数学基礎論講義 不完全性定理とその発展
【著者】田中 一之, 鹿島 亮, 角田 法也, 菊池 誠,
岩波講座 ソフトウェア科学 (全17巻)
【著者】(編集委員)長尾真 前川守 川合慧 所真理雄 米澤明憲 (著者) 所真理雄 川合慧 石畑清 武市正人 佐々政孝 前川守 後藤滋樹 津田孝夫 中嶋正之 萩谷昌己 井田哲雄 佐藤雅彦 桜井貴文 長尾真 佐藤理史 安西祐一郎 米澤明憲 柴山悦哉/著
数理情報学入門:スコット・プログラム理論
【著者】中島玲二
もっと見る