いまさら聞けない! コンピュータの数学:1. プログラミング言語の数学 Not Too Late to Learn! Mathematics for Computer Science:1. Mathematics of Programming Languages

この論文にアクセスする

この論文をさがす

著者

抄録

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

収録刊行物

  • 情報処理

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

    一般社団法人情報処理学会

キーワード

各種コード

  • NII論文ID(NAID)
    110009890377
  • NII書誌ID(NCID)
    AN00116625
  • 本文言語コード
    JPN
  • 資料種別
    Departmental Bulletin Paper
  • ISSN
    0447-8053
  • NDL 記事登録ID
    026365506
  • NDL 請求記号
    Z14-352
  • データ提供元
    NDL  NII-ELS  IPSJ 
ページトップへ