タナカ, ケイスケ
Tanaka, Keisuke
計算理論の基礎. 1 / Michael Sipser 著 ; 太田和夫, 田中圭介 監訳 ; 阿部正幸, 植田広樹, 藤岡淳, 渡辺治 訳