15 0 0 0 OA 『ソフトウェアサイエンスの基本』シリーズ第2回 帰納と再帰 —表示的意味論の第一歩—
- 著者
- 木下 佳樹
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.29, no.1, pp.1_30-1_46, 2012-01-26 (Released:2012-03-26)
ごく基本的な数学的リテラシーだけを前提として,集合の帰納的定義,函数の再帰的定義を説明する数学的構造を,会話形式で説明する.
1 0 0 0 OA 抽象解釈にみられる圏論的構成について
- 著者
- 西澤 弘毅 木下 佳樹
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- 日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第20回記念大会 (ISSN:13493515)
- 巻号頁・発行日
- pp.51, 2003 (Released:2003-12-17)
Cousot らによる抽象解釈の理論において暗黙的に用いられている圏論的な構成をいくつか明示し,より広い応用のための基礎を与えることを試みる.