■

• Michael Sipser　　『計算理論の基礎　[原著第2版]　1．オートマトンと言語』、太田和夫、田中圭介監訳、阿部正幸、植田広樹、藤岡淳、渡辺治訳、共立出版、2008年

新刊。全3巻中の第1巻目。2, 3巻は多分来月、再来月に順次購入すると思う。