型のある言語とない言語.