nishiohirokazu https://blog.hatena.ne.jp/nishiohirokazu/ 西尾泰和のはてなダイアリー https://nishiohirokazu.hatenadiary.org/ 監訳者のささださんから「アンダースタンディング コンピュテーション―単純な機械から不可能なプログラムまで」を頂いたので紹介。「プログラムの『意味』とは何か？」という抽象的な問いに真っ向から挑む本。プログラムの「意味」には、「それによって計算機がどう操作されるか」で表現する方法と、「それを別の（もっとシンプルな）言語に変換するとしたらどうなるか」で表現する手法とがある。本書ではこの２つの手法があることを解説し、それぞれの手法について深堀りしていく。「計算機がどう操作されるか」路線では、もちろん次に「『計算機』って何だ？」という問いに挑む必要性が出てくる。まずは能力の劣った計算機である「決定性有限… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnishiohirokazu.hatenadiary.org%2Fentry%2F20140918%2F1410970520" title="書評：アンダースタンディングコンピュテーション - 西尾泰和のはてなダイアリー" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-09-18 01:15:20 rich https://nishiohirokazu.hatenadiary.org/entry/20140918/1410970520 1.0 100%