, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Зураг боловсруулах эсвэл мэдрэлийн сүлжээн дэх төрөл бүрийн гүнзгий суралцах програмууд гэх мэт илүү олон ажлыг шийдвэрлэхийн тулд өндөр хүчин чадалтай тооцоолол шаардлагатай байдаг тул та асар их хэмжээний өгөгдлийг боловсруулж, үүнийг хангалттай хурдан хийх хэрэгтэй, эс тэгвээс энэ нь гайхалтай их хэмжээний ажиллах болно. цаг. Ийм ажиллагааг гүйцэтгэхдээ хурд, найдвартай байдлын хооронд буулт хийх нь гарцаагүй гэж өргөн тархсан байдаг. Энэхүү сэтгэлгээний дагуу хэрэв хурдыг нэн тэргүүнд тавьдаг бол найдвартай байдал алдагдах магадлалтай ба эсрэгээр.
Гэсэн хэдий ч Массачусетсийн Технологийн Хүрээлэнд (MIT) төвтэй хэсэг судлаачид энэ үзэл баримтлалыг эсэргүүцэж, та үүнийг бүгдийг нь эзэмшиж чадна гэж маргаж байна. MIT-ийн Компьютерийн шинжлэх ухаан, хиймэл оюун ухааны лабораторийн (CSAIL) -р курсын төгсөх курсын оюутан Аманда Люгийн хэлснээр өндөр хүчин чадалтай тооцоололд зориулж тусгайлан бичсэн шинэ програмчлалын хэлээр "хурд, зөв байдлын хувьд өрсөлдөх шаардлагагүй. Харин ч бидний зохиож буй нэвтрүүлэгт тэд хамтдаа, зэрэгцэн орж чадна” хэмээн ярьжээ. Лю болон түүний баг өнгөрсөн сард Филадельфид болсон Програмчлалын Хэлний Зарчмуудын бага хурал дээр шинээр бий болгосон A Tensor Language (ATL)-ийн боломжийн талаар ярьсан.
"Манай хэл дээрх бүх зүйл ганц тоо эсвэл тензорыг авах зорилготой" гэж Лю хэлэв. Тензорууд нь эргээд вектор ба матрицуудын ерөнхий ойлголт юм. Векторууд нь нэг хэмжээст объект (ихэвчлэн тус тусын сумаар дүрслэгддэг) ба матрицууд нь танил болсон хоёр хэмжээст тооны массивууд байдаг бол тензорууд нь n-хэмжээт массивууд бөгөөд жишээ нь 3×3×3 массив, эсвэл бүр илүү өндөр (эсвэл бага) хэмжээс.
Компьютерийн алгоритм эсвэл програмын мөн чанар нь тодорхой тооцоолол эхлүүлэх явдал юм. Гэхдээ энэ программыг бичих олон янзын арга байж болох юм -- Лю болон түүний хамтран зохиогчид өөрсдийн нийтлэлдээ бичсэнчлэн "гайхалтай олон янзын кодын хэрэгжилт"-ийн зарим нь бусдаасаа хамаагүй хурдан байдаг. ATL-ийн цаад учир шалтгааныг тэрээр тайлбарлав: “Өндөр гүйцэтгэлтэй тооцоолол нь маш их нөөц их шаарддаг тул та үйл явцыг хурдасгахын тулд програмыг оновчтой хэлбэрээр өөрчлөх эсвэл дахин бичих чадвартай байхыг хүсч байна. Ихэнхдээ та бичихэд хамгийн хялбар программыг эхлүүлдэг, гэхдээ энэ нь түүнийг ажиллуулах хамгийн хурдан арга биш байж магадгүй тул та нэмэлт тохируулга хийх шаардлагатай хэвээр байна."
Шинэ тушаалын хэл нь одоо байгаа Coq хэл дээр үндэслэсэн бөгөөд үүнд нотлох туслах програм орно. Баталгаажуулах туслах нь эргээд өөрийн мэдэгдлийг математикийн хувьд нарийн нотлох чадвартай байдаг. Coq нь MIT группын сонирхлыг татсан өөр нэг шинж чанартай: тухайн хэл дээр бичигдсэн програмууд эсвэл түүний дасан зохицох хувилбарууд нь үргэлж дуусдаг бөгөөд хязгааргүй давталтаар тодорхой бус хугацаагаар ажиллах боломжгүй байдаг.
Одоо энэ нь албан ёсоор батлагдсан оновчлол бүхий анхны бөгөөд одоогоор цорын ганц тензор хэл юм. MIT багийнхан ATL нь хэд хэдэн жижиг программ дээр туршиж үзсэн, ирээдүйтэй ч гэсэн зөвхөн прототип хэвээр байгааг анхааруулж байна.
Мөн уншина уу: