おかいあげ

抽象によるソフトウェア設計−Alloyではじめる形式手法−

とりあえず。基本算数苦手なのでどうなることやら...まぁ集合とか論理学的な感じなのでフーリエ変換やらとかと比べりゃどうにかなる...かなぁ?