WEKO3
アイテム
いまさら聞けない! コンピュータの数学：1. プログラミング言語の数学
https://ipsj.ixsq.nii.ac.jp/records/141627
https://ipsj.ixsq.nii.ac.jp/records/14162731b2002b-668c-4e7b-9173-c1b29493c769
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN560504 (632.0 kB)
|
Copyright (c) 2015 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-04-15 | |||||||
| タイトル | ||||||||
| タイトル | いまさら聞けない! コンピュータの数学：1. プログラミング言語の数学 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Not Too Late to Learn! Mathematics for Computer Science：1. Mathematics of Programming Languages | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 小特集 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| 著者所属 | ||||||||
| 東北大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tohoku Univ. | ||||||||
| 著者名 |
住井, 英二郎
× 住井, 英二郎
|
|||||||
| 著者名(英) |
SUMII, Eijiro
× SUMII, Eijiro
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | いわゆる「形式手法」によるソフトウェア検証の基本となる「プログラミング言語理論」の特に基本的な部分を，中学～大学1年程度の数学のみを用いて，できるだけ平易に（ただし実質的詳細にも踏み込んで）紹介する． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 56, 号 5, p. 434-437, 発行日 2015-04-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
