朝鮮半島って公的な歴史書が日本の鎌倉時代になるまで存在してなかったんだっけ