文献

J-GLOBAL ID：201202225091919302   整理番号：12A0616871

『ソフトウェアサイエンスの基本』シリーズ第2回 帰納と再帰 -表示的意味論の第一歩-

Basics of Software Science 2: Induction and Recursion-A First Step to Denotational Semantics

著者 (1件)： 木下佳樹 (産業技術総合研究所情報技術研究部門)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 29  号： 1  ページ： 1.30-1.46 (J-STAGE)  発行年： 2012年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ごく基本的な数学的リテラシーだけを前提として,集合の帰納的定義,函数の再帰的定義を説明する数学的構造を,会話形式で説明する.(著者抄録)

シソーラス用語： *ソフトウェア工学 ,  *帰納推論 ,  *アルゴリズム ,  *意味論
準シソーラス用語： *再帰アルゴリズム

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： ソフトウェア ,  サイエンス ,  帰納 ,  表示的意味論