プログラミング言語の数学

IPSJ Web Site

Bibliographic Information

Other Title
  • いまさら聞けない! コンピュータの数学：1. プログラミング言語の数学
  • プログラミング ゲンゴ ノ スウガク
  • Not Too Late to Learn! Mathematics for Computer Science：1. Mathematics of Programming Languages

Search this article

Abstract

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

Journal

  • 情報処理

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

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

Keywords

Details 詳細情報について

Report a problem

Back to top