k.inabaさんが「面白そう」と書いてた本です。Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)作者: Hanne Riis Nielson,Flemming Nielson出版社/メーカー: Springer London発売日: 2007/04/27メディア: ペーパーバ…