フリーワード検索


タグ検索

注目キーワード
業種
目的・課題
専門家
国・地域

NRI トップ 刊行物 金融ITフォーカス 金融ITフォーカス一覧 プログラムの再帰的意味論

金融ITフォーカス 2019年10月号 数理の窓

プログラムの再帰的意味論

2019/10/05

  • Facebook
  • Twitter
  • LinkedIn

プログラム文字列の実行結果やその過程について、数学的構造で表すことを「プログラム意味論」と呼ぶ。実行前に、その結果の収まる範囲を予測したり、与えられた2つのプログラムが本質的に同じものかを判定するなど、プログラムの性質や効率性の検証を目的としている。

PDFファイルでは全文お読みいただけます。

全文ダウンロード(872KB)

執筆者情報

外園 康智

※組織名、職名は現在と異なる場合があります。

  • Facebook
  • Twitter
  • LinkedIn

お問い合わせ先

『金融ITフォーカス』編集事務局
 E-mail:focus@nri.co.jp