mandosさんのページ 復刊リクエスト投票 証明論と計算量 【著者】竹内外史 計算量について学び直したいので。(2010/09/14) プログラム意味論 (情報数学講座) 【著者】横内 寛文 意味論分野についてのわかりやすい解説書を読みたいと考えている。 共立出版の情報数学講座は基礎理論を主軸においているので基本的に流行廃りはないため、 全巻が常に入手可能であってほしいとおもう。(2010/06/12)
復刊リクエスト投票
証明論と計算量
【著者】竹内外史
プログラム意味論 (情報数学講座)
【著者】横内 寛文
共立出版の情報数学講座は基礎理論を主軸においているので基本的に流行廃りはないため、
全巻が常に入手可能であってほしいとおもう。(2010/06/12)