いまさら聞けない! コンピュータの数学：1. プログラミング言語の数学

情報処理学会 Web Site

書誌事項

タイトル別名
  • プログラミング言語の数学
  • プログラミング ゲンゴ ノ スウガク
  • Not Too Late to Learn! Mathematics for Computer Science：1. Mathematics of Programming Languages

この論文をさがす

抄録

いわゆる「形式手法」によるソフトウェア検証の基本となる「プログラミング言語理論」の特に基本的な部分を，中学～大学1年程度の数学のみを用いて，できるだけ平易に（ただし実質的詳細にも踏み込んで）紹介する．

収録刊行物

  • 情報処理

    情報処理 56 (5), 434-437, 2015-04-15

    東京 : 情報処理学会 ; 1960-

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ