（<istream>/basic_istream関係）マークアップの修正