C0言語仕様を修正。テストコードを追加