四則演算のspecを有効化．
string.hをインクルードした．
printfからcoutに変更した．
Merge pull request #9 from umireon/spec_arith

四則演算のspecを有効化．