研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2012/01
形態種別	学術雑誌
査読	査読あり
標題	帰納と再帰ー表示的意味論の第一歩
執筆形態	単著
掲載誌名	『コンピュータソフトウェア』（岩波書店）
巻・号・頁	29(1),30-46頁
概要	ごく基本的な数学的リテラシーだけを前提として、集合の帰納的定義、関数の再帰的定義を説明する数学的構造を、会話形式で説明する。