岩波講座 ソフトウェア科学 (13)

佐藤雅彦 桜井貴文

• 岩波書店 (1991年9月1日発売)

作品紹介・あらすじ

プログラムの理論とはプログラムの意味や仕様を正確に述べるための理論の総称である。本書ではまず基本的な対象である式を定義し、計算の手順と数学的推論の形式化について詳しい解説を与える。さらにこの形式化とプログラムの正当性との関係を統一的に扱える論理体系を導入し、具体的なプログラムの検証や意味論への応用を見事に展開する。

感想・レビュー・書評

[kaizenさんの感想 · 2011年6月25日]

いきなり対象記号、メタ記号がわかりませんでした。
何のためにそうしているのか、何をしたいのかの説明がありません。
ある理論の閉じた世界の中で、その世界の人しかわからない言語世界で表現するか、
あるいは外の世界の人に説明をしたいのか、本書は前者かもしれません。
対象記号とメタ記号の説明は、このレビューを書くために、２度読み直したらわかりました。
しかし、すぐ次で、BNF記法と木構造で、「通常使われる方法である」と述べているが、何故、通常使われるのかの説明がなく、次ぎにここで止まりました。
論理を丁寧に辿るのがいいか、論理を辿るのは演習として自分でやって、質問するのがよいかは、手引き書として使うのか、教科書として使うのかの違いでしょうか。

著者プロフィール

訳者：佐藤雅彦（さとう　まさひこ）
1957 年札幌生まれ。筑波大学で心理学・教育学・「心身障害学」その他の人間諸科学を学び、地方新聞記者や雑誌編集者を経て現在は翻訳家・ジャーナリスト。関心分野は科学社会学・生命工学・政治学・政治史・情報論など。
主な訳書は『メディア仕掛けの選挙』（1988）、『代理母：ベビーM 事件の教訓』（199 3）、『メディ仕掛けの政治』（199 6）、『比較「優生学」史』（199 8）、『突発出現ウイルス』（1999 ）、『米国の「経営者」がしでかしたとんでもないヘマ101 連発』（1999 ）、『エイズ患者のための栄養療法』（1999 ）、『遺伝子万能神話をぶっとばせ』（2000）、『オカルト探偵ニッケル氏の不思議事件簿』（2001）、『チーズはだれが切った?：激変を生き抜くための悪のおとぎ話』（2001）、『マグショット：ハリウッド犯罪調書』（2002）、『シークレット・パワー：国際盗聴網エシェロンとUKUSA 同盟の闇』（2003）、『チョムスキー・フォー・ビギナーズ』（2004）、『尿療法バイブル：あなた自身がつくりだす究極の良薬』（2004）、『ハリー・ポッターの呪い：児童文学を襲うグローバリズムの脅威』（2006）、『女の平和』（2009）、『ヴァイブレーターの文化史』（2010）、『ソロ- の市民的不服従: 悪しき「市民政府」に抵抗せよ』（2011）、『黄金の泉：尿療法大全』（2015）、『自由国家インド実現のためのガンディー憲法案』（2022）など。
著書は『現代医学の大逆説』（2000）、『もうひとつの反戦読本』（2004）、『徹底暴露!! イラク侵略のホンネと嘘：もうひとつの反戦読本2』（2004）、『もうひとつの広告批評 1（消費者をナメるなよ！編））』（2010）、『もうひとつの広告批評 2（選挙民をナメるなよ！編））』（2010）、『爆発危険！テロ米国「トモダチ」安保：もうひとつの反戦読本3』（2011）、『まだ、まにあう！原発公害・放射能地獄のニッポンで生きのびる知恵』（2011）、『ロックはこうして殺された』（2012）、『もうひとつの憲法読本：新たな自由民権のために』（2014）、『現代語訳 幸徳秋水の基督抹殺論』（2018）など多数。

「2026年 『インフルエンザ 人類とスペイン風邪との闘いの百年史』 で使われていた紹介文から引用しています。」