著者
木下 佳樹
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.29, no.1, pp.1_30-1_46, 2012-01-26 (Released:2012-03-26)

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

言及状況

外部データベース (DOI)

収集済み URL リスト