Specializing assumptions の書き換え例を追加した。