計算モデルとプログラミング (2019)

[ksnt]

たまたま本屋で目に入ってパラパラとページを捲ってみたら久々にグッときた。計算モデル論の比較的本格的な入門書だとおもうけどなんとそれを実際のプログラミングと結びつけている(チューリングマシンシミュレータとかレジスタマシンシミュレータとか！) 井田先生や高橋先生の本では学べなかったことがたくさん学べそう。これは新しいのでは。読むのが楽しみ。