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

コンピュータソフトウェア

Print ISSN : 0289-6540

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

木下佳樹

著者情報

ジャーナルフリー

2012 年 29 巻 1 号 p. 1_30-1_46

DOI https://doi.org/10.11309/jssst.29.1_30

詳細

抄録

ごく基本的な数学的リテラシーだけを前提として，集合の帰納的定義，函数の再帰的定義を説明する数学的構造を，会話形式で説明する．

著者関連情報

© 日本ソフトウェア科学会 2012

お気に入り & アラート

関連記事

閲覧履歴

Top