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