Aoaoina Lean: Vaega 1

\u003ch2\u003eA'oa'oga Fa'a'au'au: Vaega 1\u003c/h2\u003e \u003cp\u003e O lenei tusiga o loʻo tuʻuina atu ai faʻamatalaga taua ma faʻamatalaga i lona autu, e saofagā i le faʻasoaina o le malamalama ma le malamalama.\u003c/p\u003e \u003ch3\u003eA'i Avea\u003c/h3\u003e \u003cp\u003e E mafai e le au faitau ona fa'amoemoe e maua:\u003c/p\u003e \u003cul\u003e \u003cli\u003eMalamalama loloto i le mataupu\u003c/li\u003e \u003cli\u003eTalosaga fa'atino ma le fa'atatauga moni i le lalolagi\u003c/li\u003e \u003cli\u003e Va'aiga fa'apitoa ma au'ili'ili\u003c/li\u003e \u003cli\u003eFa'amatalaga fa'afou e uiga i atina'e i le taimi nei\u003c/li\u003e \u003c/ul\u003e \u003ch3\u003e Tulaga Taua\u003c/h3\u003e \u003cp\u003eO mea lelei fa'apenei e fesoasoani e fausia ai le poto ma fa'aolaina ai faiga fa'ai'uga i vaega eseese.\u003c/p\u003e

Fesili e Fai soo

O le a le Lean ma aisea e tatau ai ona ou a'oa'oina?

Lean ose gagana fa'apolokalame fa'atino ma fa'ata'ita'i fa'ata'ita'iga fa'aaufa'atasi na atia'e e Microsoft Research. E fa'atagaina oe e tusi numera fa'amaonia fa'amaonia, fa'amautinoa le sa'o ile taimi fa'aopoopo. O le a'oa'oina o Lean e taua tele mo inisinia faakomepiuta e fiafia i fa'amaoniga aloa'ia, mathematicians su'esu'e fa'amaoniga fesoasoani faakomepiuta, ma so'o se tasi e mana'o e tusi ni polokalame fa'atuatuaina. O lona fa'atupula'ia o nu'u ma fa'aoga fa'atino i a'oga ma alamanuia ua avea ai ma se fa'aagaga aoga o lou taimi.

Ou te mana'omia se fa'amatalaga numera e amata ai le Lean?

Leai, e le mana'omia le loloto o le matematika e amata ai ona a'oa'oina le Lean. E ui o le masani i manatu faavae ma seti aʻoaʻoga fesoasoani, o le tele o tagata amata e amata ile poto masani ile polokalame. O le Vaega 1 o lenei fa'asologa o lo'o aofia ai manatu fa'avae i se auala faigofie. Platforms pei o Mewayz e ofoina atu ala a'oa'o fa'atulaga i luga ole 207 modules e amata ile $19/mo, e fesoasoani ia te oe e fa'atupu fa'atupu le poto fa'amatematika e mana'omia fa'atasi ma ou tomai fa'apolokalame Lean faasolosolo malie.

E fa'apefea ona ese le Lean mai isi gagana fa'apolokalame?

E le pei o gagana masani, Lean e tu'ufa'atasia polokalame ma agava'a fa'amaonia aloaia. O gagana e pei o le Python po'o le Java e fa'alagolago i su'ega e pu'e ai pusi, Lean e fa'atagaina oe e fa'amaonia lau code e sa'o. E fa'aogaina ituaiga fa'alagolago, lea e fa'ataga ai ituaiga e fa'alagolago i tau, fa'ataga fa'amatalaga fa'aalia. Lean 4, le lomiga aupito lata mai, o lo'o galue fo'i e avea o se gagana fa'amoemoe lautele ma fa'atinoga fa'atauva, e fa'atino ai i tua atu o mataupu fa'aoga tau a'oa'oga.

O a galuega faatino e mafai ona ou fausia a'o a'oa'oina le Lean?

I le avea ai ma se tagata amata, e mafai ona e amata i le fa'avasegaina o fa'amaoniga fa'a-matematika faigofie, fausiaina o fa'amaumauga fa'amaonia fa'amaumauga, ma le tusiaina o fa'amaumauga sa'o e pei o le fa'avasegaina po'o galuega su'esu'e. A'o e aga'i i luma, e lagolagoina e Lean galuega tetele e aofia ai fa'amaumauga fa'amaonia, fa'amaoniga fa'amaonia o fa'amaumauga, ma numera fa'apitoa. E tu'uina atu e Mewayz ni fa'aoga lima e ta'ita'ia oe i galuega fa'agasolo lu'itau, fa'amautinoa e te maua le poto masani fa'atasi ma le malamalama fa'ata'ita'i i lau malaga a'oga.