赋诗有数字，字字究来历出自哪一首诗？

赋诗有数字，字字究来历出自王刚中的《弥牟镇孔明八阵图》。这句诗词出自王刚中的《弥牟镇孔明八阵图》。
下面是这首诗的全文：
我稽八阵图，规模载方册。曷来镇西蜀，夔门观叠石。赋诗有数字，字字究来历。进涉汉州西，弥矣镇之北。平原列堆阜，滩石同一式。细思作者意，孔明有深策。高岸或为谷，滩石存遗迹。江海变桑田，平源犹可觅。故今两处存，千载必一得。再歌遂成篇，当有智者识。