September 2014
Intermediate to advanced
336 pages
7h 53m
Japanese
Content preview from アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
O’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.I wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.I’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.I'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
54
2
章 プログラムの意味
Standards/R5RS/HTML/r5rs-Z-H-10.html#%25_sec_7.2）を使ってコア言語を記述していました。
また、XSLTドキュメント変換言語はPhilip WadlerのXSLTパターン（http://homepages.inf.ed.ac.
uk/wadler/topics/xml.html#xsl-semantics）とXPath 式（http://homepages.inf.ed.ac.uk/wadler/
topics/xml.html#xpath-semantics）の表示的定義をもとに開発されました。
表示的意味論を使って正規表現の意味論を記述する例については、「3.3.2 意味論」を参照してくだ
さい。
2.5
実際の形式意味論
この章では、コンピュータプログラムに意味を与えるという問題に対する取り組みについて、いくつ
か説明してきました。いずれも数学的な詳細に立ち入らずに、Rubyを使うことでその意図を垣間見よ
うとしました。しかしながら、形式意味論には通常、数学のツールを使います。
2.5.1
形式
これまで見てきた形式意味論は、特に形式的ではありませんでした。数学的表記に気をとられるこ
となく、Rubyをメタ言語に使うことによって、プログラムを理解する方法よりもプログラムを実行す
る方法に注目してきたためです。正しい表示的意味論では、SIMPLEの
«while»
ループをRubyの
while
ループを使って表現するといった「逃げ」 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access
More than 5,000 organizations count on O’Reilly
O’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.Julian F.
I wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.Addison B.
I’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.Amir M.
I'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.