, стверджує, що розробляє прототип нової мови програмування.){kind=link}
მაღალი ხარისხის გამოთვლები საჭიროა უფრო და უფრო მეტი ამოცანის გადასაჭრელად – როგორიცაა გამოსახულების დამუშავება ან სხვადასხვა ღრმა სწავლის აპლიკაციები ნერვულ ქსელებზე – სადაც საჭიროა უზარმაზარი რაოდენობის მონაცემების დამუშავება და ამის გაკეთება საკმარისად სწრაფად, წინააღმდეგ შემთხვევაში ამას შეიძლება დასჭირდეს წარმოუდგენელი რაოდენობა. დრო. გავრცელებულია მოსაზრება, რომ ასეთი ოპერაციების შესრულებისას, კომპრომისი სიჩქარესა და საიმედოობას შორის გარდაუვალია. ამ აზროვნების თანახმად, თუ სიჩქარე პრიორიტეტულია, მაშინ საიმედოობა სავარაუდოდ დაზარალდება და პირიქით.
თუმცა, მკვლევართა ჯგუფი, რომელიც ძირითადად დაფუძნებულია მასაჩუსეტსის ტექნოლოგიურ ინსტიტუტში (MIT) ეჭვქვეშ აყენებს ამ ცნებას და ამტკიცებს, რომ თქვენ შეგიძლიათ რეალურად გქონდეთ ეს ყველაფერი. ამანდა ლიუს, MIT-ის კომპიუტერული მეცნიერებისა და ხელოვნური ინტელექტის ლაბორატორიის (CSAIL) მეორე კურსის კურსდამთავრებულის თქმით, ახალი პროგრამირების ენით, რომელიც მათ სპეციალურად დაწერეს მაღალი ხარისხის გამოთვლებისთვის, „სიჩქარესა და სისწორეს არ სჭირდება კონკურენცია. პირიქით, მათ შეუძლიათ ერთად წავიდნენ, გვერდიგვერდ, ჩვენს მიერ დაწერილ პროგრამებში“. ლიუმ და მისმა გუნდმა ისაუბრეს მათი ახლად შექმნილი A Tensor Language (ATL) პოტენციალის შესახებ გასულ თვეში ფილადელფიაში პროგრამირების ენების პრინციპების კონფერენციაზე.
"ჩვენს ენაში ყველაფერი, - ამბობს ლიუ, - მიზნად ისახავს ერთი რიცხვის ან ტენზორის მიღებას." ტენსორები, თავის მხრივ, არის ვექტორებისა და მატრიცების განზოგადება. მიუხედავად იმისა, რომ ვექტორები არის ერთგანზომილებიანი ობიექტები (ხშირად წარმოდგენილია ცალკეული ისრებით) და მატრიცები არის რიცხვების ნაცნობი ორგანზომილებიანი მასივები, ტენსორები არის n-განზომილებიანი მასივები, რომლებსაც შეუძლიათ მიიღონ 3×3×3 მასივის ფორმა, მაგალითად, ან თუნდაც უფრო მაღალი (ან დაბალი) განზომილება.
კომპიუტერული ალგორითმის ან პროგრამის არსი არის გარკვეული გაანგარიშების დაწყება. მაგრამ შეიძლება არსებობდეს ამ პროგრამის დაწერის მრავალი განსხვავებული გზა - "განსხვავებული კოდის განხორციელების გასაკვირი მრავალფეროვნება", როგორც ლიუ და მისი თანაავტორები წერენ თავიანთ ნაშრომში - ზოგიერთი მათგანი ბევრად უფრო სწრაფია, ვიდრე სხვები. ATL-ის მთავარი დასაბუთება, ის განმარტავს, არის შემდეგი: ”იმის გათვალისწინებით, რომ მაღალი ხარისხის გამოთვლები რესურსზე ინტენსიურია, თქვენ გსურთ შეცვალოთ ან გადაწეროთ პროგრამები ოპტიმალური ფორმით, რათა დააჩქაროთ. ხშირად იწყებ პროგრამით, რომელიც ყველაზე მარტივია დასაწერად, მაგრამ ეს შეიძლება არ იყოს მისი გაშვების ყველაზე სწრაფი გზა, ასე რომ თქვენ ჯერ კიდევ გჭირდებათ შემდგომი კორექტირება."
ახალი ბრძანების ენა დაფუძნებულია არსებულ Coq ენაზე, რომელიც მოიცავს მტკიცებულების დამხმარეს. მტკიცებულების ასისტენტს, თავის მხრივ, აქვს უნარი დაამტკიცოს თავისი განცხადებები მათემატიკურად ზუსტად. Coq-ს აქვს კიდევ ერთი თვისება, რამაც იგი მიმზიდველი გახადა MIT ჯგუფისთვის: ამ ენაზე დაწერილი პროგრამები, ან მისი ადაპტაცია, ყოველთვის წყდება და არ შეიძლება განუსაზღვრელი ვადით იმუშაოს უსასრულო მარყუჟებში.
ახლა ეს არის პირველი და ჯერჯერობით ერთადერთი ტენსორული ენა, რომელსაც აქვს ოფიციალურად დამოწმებული ოპტიმიზაცია. MIT-ის გუნდი აფრთხილებს, რომ ATL ჯერ კიდევ მხოლოდ პროტოტიპია - თუმცა პერსპექტიული - რომელიც გამოცდილია რამდენიმე მცირე პროგრამაზე.
ასევე წაიკითხეთ: