, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Кескінді өңдеу немесе нейрондық желілердегі әртүрлі терең оқыту қолданбалары сияқты көбірек тапсырмаларды шешу үшін жоғары өнімді есептеулер қажет, мұнда сізге үлкен көлемдегі деректерді өңдеу және оны жеткілікті жылдам орындау қажет, әйтпесе ол керемет көлемде жұмыс істеуі мүмкін. уақыт. Мұндай операцияларды орындау кезінде жылдамдық пен сенімділік арасында ымыраға келу сөзсіз деп кең таралған. Бұл ойлауға сәйкес, егер жылдамдық басым болса, онда сенімділік зардап шегуі мүмкін және керісінше.
Алайда, негізінен Массачусетс технологиялық институтында (MIT) негізделген зерттеушілер тобы бұл түсінікке қарсы шығып, сізде барлығына ие бола аласыз деп сендіреді. MIT-тің Информатика және жасанды интеллект зертханасының (CSAIL) екінші курс магистранты Аманда Людың айтуынша, олар жоғары өнімді есептеулер үшін арнайы жазған жаңа бағдарламалау тілімен, «жылдамдық пен дұрыстық бәсекелесудің қажеті жоқ. Керісінше, олар біз жазып жатқан бағдарламаларда бірге, қатар жүре алады». Лю және оның командасы өткен айда Филадельфиядағы бағдарламалау тілдерінің принциптері конференциясында жаңадан құрылған тензор тілінің (ATL) әлеуеті туралы айтты.
«Біздің тілдегі барлық нәрсе, - дейді Лю, - бір санды немесе тензорды алуға бағытталған». Тензорлар, өз кезегінде, векторлар мен матрицалардың жалпылауы болып табылады. Векторлар бір өлшемді объектілер (көбінесе жеке көрсеткілермен бейнеленген) және матрицалар таныс екі өлшемді сандар массивтері болса, тензорлар n-өлшемді массивтер болып табылады, мысалы, 3×3×3 массивін немесе тіпті жоғары (немесе төмен) өлшем.
Компьютерлік алгоритмнің немесе бағдарламаның мәні белгілі бір есептеуді бастау болып табылады. Бірақ бұл бағдарламаны жазудың әртүрлі тәсілдері болуы мүмкін -- Лю және оның авторлары өз мақалаларында жазғандай, «әртүрлі кодты енгізудің таңқаларлық алуан түрі», олардың кейбіреулері басқаларға қарағанда айтарлықтай жылдамырақ. ATL-тің негізгі себебі, ол былай деп түсіндіреді: «Өнімділігі жоғары есептеулер соншалықты ресурстарды қажет ететінін ескере отырып, сіз жұмысты жылдамдату үшін бағдарламаларды оңтайлы түрде өзгерте немесе қайта жаза аласыз. Көбінесе сіз жазуға оңай бағдарламадан бастайсыз, бірақ бұл оны іске қосудың ең жылдам жолы болмауы мүмкін, сондықтан сізге әлі де қосымша түзетулер енгізу қажет».
Жаңа пәрмен тілі дәлелдеу көмекшісін қамтитын бар Coq тіліне негізделген. Дәлелдеу көмекшісі, өз кезегінде, өз тұжырымдарын математикалық түрде дәл дәлелдей алады. Coq оны MIT тобына тартымды ететін тағы бір қасиеті бар: сол тілде жазылған бағдарламалар немесе оның бейімделуі әрқашан тоқтатылады және шексіз циклдарда шексіз жұмыс істей алмайды.
Қазір бұл ресми расталған оңтайландырулары бар бірінші және әзірге жалғыз тензор тілі. MIT командасы, алайда, ATL әлі күнге дейін бірнеше шағын бағдарламаларда сыналған, болашағы зор болса да, прототипі екенін ескертеді.
Сондай-ақ оқыңыз: