プログラム意味論（プログラムいみろん、）とは、計算機科学（特に理論計算機科学と分類されることもある）の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。
形式的意味論.
派生.
プログラム意味論からの派生として以下のようなものがある:
意味論間の関係.
場合によっては、異なる意味論間の関係を説明する必要が生じる。例えば:
複数の意味論の関連付けは、抽象解釈理論による抽象によって行うことが可能な場合もある。
分野.
プログラム意味論の分野には、以下のようなものが含まれる:
コンピュータ科学の中で密接に関連する分野として、プログラミング言語、型理論、コンパイラやインタプリタ等のプログラミング言語処理系、形式的検証、モデル検査などがある。
プログラミング言語の形式意味論
「因果応報」をテーマにした、江戸時代初期を舞台に繰り広げられる壮大な復讐劇である。会津騒動に題材をとっている。前半は鎌倉東慶寺と江戸、後半は会津藩若松城が舞台となっている。
基本的には原作通りのストーリーだが、細部に変更点がみられる。いくつかのシーンにおいて、堀一族の女七人の役割の入れ替えが行われており、対戦カードや討ち取った相手などが変更されている。原作では会津雪地獄には美少年と美女が囚われているとされていたが、本作においては美女のみである。
主な登場人物.
堀一族の女七人.
自分たちの手だけで七本槍を討つと誓っている。皆が武家の子女であるが、特に武術に秀でている訳ではない。会津藩内で噂にのぼったほどの美女揃い。当初はのほほんとした態度の十兵衛に不信感を抱いていたが、その実力と人柄を知るにつれて彼を慕うようになっていく。
会津加藤家.
芦名衆.
会津七本槍.