『隋書』2　帝紀2　高祖下

（開皇十八年二月）乙巳、以漢王諒爲行軍元帥、水陸三十萬伐高麗。