, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Tasvirlarni qayta ishlash yoki neyron tarmoqlarda turli xil chuqur o'rganish dasturlari kabi ko'proq va ko'proq vazifalarni hal qilish uchun yuqori unumdorlikdagi hisoblashlar kerak bo'ladi, bu erda siz katta hajmdagi ma'lumotlarni qayta ishlashingiz va uni etarlicha tez bajarishingiz kerak, aks holda bu aql bovar qilmaydigan hajmni talab qilishi mumkin. vaqt. Bunday operatsiyalarni bajarishda tezlik va ishonchlilik o'rtasida murosaga kelish muqarrar, deb ishoniladi. Ushbu fikrga ko'ra, agar tezlik ustuvor bo'lsa, unda ishonchlilik zarar ko'rishi mumkin va aksincha.
Biroq, birinchi navbatda Massachusets Texnologiya Institutida (MIT) joylashgan tadqiqotchilar guruhi bu tushunchaga qarshi chiqib, sizda hamma narsaga ega bo'lishingiz mumkinligini ta'kidlamoqda. MITning Kompyuter fanlari va sun'iy intellekt laboratoriyasining (CSAIL) ikkinchi kurs talabasi Amanda Liuning so'zlariga ko'ra, ular yuqori unumdorlikdagi hisoblashlar uchun maxsus yozgan yangi dasturlash tili bilan "tezlik va to'g'rilik raqobatlashishi shart emas. Aksincha, ular biz yozayotgan dasturlarda birga, yonma-yon borishlari mumkin”. Liu va uning jamoasi o'tgan oy Filadelfiyada bo'lib o'tgan "Dasturlash tillari tamoyillari" konferentsiyasida yangi yaratilgan Tensor tilining (ATL) imkoniyatlari haqida gapirib berishdi.
"Bizning tilimizda hamma narsa, - deydi Liu, - bitta raqam yoki tenzorni olishga qaratilgan". Tensorlar, o'z navbatida, vektorlar va matritsalarni umumlashtirishdir. Vektorlar bir o'lchovli ob'ektlar (ko'pincha alohida strelkalar bilan ifodalanadi) va matritsalar tanish ikki o'lchovli raqamlar massivlari bo'lsa-da, tensorlar n o'lchovli massivlar bo'lib, masalan, 3 × 3 × 3 massiv yoki hatto yuqori (yoki past) o'lcham.
Kompyuter algoritmi yoki dasturining mohiyati ma'lum bir hisoblashni boshlashdan iborat. Ammo bu dasturni yozishning turli xil usullari bo'lishi mumkin -- Liu va uning hammualliflari o'z maqolalarida yozganidek, "turli xil kodlarni amalga oshirishning hayratlanarli xilma-xilligi", ularning ba'zilari boshqalarga qaraganda sezilarli darajada tezroq. ATL ning asosiy mantiqiy asosini u tushuntiradi: “Yuqori unumdor kompyuterlar juda ko'p resurs talab qilishini hisobga olsak, ishlarni tezlashtirish uchun dasturlarni optimal shaklda o'zgartirish yoki qayta yozish imkoniyatiga ega bo'lishni xohlaysiz. Ko'pincha siz yozish uchun eng oson dasturdan boshlaysiz, lekin bu uni ishga tushirishning eng tezkor usuli bo'lmasligi mumkin, shuning uchun siz hali ham qo'shimcha tuzatishlar kiritishingiz kerak."
Yangi buyruq tili mavjud Coq tiliga asoslangan bo'lib, u isbotlovchi yordamchini o'z ichiga oladi. Isbot yordamchisi, o'z navbatida, o'z bayonotlarini matematik jihatdan aniq isbotlash qobiliyatiga ega. Coq uni MIT guruhi uchun jozibador qilgan yana bir xususiyatga ega: bu tilda yozilgan dasturlar yoki uning moslashuvi har doim tugaydi va cheksiz tsikllarda cheksiz ishlay olmaydi.
Endi bu rasmiy tasdiqlangan optimallashtirishga ega birinchi va hozirgacha yagona tenzor tili. MIT jamoasi ogohlantiradiki, ATL hali ham bir qancha kichik dasturlarda sinovdan o'tgan, istiqbolli bo'lsa-da, faqat prototip bo'lib qolmoqda.
Shuningdek o'qing: