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.
2.4
表示的意味論
53
幸運なことに、ここにはそれほど大きな飛躍は必要ありません。数学的議論を少しやることで、
2
種類
のループが原理上等価であることを示せます。そして、メタ言語が末尾呼び出し最適化をサポートし
ている場合には、実際に等価になります。
«while»
の表示的意味論は、
Ruby
によって書き直す方法、すなわち
Ruby
の
while
を使って書き
直すことを示しています。これはかなり直接的な変換です。
Ruby
は反復ループをネイティブにサポー
トしており、表示規則はその機能を使って
«while»
が実装できることを示しています。
2
種類のルー
プが互いにどう関係しているのか理解するのに、飛躍は必要ありません。したがって、
Ruby
の
while
ループがどのように動くかを理解していれば、
SIMPLE
の
«while»
ループも理解しているこ
とになります。もちろん、これは
SIMPLE
を理解するという問題を、表示言語を理解するという問題
に変換しただけであることを意味しています。表示言語が
Ruby
と同じくらい大きくて、きちんと仕様
化されていない場合は深刻な欠点になりますが、表示を書くための小さな数学的言語がある場合に
は、これは利点になります。
2.4.3
応用
これですべて完了しましたが、表示的意味論は何を実現しているのでしょうか。主たる目的は、
SIMPLEをRubyに変換する方法を示すことです。ここでは、さまざまな構成要素が意味するものを
説明するためのツールとして、Rubyを使いました。これは期せずして、
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.