パソコン インターネット書籍

私が本書を手に取ったのは、shellだけでは処理が難しいテキスト処理をおこなう上で、何か良いスクリプトはないだろうかと探していた時期(もう大昔)でした。
awkと本書をほぼ同時に知り、一気に読んだことを覚えています。

今でもちょこっとしたスクリプトを書くときは、まずawkで書いてしまいます。

また、本書を人に貸していたときに、紛失してしまいましたが、本屋を探して再度購入しました。

perlやrubyなどもっと使えるスクリプト言語も出ていますが、sedとならび基本となるawkを知る上でも本書を読んで得るものが多いと思います。
お勧めです。
AWK 作者、御三方自身による著書。
これはAWK 言語作者である御三方が著述した著書である。
”AWK で何ができるか”を簡単な議題を使い、一章で説明し、
二章で機能のすべてを説明し終えている。
三章以降は議題の種類によって章を分けて説明し、終わりの章では
”アルゴリズムの実験”までやってしまっている。
AWK をどう”利用するか”が主な議題で機能の説明が皆無に近く、

扱っている議題も難しいものになっている。
この本を読む前にAWK 知識の蓄えがあった方が良い。
全体を通して著書の構成がスマートかつシステマティックで、さすがその道の
人達だけあるなぁと関心した。
”エピローグ”は著述した当時、マシンや処理に時間がかかり時間短縮のため

定理などについては丁寧な証明が付いているし、参考文献も豊富で、学生や初学者には役に立つと思われる。
ラムダ計算について知っている読者にとっては前半は不要で、後半の内容をより充実させて欲しいところであるが、ラムダ計算と意味論の全体を概観したい人にとってはなかなかいい本であると思った。
中級向けの参考書
ラムダ計算の意味論を、CCC (カルテシアン閉カテゴリ) を用いて定義するという内容の本。
前半は簡単にラムダ計算について触れた後、操作的意味論、型システムなどについて説明したあと、後半の cpo と不動点定理、カテゴリについての説明に入っていく。最後はカテゴリカル・コンビネータ理論との関連について触れている。