司馬懿はその後任として張郃、郭淮らを従え、蜀の諸葛亮と対戦する.
蜀の