岩波講座 ソフトウェア科学(13) プログラムの基礎理論

佐藤雅彦, 桜井貴文【著】

• 販売会社／発売会社: 岩波書店/
• 発売年月日: 1991/09/01
• JAN: 9784000103534

商品レビュー

2011/06/25

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