刻舟求剑是什么故事（刻舟求剑是什么故事是寓言故事吗）