復刊リクエスト投票

• ウィトゲンシュタイン論理哲学論考の研究　全2巻

  【著者】末木剛博

  読んでみたいです。(2006/03/03)

• 数理論理学 語の問題

  【著者】竹内 外史

  この本の存在は知りませんでしたが、語の問題という題が気にかかるので読みたいです。
  竹内外史氏の本なので内容も気にかかります。
  
  個人的見解ですが、語の定義は重要だと考えられるからです。我々が日常使い言語は、言語GAMEで成り立っています。そういう意味で真の会話が成り立つことは、少ないと考えています。(会話が成り立っているようで、上手く意思疎通ができないことです。)(2004/09/07)

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

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

  大学の図書館で見ましたが良いホンです。
  なんで廃刊になったんでしょうか」？(2004/08/22)

• オブジェクト指向ソフトウェアメトリクス

  【著者】M. Lorenz, J. Kidd著　オージス総研訳

  メトリクスって重要な技術だと思います。
  リファクタリングを促すものための臭い(匂いではなく)を数学的に導き出してすためのツールの一つとなりえると思います。
  
  重要な技術の割には、蔑ろにされていません？
  日本人ってこういう統計的分析は嫌いですからね。(2004/07/26)

• SMALLTALK-80 言語詳解

  【著者】Adele Goldberg, Darid Robson 著, 及川 一成 翻訳

  洋書しか見たときないので、できれば読みたいな。(2004/07/26)

もっと見る