意味がわかれば数学の風景が見えてくる [単行本]

詭弁論理学 改版 (中公新書) [新書]

高等学校の基礎解析(ちくま学芸文庫) [文庫]

人はなぜ、同じ間違いをくり返すのか―数学者が教える「間違い」を生かすヒント(知と学びのシリーズ) [単行本]

高等学校の確率・統計(ちくま学芸文庫) [文庫]

高等学校の微分・積分(ちくま学芸文庫) [文庫]

ゲーデル、エッシャー、バッハ―あるいは不思議の環 20周年記念版 [単行本]

赤いぼうし（美しい数学 5） [絵本]

算数・数学つまずき事典 [単行本]

離散数学「数え上げ理論」―「おみやげの配り方」から「Nクイーン問題」まで(ブルーバックス) [新書]

数学文化 25 [単行本]

「P≠NP」問題―現代数学の超難問(ブルーバックス) [新書]

数学まなびはじめ〈第3集〉 [単行本]

数学文化 24 [単行本]

数学文化 21 [単行本]

数学的センス(ちくま学芸文庫) [文庫]

GUIライブラリの仕組み―ソフトウェア設計のケーススタディ(情報科学こんせぷつ〈10〉) [全集叢書]

オートマトン言語理論 計算論〈2〉 第2版 (Information & Computing〈4〉) [全集叢書]

オートマトン言語理論 計算論〈1〉 第2版 (Information & Computing〈3〉) [全集叢書]

不完全性定理―数学的体系のあゆみ(ちくま学芸文庫) [文庫]

コンパイラの仕組み(情報科学こんせぷつ〈8〉) [全集叢書]

はじまりの数学(ちくまプリマー新書) [新書]

なっとくする群・環・体(なっとくシリーズ) [全集叢書]

詭弁論理学（中公新書 448） [新書]

逆説論理学（中公新書 593） [新書]

アルゴリズムの設計と解析 1（サイエンスライブラリ情報電算機 35） [全集叢書]

微分積分読本(すうがくぶっくす〈15〉) [全集叢書]

算数・数学24の真珠 [単行本]

いまを生きるための教室―死を想え(角川文庫) [文庫]

数学で未来を予測する―ギャンブルから経済まで(PHPサイエンス・ワールド新書) [新書]

πの話(岩波現代文庫) [文庫]

解ける問題 解けない問題 [単行本]

人生に必要な数学50(知ってる?シリーズ) [単行本]

人間・社会・コンピュータの情報処理原論 [単行本]

哲学事典―AからZの定義集(ちくま学芸文庫) [文庫]

家庭の算数・数学百科 [単行本]

石頭コンピューター [単行本]

図形・空間の意味がわかる―数学の風景が見える [単行本]

情報数学入門（サイエンステキストライブラリ） [全集叢書]

数値確率解析入門(すうがくぶっくす) [全集叢書]

微分・積分の意味がわかる―数学の風景が見える [単行本]

アルゴリズムとプログラミング技法(新情報ライブラリ〈2〉) [全集叢書]

確率微分方程式―入門前夜(すうがくぶっくす〈18〉) [全集叢書]

パターン情報処理の基礎(情報科学こんせぷつ〈9〉) [全集叢書]

フーリエ解析の展望(すうがくぶっくす〈17〉) [全集叢書]

数え上げ数学(すうがくぶっくす〈14〉) [全集叢書]

Computing辞典 [事典辞典]

のびのびBASIC(すぐに使える高校数学の授業集) [単行本]