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

• 住井, 英二郎

Bibliographic Information

Other Title

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

Abstract

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

Journal

• 情報処理

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

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

Keywords

• 小特集

Details

• CRID: 1050564287859194240
• NII Article ID: 110009890377
• NII Book ID: AN00116625
• ISSN: 04478053
• NDL BIB ID: 026365506
• Web Site: http://id.nii.ac.jp/1001/00141596/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I026365506
• Text Lang: ja
• Article Type: departmental bulletin paper
• Data Source:
  • IRDB
  • NDL
  • CiNii Articles