復刊リクエスト投票

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

  【著者】中島玲二

  学生の頃，この本で束論や不動点定理を学びました。コンピュータサイエンス分野でのその後の展開はあれど，未だ基礎は変わらないようです。
  読み返してみたい一冊です。(2011/05/19)