復刊リクエスト投票

• 記号論理読本

  【著者】前原昭二

  有名な if you move, I will kill you のお話がこの本に出てくるんだそうです。ぜひ読んでみたいのですが…(2012/05/31)

• プログラム意味論　(情報数学講座)

  【著者】横内　寛文

  不動点関数についての記述を読みたい(2010/08/13)