計算言語学(けいさんげんごがく、)とは、形式性を重視する言語学の一分野である。