著書 楽しい読み物、役にたつ読み物です

著書

証明論入門 竹内外史・八杉満利子 共立出版

LKのカット除去証明、自然数論の無矛盾性、2階論理の無矛盾性、ゲーデルの解釈、有限の立場

情報系数学入門 林晋・八杉満利子 オーム社

集合・写像・関係・いろいろな帰納法・計算の仕組み・命題論理・述語論理入門
計算機科学に必要な知識への導入。記法と例題に主点をおいている。

論理パズルとパズルの論理 八杉満利子・林晋  遊星社

楽しい論理パズルを解きながら、命題論理を自然に学ぶ。
論理に弱い日本人から脱却しよう。若い読者に期待している。

* 集合論のパラドックス・うそつきパラドックス 八杉満利子著

(パラドックス! 林晋編著 2−25日本評論社

いろいろなパラドックスを大勢の著者たちが面白く書いている。

集合論のパラドックスは天使の作る究極の箱のパラドックス、うそつきパラドックスはうそつきジェー氏のパラドックス。

 

論文集

極限再帰関数についての考察
不連続関数の極限計算可能性─意義と問題点
八杉満利子 科学基礎論研究 掲載予定

*体系からの脱出:証明論による解析, 八杉&小田、科学基礎論研究 (2001) vol.28, No.2,33-38

CSKレポート

自然演繹の体系NDK

数学教育学会98

現実的微積分法(科学基礎論研究掲載)

解析学におけるアルゴリズム-Pour-El理論と BSS理論(電気学会研究会97)

関数空間と計算可能性(実解析シンポジウム・ 香川大学98)

Classical and Constructive
Propositional Subsystems of NDK(計算機科学研究所所報)中田・實藤・八杉

*解析学における計算可能性構造(「数学」1998年)八杉・鷲原

大学数学基礎教育情報研究班98年度活動報告

一般記事




*無限 連続 計算 (数理科学 特集 無限と連続)

修士論文

中田修論
實藤修論

卒業論文

布施田論文

LISPによる命題論理とWangのアルゴリズム (95年度特研)

形式的仕様記述言語Zについて(99年度特研究)


../
/
Last modified: Fri Jul 17 14:15:04 JST 2009