復刊リクエスト投票

• おとなの工作読本１

  【著者】谷川俊太郎他

  ラジオブーム、BCLブームに再び火がふつふつとついている今、再版すべだと思います。(2007/11/18)

• BCL実践ハンドブック

  【著者】日本BCL連盟

  昔、所有していましたが無くなってしまい。是非、もう一度手にしたいと思います。(2007/08/25)

• 数理情報学入門：スコット・プログラム理論

  【著者】中島玲二

  Denotational Sematics について日本語で書かれた唯一の本。是非、復刊して下さい。(2006/09/21)

• 数学基礎論：撰出公理及び一般連続仮説の集合論公理との無矛盾性

  【著者】K・ゲーデル著／近藤洋逸訳

  いわゆるBG集合論について書かれた貴重が文献。是非、復刊して下さい。(2006/09/18)

• 束論と量子論理

  【著者】前田周一郎

  量子論理の概説本は日本語の本でも他にありますが本当に厳密な数学を展開している日
  本語の本は唯一、この本だけです。モジュラー束について解説している日本語の本も少
  なく（知る限りモジュラー束については現代数学概説 I に小さな記載があるのみ）大変
  学術的に重要な本です。近年、量子コンピュータの研究が進み、この本は是非復刊して
  欲しいです。(2006/09/03)

• 層・圏・トポス：現代的集合像を求めて

  【著者】竹内外史

  トポスによって多種の直観主義集合（例えば、ファジー集合、Martin-Lof Type
  theory) などの解釈ができるがそのことを解説した数少ない本。従って、絶対復刊して
  欲しい。(2006/08/22)

• 証明論入門 〔数学基礎論 改題〕

  【著者】竹内外史・八杉満利子

  Genten のオリジナルな証明とは別の竹内流の証明だがとても見通しのよい証明がされ
  ていると評判。この分野の第一人者の著書だけに絶対に復刊して欲しい。(2006/08/22)

• 現代数理論理学入門

  【著者】J.N.クロスリー ほか 著 ／ 田中尚夫 訳

  Genten からモデル理論にまだ広く解説され、また、この分野では有名な研究者の著書
  であり今でも十分に有用な理論と手法が書かれている。(2006/08/22)