プログラム意味論の分かりやすい紹介 - Ryusei’s Notes (a.k.a. M59のブログ)巷に膾炙しているプログラム意味論の説明は、正直言って何を言っているのか、部外者にはよく分からないように感じられる。プログラムの意味を論じる「プログラム意味論」の意味がよくわからないというのは本末転倒だろう。ここでは、プログラム意味論を分かりやすく紹介したい。 プログラムの意味 プログラム意味論とは、プログラムの意味に関する理論だ。 そもそも「意味」とはなんだろうか。「意味」の意味を知るために、デジタル大辞泉で調べてみよう。 １ 言葉が示す内容。また、言葉がある物事を示すこと。「単語の―を調べる」「愛を―するギリシャ語」 ２ ある表現・行為によって示され、あるいはそこに含み隠されている内容。また、表現・行為がある内容を示すこと。「慰労の―で一席設ける」「―ありげな行動」「沈黙は賛成を―する」 ３ 価値。重要性。「―のある集会」「全員が参加しなければ―がない」 いみ【意味】の意味 - goo国
