S0 · Explorer · this chapter belongs to this rung, earned when chapters 1 to 4 and project-s0 have passed: A five-cell narration over a list of your own, where every cell runs. The ladder
Elementary Introduction · Chapter 1 · Skill EX-03: "Where is it, and what do I do there?"
Every workplace receives requests. A restaurant receives orders and a bank receives tickets, and the same request often arrives more than once. This chapter deals with repeated requests the Softanza way. First you select the object. Then you ask whether it contains what you are looking for, count it, and find it. Only then do you act.
This page stores no output. Run the cell to see what it prints.
6. The same questions, on your workplace
This cell reads the requests that your workplace received today. What it prints depends on the world this course runs over, so the page never shows an output: run it.
? @@( Naturally("Create a list with [ 5, 3, 5, 1 ] and remove its duplicates").Result() )
#--> [ 5, 3, 1 ]
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you took a list through the mental model. You selected it, asked whether it contained duplicates, counted them and found them, and then removed them.
Why it matters: acting comes last. Each question you ask first makes the action exact, and each answer is one you can check.
Coming next: the same five questions work on strings, tables and graphs. The next chapter asks them of a string.
Traduction provisoire : pas encore relue par un locuteur natif.
Trouver, puis agir
S0 · Explorateur · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 4 et project-s0 sont réussis : Une narration de cinq cellules sur une liste à vous, où chaque cellule s'exécute. L'échelle
Preuve · 8 cellules exécutées, 7 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 1 · Compétence EX-03 : « Où est-ce, et qu'est-ce que j'en fais ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Tout lieu de travail reçoit des demandes : un restaurant reçoit des commandes, une banque reçoit des tickets, et la même demande arrive souvent plusieurs fois. Ce chapitre traite les demandes répétées à la manière de Softanza. D'abord on choisit l'objet. Ensuite on demande s'il contient ce que l'on cherche, on le compte, on le trouve. Et seulement alors on agit.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
6. Les mêmes questions, sur votre lieu de travail
Cette cellule lit les demandes que votre lieu de travail a reçues aujourd'hui. Ce qu'elle affiche dépend du monde sur lequel ce cours s'exécute : la page n'affiche donc jamais de résultat. Exécutez-la.
? @@( NaturallyIn("fr", "Crée une liste avec [ 5, 3, 5, 1 ] et enlève les doublons").Result() )
#--> [ 5, 3, 1 ]
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez fait passer une liste par le modèle mental. Vous l'avez choisie, vous avez demandé si elle contenait des doublons, vous les avez comptés et trouvés, puis vous les avez retirés.
Pourquoi c'est important : l'action vient en dernier. Chaque question posée d'abord rend l'action exacte, et chaque réponse peut être vérifiée.
La suite : les mêmes cinq questions valent pour les chaînes, les tables et les graphes. Le chapitre suivant les pose à une chaîne.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
ابحث، ثم طبّق
S0 · 1 – 4 · project-s0 · سرد من خمس خلايا على قائمة من عندك، تعمل فيه كل خلية. S0 – S4
مدخل أساسي · الفصل 1 · المهارة EX-03: «أين هو، وماذا أفعل هناك؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
كل مكان عمل يتلقى طلبات: المطعم يتلقى طلبيات، والبنك يتلقى تذاكر، وكثيرًا ما يصل الطلب نفسه أكثر من مرة. يعالج هذا الفصل الطلبات المكررة بطريقة سوفتانزا. أولًا نختار الكائن. ثم نسأل هل يحتوي على ما نبحث عنه، ونعدّه، ونجده. وبعد ذلك فقط نتصرّف.
Gabatarwa ta Farko · Babi na 1 · Fasaha EX-03: "Ina yake, kuma me zan yi a can?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Kowane wurin aiki yana karɓar buƙatu: gidan abinci yana karɓar oda, banki yana karɓar tikiti, kuma buƙata ɗaya takan zo fiye da sau ɗaya. Wannan babin yana maganin buƙatun da aka maimaita ta hanyar Softanza. Da farko ka zaɓi abin. Sannan ka tambaya ko yana ɗauke da abin da kake nema, ka ƙidaya shi, ka nemo shi. Sai bayan haka ka aiwatar.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
6. Tambayoyi iri ɗaya, a wurin aikinka
Wannan ɗakin yana karanta buƙatun da wurin aikinka ya karɓa yau. Abin da yake bugawa ya dogara da duniyar da wannan darasi yake gudana a kai, don haka shafin ba ya nuna sakamako ko kaɗan: ka gudanar da shi.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka bi da jeri ta tsarin tunani. Ka zaɓe shi, ka tambaya ko yana da maimaitattu, ka ƙidaya su ka nemo su, sannan ka cire su.
Me ya sa yake da muhimmanci: aiwatarwa tana zuwa a ƙarshe. Kowace tambaya da ka fara yi tana sa aikin ya zama daidai, kuma ana iya tabbatar da kowace amsa.
Abin da ke tafe: tambayoyi biyar ɗin nan suna aiki a kan rubutu, teburi da zane-zanen alaƙa. Babi na gaba yana yi wa rubutu su.
A first sentence
S0 · Explorer · this chapter belongs to this rung, earned when chapters 1 to 4 and project-s0 have passed: A five-cell narration over a list of your own, where every cell runs. The ladder
Elementary Introduction · Chapter 2 · Skills FO-01 "What am I really asking?" and EX-01 "Which object holds my data?"
In chapter 1 the requests came as a list. Today they come as a sentence: a customer's complaint. Before any code, the mental model asks you to say the problem in words and pull out its keywords, because the keywords name the object you will select.
1. Say the problem
"Does this complaint repeat a word, and which one?"
Three keywords. Complaint is a text, so the object is a stzString. Word is something a string can give you. Repeat is a question about duplicates, and duplicates live in a list.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you said a problem in words, took its keywords, and let them choose the object: a string for the complaint, a list for the repeated words.
Why it matters: the object you select decides which questions you can ask. A string answers "how many words"; a list answers "which are repeated".
Coming next: the names of the questions themselves are sentences. The next chapter teaches you to read them.
Traduction provisoire : pas encore relue par un locuteur natif.
Une première phrase
S0 · Explorateur · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 4 et project-s0 sont réussis : Une narration de cinq cellules sur une liste à vous, où chaque cellule s'exécute. L'échelle
Preuve · 5 cellules exécutées, 6 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 2 · Compétences FO-01 « Qu'est-ce que je demande vraiment ? » et EX-01 « Quel objet porte mes données ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Au chapitre 1, les demandes arrivaient sous forme de liste. Aujourd'hui elles arrivent sous forme de phrase : la réclamation d'un client. Avant tout code, le modèle mental vous demande de dire le problème en mots et d'en extraire les mots-clés, parce que ce sont eux qui nomment l'objet que vous choisirez.
1. Dire le problème
« Cette réclamation répète-t-elle un mot, et lequel ? »
Trois mots-clés. Réclamation est un texte : l'objet est donc une stzString. Mot est une chose qu'une chaîne peut vous donner. Répéter est une question sur les doublons, et les doublons vivent dans une liste.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
6. Votre lieu de travail, en une phrase
Les demandes que votre lieu de travail a reçues aujourd'hui, réunies en une seule phrase. Ce qui s'affiche dépend du monde sur lequel ce cours s'exécute : exécutez la cellule.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez dit un problème en mots, pris ses mots-clés, et les avez laissés choisir l'objet : une chaîne pour la réclamation, une liste pour les mots répétés.
Pourquoi c'est important : l'objet que vous choisissez décide des questions que vous pouvez poser. Une chaîne répond « combien de mots » ; une liste répond « lesquels sont répétés ».
La suite : les noms des questions sont eux-mêmes des phrases. Le chapitre suivant vous apprend à les lire.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
جملة أولى
S0 · 1 – 4 · project-s0 · سرد من خمس خلايا على قائمة من عندك، تعمل فيه كل خلية. S0 – S4
مدخل أساسي · الفصل 2 · المهارتان FO-01 «ما الذي أسأل عنه حقًا؟» وEX-01 «أيّ كائن يحمل بياناتي؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
في الفصل الأول جاءت الطلبات قائمةً. اليوم تأتي جملةً: شكوى زبون. قبل أي شفرة، يطلب منك النموذج الذهني أن تقول المشكلة بالكلمات وتستخرج كلماتها المفتاحية، لأن الكلمات المفتاحية هي التي تسمّي الكائن الذي ستختاره.
1. قل المشكلة
«هل تكرر هذه الشكوى كلمة، وأيّ كلمة؟»
ثلاث كلمات مفتاحية. الشكوى نص، فالكائن إذن stzString. الكلمة شيء يستطيع النص أن يعطيك إياه. التكرار سؤال عن التكرارات، والتكرارات تسكن في قائمة.
Gabatarwa ta Farko · Babi na 2 · Fasahohi FO-01 "Me nake tambaya da gaske?" da EX-01 "Wane abu ne ya riƙe bayanaina?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
A babi na 1 buƙatun sun zo a matsayin jeri. Yau suna zuwa a matsayin jimla: ƙorafin abokin ciniki. Kafin kowace lamba, tsarin tunani yana roƙonka ka faɗi matsalar da kalmomi ka fitar da manyan kalmominta, domin manyan kalmomin ne suke sunan abin da za ka zaɓa.
1. Faɗi matsalar
"Shin wannan ƙorafin yana maimaita kalma, kuma wacce?"
Manyan kalmomi uku. Ƙorafi rubutu ne, saboda haka abin stzString ne. Kalma abu ne da rubutu zai iya ba ka. Maimaitawa tambaya ce game da maimaitattu, kuma maimaitattu suna zaune a cikin jeri.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
6. Wurin aikinka, a matsayin jimla
Buƙatun da wurin aikinka ya karɓa yau, an haɗa su cikin jimla ɗaya. Abin da yake bugawa ya dogara da duniyar da wannan darasi yake gudana a kai: ka gudanar da ɗakin.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka faɗi matsala da kalmomi, ka ɗauki manyan kalmominta, ka bar su su zaɓi abin: rubutu ga ƙorafin, jeri ga kalmomin da aka maimaita.
Me ya sa yake da muhimmanci: abin da ka zaɓa yana yanke tambayoyin da za ka iya yi. Rubutu yana amsa "kalmomi nawa"; jeri yana amsa "waɗanne aka maimaita".
Abin da ke tafe: sunayen tambayoyin da kansu jimloli ne. Babi na gaba yana koya maka karanta su.
Read the name as a sentence
S0 · Explorer · this chapter belongs to this rung, earned when chapters 1 to 4 and project-s0 have passed: A five-cell narration over a list of your own, where every cell runs. The ladder
Elementary Introduction · Chapter 3 · Skill EX-04: "Does this name change the object, give me a copy, or continue the sentence?"
A Softanza method name is a sentence spoken to an object. Its grammar tells you what will happen before you run it. This chapter teaches the three forms you will meet on every page: the active, the passive and the fluent.
1. The active form changes the object
RemoveAll is an order. The object obeys and is changed.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you can tell, from a name alone, whether it changes the object (RemoveAll), answers with a copy (Removed), or continues the sentence (RemoveQ, and RemoveQC on a copy).
Why it matters: you never need to run a method to know whether your data will survive it. The name says so.
Coming next: the same sentence, spoken in French, Arabic or Hausa.
Traduction provisoire : pas encore relue par un locuteur natif.
Lire le nom comme une phrase
S0 · Explorateur · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 4 et project-s0 sont réussis : Une narration de cinq cellules sur une liste à vous, où chaque cellule s'exécute. L'échelle
Preuve · 7 cellules exécutées, 10 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 3 · Compétence EX-04 : « Ce nom change-t-il l'objet, me donne-t-il une copie, ou continue-t-il la phrase ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Un nom de méthode Softanza est une phrase adressée à un objet. Sa grammaire vous dit ce qui va se passer avant même de l'exécuter. Ce chapitre enseigne les trois formes que vous rencontrerez à chaque page : la forme active, la forme passive et la forme fluide.
1. La forme active change l'objet
RemoveAll est un ordre. L'objet obéit et il est modifié.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous savez dire, d'après le seul nom, s'il modifie l'objet (RemoveAll), s'il répond par une copie (Removed), ou s'il continue la phrase (RemoveQ, et RemoveQC sur une copie).
Pourquoi c'est important : vous n'avez jamais besoin d'exécuter une méthode pour savoir si vos données y survivront. Le nom le dit.
La suite : la même phrase, dite en français, en arabe ou en haoussa.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
اقرأ الاسم كجملة
S0 · 1 – 4 · project-s0 · سرد من خمس خلايا على قائمة من عندك، تعمل فيه كل خلية. S0 – S4
مدخل أساسي · الفصل 3 · المهارة EX-04: «هل يغيّر هذا الاسم الكائن، أم يعطيني نسخة، أم يكمل الجملة؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
اسم الدالة في سوفتانزا جملة تُقال لكائن. وقواعده تخبرك بما سيحدث قبل أن تشغّله. يعلّمك هذا الفصل الصيغ الثلاث التي ستلقاها في كل صفحة: الفاعلة، والمفعولة، والمتصلة.
Gabatarwa ta Farko · Babi na 3 · Fasaha EX-04: "Shin wannan sunan yana canza abin, yana ba ni kwafi, ko yana ci gaba da jimlar?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Sunan hanya na Softanza jimla ce da aka yi wa abu. Nahawunsa yana faɗa maka abin da zai faru kafin ka gudanar da shi. Wannan babin yana koyar da sigogi uku da za ka haɗu da su a kowane shafi: siga ta aiki, siga ta abin da aka yi, da siga mai gudana.
1. Sigar aiki tana canza abin
RemoveAll umarni ne. Abin yana bi, kuma an canza shi.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: kana iya faɗa, daga sunan kaɗai, ko yana canza abin (RemoveAll), yana amsawa da kwafi (Removed), ko yana ci gaba da jimlar (RemoveQ, da RemoveQC a kan kwafi).
Me ya sa yake da muhimmanci: ba ka taɓa buƙatar gudanar da hanya don ka san ko bayananka za su tsira ba. Sunan yana faɗa.
Abin da ke tafe: jimla ɗaya, an faɗe ta da Faransanci, Larabci ko Hausa.
Say it in your language
S0 · Explorer · this chapter belongs to this rung, earned when chapters 1 to 4 and project-s0 have passed: A five-cell narration over a list of your own, where every cell runs. The ladder
Elementary Introduction · Chapter 4 · Skill EX-05: "Can I say this program in my own language and have it run?"
Softanza understands a program written as a sentence, in more than one human language. This is not a translation of the page: the sentence itself is the program, and it runs. Every cell below runs in every edition of this chapter, whatever language you are reading it in.
oN = Naturally("Create a list with [ 4, 4, 9 ] and remove its duplicates")
? @@( oN.Result() )
#--> [ 4, 9 ]
? oN.Understood()
#--> create a list with [ 4, 4, 9 ] -> remove duplicates
This page stores no output. Run the cell to see what it prints.
oF = NaturallyIn("fr", "Crée une liste avec [ 4, 4, 9 ] et enlève les doublons")
? @@( oF.Result() )
#--> [ 4, 9 ]
? oF.Understood()
#--> crée liste avec [ 4, 4, 9 ] -> enlève les doublons
This page stores no output. Run the cell to see what it prints.
? @@( StzNaturalLintIn("fr", "Crée une liste avec [ 4, 4, 9 ] et danse la salsa") )
#--> [ [ "understood", 0 ], [ "unresolved", [ [ "danse", "" ], [ "salsa", "sans" ] ] ] ]
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you ran the same program as a sentence in four languages, read back what was understood, and saw a sentence refused word by word instead of guessed.
Why it matters: a learner's first language is a programming language here. Nothing is lost between the way you think and the way you write.
Coming next: the three questions of chapter 1, asked of a string, a list, and anything else.
Traduction provisoire : pas encore relue par un locuteur natif.
Le dire dans votre langue
S0 · Explorateur · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 4 et project-s0 sont réussis : Une narration de cinq cellules sur une liste à vous, où chaque cellule s'exécute. L'échelle
Preuve · 6 cellules exécutées, 10 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 4 · Compétence EX-05 : « Puis-je dire ce programme dans ma langue et le faire tourner ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Softanza comprend un programme écrit comme une phrase, dans plusieurs langues humaines. Ce n'est pas une traduction de la page : la phrase elle-même est le programme, et elle s'exécute. Chaque cellule ci-dessous s'exécute dans chaque édition de ce chapitre, quelle que soit la langue dans laquelle vous le lisez.
oN = Naturally("Create a list with [ 4, 4, 9 ] and remove its duplicates")
? @@( oN.Result() )
#--> [ 4, 9 ]
? oN.Understood()
#--> create a list with [ 4, 4, 9 ] -> remove duplicates
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
oF = NaturallyIn("fr", "Crée une liste avec [ 4, 4, 9 ] et enlève les doublons")
? @@( oF.Result() )
#--> [ 4, 9 ]
? oF.Understood()
#--> crée liste avec [ 4, 4, 9 ] -> enlève les doublons
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
? @@( StzNaturalLintIn("fr", "Crée une liste avec [ 4, 4, 9 ] et danse la salsa") )
#--> [ [ "understood", 0 ], [ "unresolved", [ [ "danse", "" ], [ "salsa", "sans" ] ] ] ]
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez exécuté le même programme comme une phrase dans quatre langues, relu ce qui a été compris, et vu une phrase refusée mot par mot au lieu d'être devinée.
Pourquoi c'est important : la première langue d'un apprenant est ici un langage de programmation. Rien ne se perd entre la façon dont vous pensez et celle dont vous écrivez.
La suite : les trois questions du chapitre 1, posées à une chaîne, à une liste, et à n'importe quoi d'autre.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
قلها بلغتك
S0 · 1 – 4 · project-s0 · سرد من خمس خلايا على قائمة من عندك، تعمل فيه كل خلية. S0 – S4
مدخل أساسي · الفصل 4 · المهارة EX-05: «هل أستطيع أن أقول هذا البرنامج بلغتي فيعمل؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
تفهم سوفتانزا برنامجًا مكتوبًا في صورة جملة، بأكثر من لغة بشرية. ليست هذه ترجمة للصفحة: الجملة نفسها هي البرنامج، وهي تعمل. كل خلية أدناه تعمل في كل طبعة من هذا الفصل، أيًّا كانت اللغة التي تقرؤه بها.
oN = Naturally("Create a list with [ 4, 4, 9 ] and remove its duplicates")
? @@( oN.Result() )
#--> [ 4, 9 ]
? oN.Understood()
#--> create a list with [ 4, 4, 9 ] -> remove duplicates
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
oF = NaturallyIn("fr", "Crée une liste avec [ 4, 4, 9 ] et enlève les doublons")
? @@( oF.Result() )
#--> [ 4, 9 ]
? oF.Understood()
#--> crée liste avec [ 4, 4, 9 ] -> enlève les doublons
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
Gabatarwa ta Farko · Babi na 4 · Fasaha EX-05: "Zan iya faɗin wannan shirin da harshena ya gudana?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Softanza tana fahimtar shirin da aka rubuta a matsayin jimla, da harsunan ɗan adam fiye da ɗaya. Wannan ba fassarar shafin ba ce: jimlar da kanta ita ce shirin, kuma tana gudana. Kowane ɗaki a ƙasa yana gudana a kowane bugu na wannan babin, ko da wane harshe kake karanta shi.
oN = Naturally("Create a list with [ 4, 4, 9 ] and remove its duplicates")
? @@( oN.Result() )
#--> [ 4, 9 ]
? oN.Understood()
#--> create a list with [ 4, 4, 9 ] -> remove duplicates
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
oF = NaturallyIn("fr", "Crée une liste avec [ 4, 4, 9 ] et enlève les doublons")
? @@( oF.Result() )
#--> [ 4, 9 ]
? oF.Understood()
#--> crée liste avec [ 4, 4, 9 ] -> enlève les doublons
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
? @@( StzNaturalLintIn("fr", "Crée une liste avec [ 4, 4, 9 ] et danse la salsa") )
#--> [ [ "understood", 0 ], [ "unresolved", [ [ "danse", "" ], [ "salsa", "sans" ] ] ] ]
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka gudanar da shiri ɗaya a matsayin jimla da harsuna huɗu, ka sake karanta abin da aka fahimta, ka ga an ƙi jimla kalma bayan kalma maimakon a yi zato.
Me ya sa yake da muhimmanci: harshen farko na mai koyo harshen shirye-shirye ne a nan. Babu abin da ke ɓacewa tsakanin yadda kake tunani da yadda kake rubutu.
Abin da ke tafe: tambayoyi uku na babi na 1, an yi wa rubutu, jeri, da kowane abu.
One object, any structure
S1 · Builder · this chapter belongs to this rung, earned when chapters 1 to 7 and project-s1 have passed: A small tool over your workplace, its conditions declared as data. The ladder
Elementary Introduction · Chapter 5 · Skill FO-03: "Is this the same question I asked of a list, now asked of a string?"
Chapter 1 asked three questions of a list: does it contain, how many, and where. This chapter asks the same three questions of a string, with the same words. The structure changes; the thinking does not.
This page stores no output. Run the cell to see what it prints.
5. Act the same way, and read the result carefully
Removing a word from a string leaves the spaces that surrounded it. Removing an item from a list leaves nothing behind. The same verb, an honest difference.
This page stores no output. Run the cell to see what it prints.
6. Your workplace, both ways
The most requested thing at your workplace, counted in the list of requests and in the same requests joined into one sentence. Run it: the answer depends on the world.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you asked contains, count and find of a string and of a list with the same words, and saw where the answers differ in unit and in what removal leaves behind.
Why it matters: one way of thinking covers every structure. When a table or a graph arrives, you already know the questions.
Coming next: the four moves every program is made of: walk, ask, produce, act.
Traduction provisoire : pas encore relue par un locuteur natif.
Un objet, toute structure
S1 · Bâtisseur · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 7 et project-s1 sont réussis : Un petit outil sur votre lieu de travail, ses conditions déclarées comme des données. L'échelle
Preuve · 6 cellules exécutées, 12 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 5 · Compétence FO-03 : « Est-ce la même question que j'ai posée à une liste, posée maintenant à une chaîne ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Le chapitre 1 posait trois questions à une liste : contient-elle, combien, et où. Ce chapitre pose les trois mêmes questions à une chaîne, avec les mêmes mots. La structure change ; la pensée, non.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
3. Mêmes mots, unités différentes
Une position dans une chaîne compte des caractères ; une position dans une liste compte des éléments. La question est la même, la règle graduée ne l'est pas.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
5. Agir de la même façon, et lire le résultat avec soin
Retirer un mot d'une chaîne laisse les espaces qui l'entouraient. Retirer un élément d'une liste ne laisse rien. Le même verbe, une différence honnête.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
6. Votre lieu de travail, des deux façons
La chose la plus demandée sur votre lieu de travail, comptée dans la liste des demandes et dans ces mêmes demandes réunies en une phrase. Exécutez la cellule : la réponse dépend du monde.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez posé contient, combien et où à une chaîne et à une liste avec les mêmes mots, et vu où les réponses diffèrent, dans l'unité et dans ce que le retrait laisse derrière lui.
Pourquoi c'est important : une seule façon de penser couvre toutes les structures. Quand une table ou un graphe arrivera, vous connaîtrez déjà les questions.
La suite : les quatre gestes dont tout programme est fait : marcher, demander, produire, agir.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
كائن واحد، أي بنية
S1 · 1 – 7 · project-s1 · أداة صغيرة على مكان عملك، شروطها مصرَّح بها كبيانات. S0 – S4
مدخل أساسي · الفصل 5 · المهارة FO-03: «هل هذا هو السؤال نفسه الذي طرحته على قائمة، وأطرحه الآن على نص؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
طرح الفصل الأول ثلاثة أسئلة على قائمة: هل تحتوي، وكم، وأين. يطرح هذا الفصل الأسئلة الثلاثة نفسها على نص، بالكلمات نفسها. تتغير البنية؛ ولا يتغير التفكير.
Gabatarwa ta Farko · Babi na 5 · Fasaha FO-03: "Shin wannan tambayar da na yi wa jeri ce, yanzu na yi wa rubutu?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Babi na 1 ya yi wa jeri tambayoyi uku: yana ɗauke, nawa, kuma ina. Wannan babin yana yi wa rubutu tambayoyi uku ɗin nan, da kalmomi iri ɗaya. Tsarin yana canzawa; tunanin ba ya canzawa.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
6. Wurin aikinka, ta hanyoyi biyu
Abin da aka fi buƙata a wurin aikinka, an ƙidaya shi a cikin jerin buƙatu da kuma a cikin buƙatun da aka haɗa cikin jimla ɗaya. Ka gudanar da shi: amsar ta dogara da duniyar.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka tambayi "yana ɗauke", "nawa" da "ina" ga rubutu da jeri da kalmomi iri ɗaya, ka ga inda amsoshin suka bambanta a ma'auni da kuma abin da cirewa ke barin a baya.
Me ya sa yake da muhimmanci: hanyar tunani ɗaya tana ɗaukar kowane tsari. Idan tebur ko zane ya zo, ka riga ka san tambayoyin.
Abin da ke tafe: motsi huɗu da kowane shiri ya ƙunsa: tafiya, tambaya, samarwa, aiki.
Walk, ask, produce, act
S1 · Builder · this chapter belongs to this rung, earned when chapters 1 to 7 and project-s1 have passed: A small tool over your workplace, its conditions declared as data. The ladder
Elementary Introduction · Chapter 6 · Skill FO-02: "Which of the four moves is this step?"
Every program is made of four moves. It walks through positions, it asks questions, it produces new values, and it acts on the data. Softanza names each move, so a task decomposes into them instead of into loops.
1. Walk: the positions, then what is there
The kitchen checks every third order. First the positions, then the orders at those positions.
This page stores no output. Run the cell to see what it prints.
Softanza also has a dedicated walker object, stzWalker, with steps, directions and a history. It lives in the library's max tier, which this course does not load, so it is not shown here.
Recap
Achieved: you sorted a task into walking (positions), asking (questions), producing (a yielder) and acting (a verb), and chained them without a loop.
Why it matters: a loop hides which move it is making. Naming the move makes a program readable to someone who did not write it.
Coming next: declaring what you want and letting the engine decide how.
Traduction provisoire : pas encore relue par un locuteur natif.
Marcher, demander, produire, agir
S1 · Bâtisseur · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 7 et project-s1 sont réussis : Un petit outil sur votre lieu de travail, ses conditions déclarées comme des données. L'échelle
Preuve · 6 cellules exécutées, 10 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 6 · Compétence FO-02 : « Laquelle des quatre actions est cette étape ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Tout programme est fait de quatre gestes. Il marche à travers des positions, il demande en posant des questions, il produit de nouvelles valeurs, et il agit sur les données. Softanza nomme chaque geste, si bien qu'une tâche se décompose en gestes et non en boucles.
1. Marcher : les positions, puis ce qui s'y trouve
La cuisine vérifie une commande sur trois. D'abord les positions, puis les commandes à ces positions.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Softanza possède aussi un objet marcheur dédié, stzWalker, avec des pas, des directions et un historique. Il vit dans le niveau max de la bibliothèque, que ce cours ne charge pas ; il n'est donc pas montré ici.
Récapitulatif
Acquis : vous avez trié une tâche en marcher (des positions), demander (des questions), produire (un producteur) et agir (un verbe), et vous les avez enchaînés sans boucle.
Pourquoi c'est important : une boucle cache quel geste elle fait. Nommer le geste rend un programme lisible par quelqu'un qui ne l'a pas écrit.
La suite : déclarer ce que vous voulez et laisser le moteur décider comment.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
سِر، اسأل، أنتِج، افعل
S1 · 1 – 7 · project-s1 · أداة صغيرة على مكان عملك، شروطها مصرَّح بها كبيانات. S0 – S4
مدخل أساسي · الفصل 6 · المهارة FO-02: «أيّ الحركات الأربع هذه الخطوة؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
كل برنامج مكوّن من أربع حركات. فهو يسير عبر المواضع، ويسأل أسئلة، وينتج قيمًا جديدة، ويفعل في البيانات. تسمّي سوفتانزا كل حركة، فتتفكك المهمة إلى حركات لا إلى حلقات.
1. السير: المواضع، ثم ما فيها
يفحص المطبخ كل طلبية ثالثة. أولًا المواضع، ثم الطلبيات في تلك المواضع.
Gabatarwa ta Farko · Babi na 6 · Fasaha FO-02: "Wanne daga cikin motsi huɗu ne wannan matakin?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Kowane shiri motsi huɗu ne ya ƙunsa. Yana tafiya ta cikin wurare, yana tambaya tambayoyi, yana samar da sababbin daraja, kuma yana aiki a kan bayanai. Softanza tana sa wa kowane motsi suna, don haka aiki yana rarrabuwa zuwa motsi, ba madauki ba.
1. Tafiya: wurare, sannan abin da ke can
Kicin yana duba kowace oda ta uku. Da farko wuraren, sannan ododin da ke waɗannan wuraren.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
3. Samarwa: mai samarwa yana yin sababbin daraja daga tsofaffi
Kuɗin shigar rana, an rubuta mayar da kuɗi a matsayin lamba mara kyau. Mai samarwa yana tacewa, yana canzawa, yana rage ba tare da an rubuta madauki ɗaya ba.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Softanza kuma tana da abu mai tafiya na musamman, stzWalker, mai matakai, hanyoyi da tarihi. Yana zaune a matakin max na ɗakin karatu, wanda wannan darasin ba ya ɗauka, saboda haka ba a nuna shi a nan ba.
Taƙaitawa
Abin da ka cimma: ka rarraba aiki zuwa tafiya (wurare), tambaya (tambayoyi), samarwa (mai samarwa) da aiki (aikatau), ka haɗa su ba tare da madauki ba.
Me ya sa yake da muhimmanci: madauki yana ɓoye motsin da yake yi. Sa wa motsin suna yana sa shiri ya zama mai karantuwa ga wanda bai rubuta shi ba.
Abin da ke tafe: bayyana abin da kake so ka bar injin ya yanke yadda.
Declare what, not how
S1 · Builder · this chapter belongs to this rung, earned when chapters 1 to 7 and project-s1 have passed: A small tool over your workplace, its conditions declared as data. The ladder
Elementary Introduction · Chapter 7 · Skills FO-04 "Can I say what I want and let the engine decide how?" and PA-03 "Can I hand the condition over instead of writing the branch?"
Until now you named a fixed thing: "tea", the duplicates, position 4. This chapter names a condition, and hands it over as data. You say what qualifies; the engine decides how to walk the list, test each item and collect the answer. The W at the end of a name means where.
1. Find where a condition holds
@item stands for each item in turn. The condition is a piece of text between braces.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you found, counted, kept and removed items by a condition you wrote once as text, and applied one rule to two lists without changing it.
Why it matters: a condition that is data can be stored in a file, sent to a colleague, and applied to data that did not exist when it was written. A branch inside a loop can do none of that.
Coming next: conditions on text have their own language, and it is called a pattern.
Traduction provisoire : pas encore relue par un locuteur natif.
Déclarer le quoi, pas le comment
S1 · Bâtisseur · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 7 et project-s1 sont réussis : Un petit outil sur votre lieu de travail, ses conditions déclarées comme des données. L'échelle
Preuve · 5 cellules exécutées, 11 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 7 · Compétences FO-04 « Puis-je dire ce que je veux et laisser le moteur décider comment ? » et PA-03 « Puis-je transmettre la condition au lieu d'écrire le branchement ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Jusqu'ici vous nommiez une chose fixe : « tea », les doublons, la position 4. Ce chapitre nomme une condition, et la transmet comme une donnée. Vous dites ce qui compte ; le moteur décide comment parcourir la liste, tester chaque élément et rassembler la réponse. Le W à la fin d'un nom signifie where, « où ».
1. Trouver où une condition est vraie
@item désigne chaque élément à son tour. La condition est un morceau de texte entre accolades.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez trouvé, compté, gardé et retiré des éléments d'après une condition écrite une fois comme du texte, et appliqué une même règle à deux listes sans la changer.
Pourquoi c'est important : une condition qui est une donnée peut être rangée dans un fichier, envoyée à un collègue, et appliquée à des données qui n'existaient pas quand elle a été écrite. Un branchement dans une boucle ne peut rien de tout cela.
La suite : les conditions sur le texte ont leur propre langue, et elle s'appelle un motif.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
صرّح بما لا بكيف
S1 · 1 – 7 · project-s1 · أداة صغيرة على مكان عملك، شروطها مصرَّح بها كبيانات. S0 – S4
مدخل أساسي · الفصل 7 · المهارتان FO-04 «هل أستطيع أن أقول ما أريد وأترك المحرك يقرر كيف؟» وPA-03 «هل أستطيع تسليم الشرط بدلًا من كتابة التفريع؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
إلى الآن كنت تسمّي شيئًا ثابتًا: «tea»، التكرارات، الموضع 4. يسمّي هذا الفصل شرطًا، ويسلّمه كبيانات. أنت تقول ما الذي يُقبل؛ والمحرك يقرر كيف يسير في القائمة ويختبر كل عنصر ويجمع الجواب. حرف W في آخر الاسم يعني where، «حيث».
1. ابحث حيث يصدق الشرط
@item يمثّل كل عنصر بدوره. الشرط قطعة نص بين قوسين معقوفين.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
الخلاصة
ما أنجزته: وجدت وعددت وأبقيت وأزلت عناصر بشرط كتبته مرة واحدة نصًا، وطبّقت قاعدة واحدة على قائمتين دون تغييرها.
لماذا يهم: الشرط الذي هو بيانات يمكن حفظه في ملف، وإرساله إلى زميل، وتطبيقه على بيانات لم تكن موجودة حين كُتب. والتفريع داخل حلقة لا يستطيع شيئًا من ذلك.
ما التالي: للشروط على النص لغتها الخاصة، واسمها النمط.
Fassara ta farko: wani ɗan asalin harshen Hausa bai riga ya duba ta ba tukuna.
Bayyana me, ba yadda ba
S1 · 1 – 7 · project-s1 · Ƙaramin kayan aiki a kan wurin aikinka, sharuɗɗansa an bayyana su a matsayin bayanai. S0 – S4
Gabatarwa ta Farko · Babi na 7 · Fasahohi FO-04 "Zan iya faɗin abin da nake so in bar injin ya yanke yadda?" da PA-03 "Zan iya miƙa sharaɗin maimakon in rubuta reshen?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Har zuwa yanzu kana sa wa abu tabbatacce suna: "tea", maimaitattu, wuri na 4. Wannan babin yana sa wa sharaɗi suna, ya miƙa shi a matsayin bayanai. Kai kana faɗin abin da ya cancanta; injin yana yanke yadda zai bi jerin, ya gwada kowane abu ya tattara amsar. W a ƙarshen suna yana nufin where, "inda".
1. Nemo inda sharaɗi yake gaskiya
@item yana tsaya wa kowane abu bi da bi. Sharaɗin ɗan rubutu ne tsakanin manyan baka.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka nemo, ka ƙidaya, ka riƙe ka cire abubuwa bisa sharaɗin da ka rubuta sau ɗaya a matsayin rubutu, ka yi amfani da doka ɗaya a kan jeri biyu ba tare da canza ta ba.
Me ya sa yake da muhimmanci: sharaɗin da yake bayanai ana iya ajiye shi a fayil, a aika wa abokin aiki, a yi amfani da shi a kan bayanan da ba su wanzu ba lokacin da aka rubuta shi. Reshe a cikin madauki ba zai iya ko ɗaya daga cikin waɗannan ba.
Abin da ke tafe: sharuɗɗa a kan rubutu suna da harshensu, kuma ana kiransa siffa.
Patterns in text
S2 · Craftsperson · this chapter belongs to this rung, earned when chapters 1 to 11 and project-s2 have passed: A report over a real data file, with patterns, a table and a picture. The ladder
Elementary Introduction · Chapter 8 · Skill PA-01: "What is the shape of the text I am looking for?"
Chapter 7 handed over a condition on numbers. Text has conditions too, but they are about shape: four digits, a dash, two digits. A pattern writes that shape down, and rx() tests any text against it. Read a pattern left to right, one piece at a time, and it says what it matches.
1. A date has a shape
[0-9] is one digit; {4} says four of them. Read the whole pattern as four digits, a dash, two digits, a dash, two digits.
This page stores no output. Run the cell to see what it prints.
Softanza also has a builder that writes patterns from words, stzRegexMaker. It is not shown in this edition of the course, because on the build the course was checked against, its examples do not run.
Recap
Achieved: you read four patterns piece by piece, told a whole match from a match somewhere, pinned a pattern to both ends, and asked a pattern to remember a word.
Why it matters: a pattern is a condition on the shape of text. Once you can read one, a date, a phone number or a price stops being "some text" and becomes a shape you can check.
Coming next: lists and numbers have shapes too.
Traduction provisoire : pas encore relue par un locuteur natif.
Les motifs dans le texte
S2 · Artisan · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 11 et project-s2 sont réussis : Un rapport sur un vrai fichier de données, avec des motifs, une table et une image. L'échelle
Preuve · 4 cellules exécutées, 9 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 8 · Compétence PA-01 : « Quelle est la forme du texte que je cherche ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Le chapitre 7 transmettait une condition sur des nombres. Le texte a aussi des conditions, mais elles portent sur la forme : quatre chiffres, un tiret, deux chiffres. Un motif écrit cette forme, et rx() teste n'importe quel texte contre elle. Lisez un motif de gauche à droite, un morceau à la fois, et il dit ce qu'il reconnaît.
1. Une date a une forme
[0-9] est un chiffre ; {4} en demande quatre. Lisez le motif entier comme quatre chiffres, un tiret, deux chiffres, un tiret, deux chiffres.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Softanza possède aussi un constructeur qui écrit des motifs à partir de mots, stzRegexMaker. Il n'est pas montré dans cette édition du cours, parce que sur la version contre laquelle le cours a été vérifié, ses exemples ne s'exécutent pas.
Récapitulatif
Acquis : vous avez lu quatre motifs morceau par morceau, distingué une correspondance entière d'une correspondance quelque part, fixé un motif aux deux bouts, et demandé à un motif de retenir un mot.
Pourquoi c'est important : un motif est une condition sur la forme du texte. Dès que vous savez en lire un, une date, un numéro de téléphone ou un prix cessent d'être « du texte » et deviennent une forme que vous pouvez vérifier.
La suite : les listes et les nombres ont des formes eux aussi.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
الأنماط في النص
S2 · 1 – 11 · project-s2 · تقرير على ملف بيانات حقيقي، بأنماط وجدول وصورة. S0 – S4
مدخل أساسي · الفصل 8 · المهارة PA-01: «ما شكل النص الذي أبحث عنه؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
سلّم الفصل 7 شرطًا على الأرقام. وللنص شروط أيضًا، لكنها عن الشكل: أربعة أرقام، وشرطة، ورقمان. النمط يكتب ذلك الشكل، وrx() يختبر أي نص مقابله. اقرأ النمط من اليسار إلى اليمين، قطعةً قطعة، فيقول لك ما يطابقه.
1. للتاريخ شكل
[0-9] رقم واحد؛ و{4} تطلب أربعة منه. اقرأ النمط كله: أربعة أرقام، شرطة، رقمان، شرطة، رقمان.
Gabatarwa ta Farko · Babi na 8 · Fasaha PA-01: "Menene siffar rubutun da nake nema?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Babi na 7 ya miƙa sharaɗi a kan lambobi. Rubutu ma yana da sharuɗɗa, amma nasa game da siffa ne: lambobi huɗu, ɗan sanda, lambobi biyu. Siffa tana rubuta wannan siffar, kuma rx() yana gwada kowane rubutu a kanta. Karanta siffa daga hagu zuwa dama, guntu bayan guntu, kuma tana faɗin abin da take dacewa.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Softanza kuma tana da mai ginawa da yake rubuta siffofi daga kalmomi, stzRegexMaker. Ba a nuna shi a wannan bugun darasin ba, domin a kan ginin da aka duba darasin a kai, misalansa ba sa gudana.
Taƙaitawa
Abin da ka cimma: ka karanta siffofi huɗu guntu bayan guntu, ka bambanta dacewar dukan rubutu da dacewa a wani wuri, ka kafa siffa a ƙarshe biyu, ka roƙi siffa ta tuna kalma.
Me ya sa yake da muhimmanci: siffa sharaɗi ce a kan siffar rubutu. Da zarar ka iya karanta ɗaya, kwanan wata, lambar waya ko farashi sun daina zama "wani rubutu" su zama siffar da za ka iya dubawa.
Abin da ke tafe: jeri da lambobi suna da siffofi su ma.
Patterns in structure
S2 · Craftsperson · this chapter belongs to this rung, earned when chapters 1 to 11 and project-s2 have passed: A report over a real data file, with patterns, a table and a picture. The ladder
Elementary Introduction · Chapter 9 · Skill PA-02: "What is the shape of this list or these numbers?"
A list has a shape: a number, then a text. A number has a shape: four digits, or prime, or a multiple of five. Softanza writes those shapes as patterns too, with Lx() for lists and stzNumbrex for numbers, and tests data against them the way chapter 8 tested text.
1. The shape of a list
@N is a number, @S is a text. An order line is a number of portions, then a dish.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you tested lists against a shape of kinds and counts, nested a shape inside another, and tested numbers for a property, a multiple and a digit count.
Why it matters: bad data is data with the wrong shape. A shape written down once rejects every bad row that will ever arrive, and says why.
Coming next: when data has rows and columns, it is a table, and a table has questions of its own.
Traduction provisoire : pas encore relue par un locuteur natif.
Les motifs dans la structure
S2 · Artisan · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 11 et project-s2 sont réussis : Un rapport sur un vrai fichier de données, avec des motifs, une table et une image. L'échelle
Preuve · 5 cellules exécutées, 11 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 9 · Compétence PA-02 : « Quelle est la forme de cette liste ou de ces nombres ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Une liste a une forme : un nombre, puis un texte. Un nombre a une forme : quatre chiffres, ou premier, ou multiple de cinq. Softanza écrit ces formes aussi comme des motifs, avec Lx() pour les listes et stzNumbrex pour les nombres, et teste les données contre elles comme le chapitre 8 testait le texte.
1. La forme d'une liste
@N est un nombre, @S est un texte. Une ligne de commande est un nombre de portions, puis un plat.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez testé des listes contre une forme de genres et de quantités, imbriqué une forme dans une autre, et testé des nombres pour une propriété, un multiple et un nombre de chiffres.
Pourquoi c'est important : une mauvaise donnée est une donnée qui a la mauvaise forme. Une forme écrite une fois rejette chaque mauvaise ligne qui arrivera jamais, et dit pourquoi.
La suite : quand les données ont des lignes et des colonnes, c'est une table, et une table a ses propres questions.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
الأنماط في البنية
S2 · 1 – 11 · project-s2 · تقرير على ملف بيانات حقيقي، بأنماط وجدول وصورة. S0 – S4
مدخل أساسي · الفصل 9 · المهارة PA-02: «ما شكل هذه القائمة أو هذه الأرقام؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
للقائمة شكل: رقم، ثم نص. وللرقم شكل: أربعة أرقام، أو أولي، أو من مضاعفات الخمسة. تكتب سوفتانزا هذه الأشكال أنماطًا أيضًا، بـ Lx() للقوائم وstzNumbrex للأرقام، وتختبر البيانات مقابلها كما اختبر الفصل 8 النص.
Gabatarwa ta Farko · Babi na 9 · Fasaha PA-02: "Menene siffar wannan jerin ko waɗannan lambobin?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Jeri yana da siffa: lamba, sannan rubutu. Lamba tana da siffa: lambobi huɗu, ko firamare, ko ninkin biyar. Softanza tana rubuta waɗannan siffofin a matsayin siffofi su ma, da Lx() ga jeri da stzNumbrex ga lambobi, kuma tana gwada bayanai a kansu kamar yadda babi na 8 ya gwada rubutu.
1. Siffar jeri
@N lamba ce, @S rubutu ne. Layin oda adadin rabo ne, sannan abinci.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka gwada jeri a kan siffar iri da adadi, ka saka siffa a cikin wata, ka gwada lambobi don hali, ninki da adadin lambobi.
Me ya sa yake da muhimmanci: bayanai marasa kyau bayanai ne masu siffar da ba daidai ba. Siffar da aka rubuta sau ɗaya tana ƙin kowane layi mara kyau da zai taɓa zuwa, ta faɗi dalili.
Abin da ke tafe: idan bayanai suna da layuka da shafuka, tebur ne, kuma tebur yana da tambayoyinsa.
When code meets cells
S2 · Craftsperson · this chapter belongs to this rung, earned when chapters 1 to 11 and project-s2 have passed: A report over a real data file, with patterns, a table and a picture. The ladder
A restaurant's menu is a table: one row per dish, one column per fact about it. stzTable holds it, draws it, and answers questions by column, by row and by cell. And a column is a list, so everything you asked a list in the first chapters can be asked of a column.
1. Build the table, and look at it
The first row names the columns. Run the cell to see the table drawn.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you built a table from rows, read its shape, took a column, a row and a cell, found a value in a column, and asked a column the questions of chapter 7.
Why it matters: most of the world's data arrives as tables. Knowing that a column is a list means you already know how to question it.
Coming next: some answers are better drawn than printed.
Traduction provisoire : pas encore relue par un locuteur natif.
Quand le code rencontre les cellules
S2 · Artisan · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 11 et project-s2 sont réussis : Un rapport sur un vrai fichier de données, avec des motifs, une table et une image. L'échelle
Preuve · 5 cellules exécutées, 9 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 10 · Compétence PA-04 : « Quelles cellules répondent à ma question ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Le menu d'un restaurant est une table : une ligne par plat, une colonne par information sur lui. stzTable la porte, la dessine, et répond aux questions par colonne, par ligne et par cellule. Et une colonne est une liste : tout ce que vous avez demandé à une liste dans les premiers chapitres peut être demandé à une colonne.
1. Construire la table, et la regarder
La première ligne nomme les colonnes. Exécutez la cellule pour voir la table dessinée.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez construit une table à partir de lignes, lu sa forme, pris une colonne, une ligne et une cellule, trouvé une valeur dans une colonne, et posé à une colonne les questions du chapitre 7.
Pourquoi c'est important : la plupart des données du monde arrivent en tables. Savoir qu'une colonne est une liste, c'est déjà savoir l'interroger.
La suite : certaines réponses sont mieux dessinées qu'affichées.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
حين يلتقي الكود بالخلايا
S2 · 1 – 11 · project-s2 · تقرير على ملف بيانات حقيقي، بأنماط وجدول وصورة. S0 – S4
مدخل أساسي · الفصل 10 · المهارة PA-04: «أيّ الخلايا تجيب عن سؤالي؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
قائمة طعام المطعم جدول: صف لكل طبق، وعمود لكل معلومة عنه. stzTable يحمله ويرسمه ويجيب عن الأسئلة بالعمود والصف والخلية. والعمود قائمة، فكل ما سألته قائمةً في الفصول الأولى تستطيع أن تسأله عمودًا.
1. ابنِ الجدول، وانظر إليه
الصف الأول يسمّي الأعمدة. شغّل الخلية لترى الجدول مرسومًا.
Gabatarwa ta Farko · Babi na 10 · Fasaha PA-04: "Waɗanne ɗakuna ne suke amsa tambayata?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Menu na gidan abinci tebur ne: layi ɗaya ga kowane abinci, shafi ɗaya ga kowane bayani game da shi. stzTable yana riƙe shi, yana zana shi, kuma yana amsa tambayoyi ta shafi, ta layi da ta ɗaki. Kuma shafi jeri ne, saboda haka duk abin da ka tambayi jeri a babi na farko ana iya tambayar shafi.
1. Gina teburin, ka dube shi
Layin farko yana sa wa shafuka suna. Gudanar da ɗakin ka ga teburin an zana.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka gina tebur daga layuka, ka karanta siffarsa, ka ɗauki shafi, layi da ɗaki, ka nemo daraja a cikin shafi, ka yi wa shafi tambayoyin babi na 7.
Me ya sa yake da muhimmanci: yawancin bayanan duniya suna zuwa a matsayin teburi. Sanin cewa shafi jeri ne yana nufin ka riga ka san yadda za ka tambaye shi.
Abin da ke tafe: wasu amsoshi sun fi kyau a zana su fiye da a buga su.
Draw the answer
S2 · Craftsperson · this chapter belongs to this rung, earned when chapters 1 to 11 and project-s2 have passed: A report over a real data file, with patterns, a table and a picture. The ladder
Elementary Introduction · Chapter 11 · Skills SE-01 "Would a picture answer this faster than a number?" and SE-02 "Where, and how much?"
[ 3, 9, 15 ] is a correct answer to "where is haro?". It is not a quick one. A picture puts the answer where the eye already is. Softanza draws answers in text, so a drawing is something a program can print, a page can hold and a guard can check, line by line.
oP2 = new stzVBarPlot([ :tea = 6, :rice = 3, :fish = 2 ])
oP2.SetHeight(4)
oP2.Show()
#--> Tea Rice Fish
This page stores no output. Run the cell to see what it prints.
Maps belong here too: Softanza draws data on a map of a real place, and picks the projection that does not lie about it. That is the practitioner level of this skill, and a later course.
Recap
Achieved: you drew where a word is, drew a graph of three relations and asked it a question, and drew the orders of three dishes as bars, lying down and standing up.
Why it matters: the render is the instrument. A number can be right and still unread; a picture is read at once, and a picture made of text can still be checked by a guard.
Coming next: teaching Softanza what your workplace knows, so it can reason over it.
Traduction provisoire : pas encore relue par un locuteur natif.
Dessiner la réponse
S2 · Artisan · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 11 et project-s2 sont réussis : Un rapport sur un vrai fichier de données, avec des motifs, une table et une image. L'échelle
Preuve · 5 cellules exécutées, 13 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 11 · Compétences SE-01 « Une image répondrait-elle plus vite qu'un nombre ? » et SE-02 « Où, et combien ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
[ 3, 9, 15 ] est une réponse correcte à « où est haro ? ». Ce n'est pas une réponse rapide. Une image met la réponse là où l'œil est déjà. Softanza dessine ses réponses en texte : un dessin est donc quelque chose qu'un programme peut afficher, qu'une page peut porter et qu'une garde peut vérifier, ligne par ligne.
oP2 = new stzVBarPlot([ :tea = 6, :rice = 3, :fish = 2 ])
oP2.SetHeight(4)
oP2.Show()
#--> Tea Rice Fish
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Les cartes ont leur place ici aussi : Softanza dessine des données sur la carte d'un lieu réel, et choisit la projection qui ne ment pas sur elles. C'est le niveau praticien de cette compétence, et un cours ultérieur.
Récapitulatif
Acquis : vous avez dessiné où se trouve un mot, dessiné un graphe de trois relations et lui avez posé une question, et dessiné les commandes de trois plats en barres, couchées puis debout.
Pourquoi c'est important : le rendu est l'instrument. Un nombre peut être juste et rester illisible ; une image se lit d'un coup, et une image faite de texte peut encore être vérifiée par une garde.
La suite : enseigner à Softanza ce que sait votre lieu de travail, pour qu'il puisse raisonner dessus.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
ارسم الجواب
S2 · 1 – 11 · project-s2 · تقرير على ملف بيانات حقيقي، بأنماط وجدول وصورة. S0 – S4
مدخل أساسي · الفصل 11 · المهارتان SE-01 «هل تجيب صورة عن هذا أسرع من رقم؟» وSE-02 «أين، وكم؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
[ 3, 9, 15 ] جواب صحيح عن «أين haro؟». لكنه ليس جوابًا سريعًا. الصورة تضع الجواب حيث العين أصلًا. ترسم سوفتانزا الأجوبة نصًا، فالرسم شيء يستطيع البرنامج طبعه، والصفحة حمله، والحارس التحقق منه سطرًا سطرًا.
oP2 = new stzVBarPlot([ :tea = 6, :rice = 3, :fish = 2 ])
oP2.SetHeight(4)
oP2.Show()
#--> Tea Rice Fish
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
وللخرائط مكان هنا أيضًا: ترسم سوفتانزا البيانات على خريطة مكان حقيقي، وتختار الإسقاط الذي لا يكذب عليها. ذلك هو مستوى الممارس من هذه المهارة، ودرس لاحق.
الخلاصة
ما أنجزته: رسمت أين توجد كلمة، ورسمت رسمًا لثلاث علاقات وسألته سؤالًا، ورسمت طلبيات ثلاثة أطباق أعمدةً، مضطجعة ثم واقفة.
لماذا يهم: العرض هو الأداة. قد يكون الرقم صحيحًا ويبقى غير مقروء؛ والصورة تُقرأ فورًا، والصورة المصنوعة من نص ما زال الحارس يستطيع التحقق منها.
ما التالي: تعليم سوفتانزا ما يعرفه مكان عملك، لتستدل عليه.
Fassara ta farko: wani ɗan asalin harshen Hausa bai riga ya duba ta ba tukuna.
Zana amsar
S2 · 1 – 11 · project-s2 · Rahoto a kan fayil na bayanai na gaske, mai siffofi, tebur da hoto. S0 – S4
Gabatarwa ta Farko · Babi na 11 · Fasahohi SE-01 "Shin hoto zai amsa wannan da sauri fiye da lamba?" da SE-02 "Ina, kuma nawa?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
[ 3, 9, 15 ] amsa ce daidai ga "ina haro yake?". Ba amsa ce mai sauri ba. Hoto yana sanya amsar inda ido yake tuni. Softanza tana zana amsoshi da rubutu, saboda haka zane abu ne da shiri zai iya bugawa, shafi zai iya riƙewa, kuma mai tsaro zai iya dubawa, layi bayan layi.
oP2 = new stzVBarPlot([ :tea = 6, :rice = 3, :fish = 2 ])
oP2.SetHeight(4)
oP2.Show()
#--> Tea Rice Fish
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taswirori suna da wuri a nan su ma: Softanza tana zana bayanai a taswirar wuri na gaske, ta zaɓi tsarin da ba ya yin ƙarya game da su. Wannan matakin ƙwararre ne na wannan fasahar, kuma darasi na gaba.
Taƙaitawa
Abin da ka cimma: ka zana inda kalma take, ka zana zanen alaƙa uku ka yi masa tambaya, ka zana ododin abinci uku a matsayin sanduna, kwance sannan a tsaye.
Me ya sa yake da muhimmanci: nunawa ita ce kayan aunawa. Lamba na iya zama daidai amma ba a karanta ta ba; hoto ana karanta shi nan take, kuma hoton da aka yi da rubutu har yanzu mai tsaro zai iya dubawa.
Abin da ke tafe: koya wa Softanza abin da wurin aikinka ya sani, domin ta iya tunani a kai.
Teach a world
S3 · Architect · this chapter belongs to this rung, earned when chapters 1 to 14 and project-s3 have passed: A world you taught, questioned by an agent you govern. The ladder
Elementary Introduction · Chapter 12 · Skills KN-01 "What does my workplace know, and how do I write it down?" and KN-02 "What follows from what I wrote down?"
Softanza knows nothing about your restaurant, your bank or your school until you tell it. A world is what you tell it: facts, written as three words each, and a few laws about the relations between them. Once a world exists, Softanza can answer questions over it, and prove the answers.
1. State facts
A fact is subject, relation, object. Know states what a thing is; KnowRelation states any other relation.
This page stores no output. Run the cell to see what it prints.
3. A law makes reasoning possible
kind-of chains: a margherita is a kind of pizza, a pizza is a kind of food. Declare the relation transitive, and Prove follows the chain and shows every step.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you stated facts as three words each, queried them, declared one relation transitive, and had Softanza prove a chain and narrate each step; then you saw the world as the plain file it is.
Why it matters: Softanza does not know the world's facts. It knows your world, and only what you taught it, which is why its answers can be traced to a line you wrote.
Coming next: when the world has a gap, Softanza asks you about it.
Traduction provisoire : pas encore relue par un locuteur natif.
Enseigner un monde
S3 · Architecte · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 14 et project-s3 sont réussis : Un monde que vous avez enseigné, interrogé par un agent que vous gouvernez. L'échelle
Preuve · 5 cellules exécutées, 9 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 12 · Compétences KN-01 « Que sait mon lieu de travail, et comment l'écrire ? » et KN-02 « Que découle de ce que j'ai écrit ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Softanza ne sait rien de votre restaurant, de votre banque ou de votre école tant que vous ne le lui dites pas. Un monde, c'est ce que vous lui dites : des faits, écrits en trois mots chacun, et quelques lois sur les relations entre eux. Une fois qu'un monde existe, Softanza peut répondre à des questions dessus, et prouver ses réponses.
1. Énoncer des faits
Un fait, c'est sujet, relation, objet. Know dit ce qu'une chose est ; KnowRelation dit toute autre relation.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
3. Une loi rend le raisonnement possible
kind-of s'enchaîne : une margherita est une sorte de pizza, une pizza est une sorte d'aliment. Déclarez la relation transitive, et Prove suit la chaîne et montre chaque étape.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez énoncé des faits en trois mots chacun, les avez interrogés, déclaré une relation transitive, et fait prouver une chaîne à Softanza en narrant chaque étape ; puis vous avez vu le monde comme le simple fichier qu'il est.
Pourquoi c'est important : Softanza ne connaît pas les faits du monde. Il connaît votre monde, et seulement ce que vous lui avez enseigné : c'est pourquoi ses réponses remontent à une ligne que vous avez écrite.
La suite : quand le monde a un manque, Softanza vous pose la question.
مدخل أساسي · الفصل 12 · المهارتان KN-01 «ماذا يعرف مكان عملي، وكيف أكتبه؟» وKN-02 «ماذا يترتب على ما كتبته؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
لا تعرف سوفتانزا شيئًا عن مطعمك أو بنكك أو مدرستك حتى تخبرها. العالم هو ما تخبرها به: حقائق، تُكتب كل واحدة في ثلاث كلمات، وبضعة قوانين عن العلاقات بينها. وما إن يوجد عالم حتى تستطيع سوفتانزا أن تجيب عن أسئلة فوقه، وتثبت الأجوبة.
1. صرّح بالحقائق
الحقيقة فاعل، علاقة، مفعول. Know تقول ما الشيء؛ وKnowRelation تقول أي علاقة أخرى.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
الخلاصة
ما أنجزته: صرّحت بحقائق في ثلاث كلمات كل واحدة، واستعلمت عنها، وأعلنت علاقة متعدية، وجعلت سوفتانزا تثبت سلسلة وتسرد كل خطوة؛ ثم رأيت العالم على أنه الملف البسيط الذي هو.
لماذا يهم: لا تعرف سوفتانزا حقائق العالم. تعرف عالمك أنت، وما علّمته إياه فقط، ولذلك يمكن ردّ أجوبتها إلى سطر كتبته.
ما التالي: حين تكون في العالم فجوة، تسألك سوفتانزا عنها.
Fassara ta farko: wani ɗan asalin harshen Hausa bai riga ya duba ta ba tukuna.
Koyar da duniya
S3 · 1 – 14 · project-s3 · Duniyar da ka koyar, wanda wakilin da kake mulka yake tambaya. S0 – S4
Gabatarwa ta Farko · Babi na 12 · Fasahohi KN-01 "Me wurin aikina ya sani, kuma ta yaya zan rubuta shi?" da KN-02 "Me ya biyo bayan abin da na rubuta?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Softanza ba ta san komai game da gidan abincinka, bankinka ko makarantarka ba har sai ka faɗa mata. Duniya ita ce abin da ka faɗa mata: gaskiya, an rubuta kowace da kalmomi uku, da dokoki kaɗan game da alaƙoƙin da ke tsakaninsu. Da zarar duniya ta wanzu, Softanza tana iya amsa tambayoyi a kanta, ta tabbatar da amsoshin.
1. Faɗi gaskiya
Gaskiya ita ce batun, alaƙa, abu. Know yana faɗin abin da wani abu yake; KnowRelation yana faɗin kowace alaƙa.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
5. Duniyar da wannan darasin yake gudana a kai
Babukan wannan darasin suna tunani a kan fayil na duniya. Ga shi, an tambaye shi. Abin da yake bugawa ya dogara da duniyar, saboda haka gudanar da shi.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka faɗi gaskiya da kalmomi uku kowace, ka tambaye su, ka bayyana alaƙa ɗaya mai wucewa, ka sa Softanza ta tabbatar da sarƙa ta ba da labarin kowane mataki; sannan ka ga duniyar a matsayin fayil mai sauƙi da take.
Me ya sa yake da muhimmanci: Softanza ba ta san gaskiyar duniya ba. Ta san duniyar ka, kuma abin da ka koya mata kawai, shi ya sa ana iya bin amsoshinta zuwa layin da ka rubuta.
Abin da ke tafe: idan duniyar tana da giɓi, Softanza tana tambayarka game da shi.
The gap question
S3 · Architect · this chapter belongs to this rung, earned when chapters 1 to 14 and project-s3 have passed: A world you taught, questioned by an agent you govern. The ladder
Elementary Introduction · Chapter 13 · Skills KN-03 "What has Softanza asked me, and why?" and KN-04 "What does the library call the thing I mean?"
A vague request gets a guess from most systems. Softanza asks instead. You declare what a complete world must contain, and the gap between that goal and the world becomes the next question, with its reason. This chapter also turns the same idea on the library itself: you ask it what it calls the thing you mean.
1. Declare a goal
Every dish must say what it contains. Two dishes, nothing recorded: two gaps.
? StzLeft( oDoc.ExplainMethod("DuplicatesRemoved"), 20 )
#--> DuplicatesRemoved --
? oDoc.ExplainMethod("NoSuchThing")
#--> No method 'NoSuchThing' in stzList.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you declared a goal, received the gap question with its reason, answered it in words, saw the next question offer what was known, and asked the library to name a method from your intent.
Why it matters: a system that asks teaches you what a complete model needs. A system that guesses hides it.
Coming next: an agent that proposes and cannot act.
Traduction provisoire : pas encore relue par un locuteur natif.
La question du manque
S3 · Architecte · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 14 et project-s3 sont réussis : Un monde que vous avez enseigné, interrogé par un agent que vous gouvernez. L'échelle
Preuve · 6 cellules exécutées, 10 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 13 · Compétences KN-03 « Que m'a demandé Softanza, et pourquoi ? » et KN-04 « Comment la bibliothèque appelle-t-elle ce que je veux dire ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Une demande vague reçoit une supposition de la plupart des systèmes. Softanza, elle, demande. Vous déclarez ce qu'un monde complet doit contenir, et l'écart entre cet objectif et le monde devient la question suivante, avec sa raison. Ce chapitre retourne aussi la même idée vers la bibliothèque elle-même : vous lui demandez comment elle appelle ce que vous voulez dire.
1. Déclarer un objectif
Chaque plat doit dire ce qu'il contient. Deux plats, rien d'enregistré : deux manques.
? StzLeft( oDoc.ExplainMethod("DuplicatesRemoved"), 20 )
#--> DuplicatesRemoved --
? oDoc.ExplainMethod("NoSuchThing")
#--> No method 'NoSuchThing' in stzList.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez déclaré un objectif, reçu la question du manque avec sa raison, répondu avec des mots, vu la question suivante proposer ce qui était connu, et demandé à la bibliothèque de nommer une méthode d'après votre intention.
Pourquoi c'est important : un système qui demande vous apprend ce dont un modèle complet a besoin. Un système qui devine vous le cache.
La suite : un agent qui propose et ne peut pas agir.
مدخل أساسي · الفصل 13 · المهارتان KN-03 «ماذا سألتني سوفتانزا، ولماذا؟» وKN-04 «بماذا تسمّي المكتبة الشيء الذي أقصده؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
الطلب الغامض يلقى تخمينًا من معظم الأنظمة. أما سوفتانزا فتسأل. أنت تعلن ما يجب أن يحتويه عالم مكتمل، فتصير الفجوة بين ذلك الهدف والعالم هي السؤال التالي، مع سببه. ويوجّه هذا الفصل الفكرة نفسها إلى المكتبة ذاتها: تسألها بماذا تسمّي الشيء الذي تقصده.
1. أعلن هدفًا
على كل طبق أن يقول ما يحتويه. طبقان، ولا شيء مسجّل: فجوتان.
Gabatarwa ta Farko · Babi na 13 · Fasahohi KN-03 "Me Softanza ta tambaye ni, kuma me ya sa?" da KN-04 "Me ɗakin karatu ke kiran abin da nake nufi?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Buƙata mara tsari tana samun zato daga yawancin tsare-tsare. Softanza tana tambaya maimakon haka. Ka bayyana abin da cikakkiyar duniya dole ta ƙunsa, kuma giɓin da ke tsakanin wannan manufar da duniyar yana zama tambaya ta gaba, da dalilinta. Wannan babin kuma yana juya wannan tunanin ga ɗakin karatu da kansa: ka tambaye shi abin da yake kiran abin da kake nufi.
1. Bayyana manufa
Kowane abinci dole ne ya faɗi abin da yake ɗauke da shi. Abinci biyu, babu abin da aka rubuta: giɓi biyu.
? StzLeft( oDoc.ExplainMethod("DuplicatesRemoved"), 20 )
#--> DuplicatesRemoved --
? oDoc.ExplainMethod("NoSuchThing")
#--> No method 'NoSuchThing' in stzList.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka bayyana manufa, ka karɓi tambayar giɓi da dalilinta, ka amsa da kalmomi, ka ga tambaya ta gaba tana ba da abin da aka sani, ka roƙi ɗakin karatu ya sa wa hanya suna daga nufinka.
Me ya sa yake da muhimmanci: tsarin da yake tambaya yana koya maka abin da cikakken samfuri ke buƙata. Tsarin da yake zato yana ɓoye shi.
Abin da ke tafe: wakili wanda yake ba da shawara amma ba zai iya aiki ba.
An agent that cannot hurt
S3 · Architect · this chapter belongs to this rung, earned when chapters 1 to 14 and project-s3 have passed: A world you taught, questioned by an agent you govern. The ladder
Elementary Introduction · Chapter 14 · Skills GO-01 "What does my agent cover, and what can be undone?", GO-02 "Who is allowed to make this real?" and GO-03 "What would it have done?"
An agent is a program that acts on its own. Softanza lets you build one safely, because the safety is not in the agent: it is in the world around it. A court judges the declaration, a gate stands between every proposal and every effect, and a rehearsal room takes the action before reality does.
1. Declare an agent, and let the court judge it
An agent is a text file. It must say what it covers and what class of act it takes, or it is never scheduled.
oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
#--> FALSE
? oGBad.Violations()[1][:message]
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate
This page stores no output. Run the cell to see what it prints.
4. The governed shape
A gate between the proposal and the effect, and a trace after it.
oPlan.SetExecutor( LLMActor("helper") )
aMay = oPlan.MayCommit()
? aMay[1]
#--> FALSE
? aMay[2]
#--> actor 'helper' cannot commit -- it lacks the 'effectful' capability (required by operation 1)
This page stores no output. Run the cell to see what it prints.
7. Only a committing actor, inside its scope, changes reality
The proposer is creative. The committer is deterministic, holds the capability, and may touch one folder and nothing else. Now, and only now, the file exists.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you declared an agent and had the court admit it and refuse its careless twin, wired a proposal through a gate and saw the unsound shape named, and rehearsed an action that never touched the disk and that an AI could not commit.
Why it matters: a student can build an agent because the agent cannot do harm. The safety is in the court, the gate and the rehearsal room, not in the student's good intentions.
Coming next: the instruments that checked every chapter of this course, in your hands.
Traduction provisoire : pas encore relue par un locuteur natif.
Un agent qui ne peut pas nuire
S3 · Architecte · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 14 et project-s3 sont réussis : Un monde que vous avez enseigné, interrogé par un agent que vous gouvernez. L'échelle
Preuve · 7 cellules exécutées, 14 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 14 · Compétences GO-01 « Que couvre mon agent, et que peut-on annuler ? », GO-02 « Qui a le droit de rendre cela réel ? » et GO-03 « Qu'aurait-il fait ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Un agent est un programme qui agit de lui-même. Softanza vous laisse en construire un sans danger, parce que la sécurité n'est pas dans l'agent : elle est dans le monde qui l'entoure. Une cour juge la déclaration, une porte se dresse entre chaque proposition et chaque effet, et une salle de répétition reçoit l'action avant la réalité.
1. Déclarer un agent, et laisser la cour le juger
Un agent est un fichier texte. Il doit dire ce qu'il couvre et quelle classe d'actes il accomplit, sinon il n'est jamais planifié.
oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
#--> FALSE
? oGBad.Violations()[1][:message]
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
4. La forme gouvernée
Une porte entre la proposition et l'effet, et une trace après lui.
oPlan.SetExecutor( LLMActor("helper") )
aMay = oPlan.MayCommit()
? aMay[1]
#--> FALSE
? aMay[2]
#--> actor 'helper' cannot commit -- it lacks the 'effectful' capability (required by operation 1)
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
7. Seul un acteur de validation, dans sa portée, change la réalité
Le proposant est créatif. Le validateur est déterministe, détient la capacité, et peut toucher un dossier et rien d'autre. Maintenant, et seulement maintenant, le fichier existe.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez déclaré un agent et fait admettre par la cour, puis refuser son jumeau négligent, relié une proposition à travers une porte et vu la forme non saine nommée, et répété une action qui n'a jamais touché le disque et qu'une IA n'a pas pu valider.
Pourquoi c'est important : un élève peut construire un agent parce que l'agent ne peut pas nuire. La sécurité est dans la cour, la porte et la salle de répétition, pas dans les bonnes intentions de l'élève.
La suite : les instruments qui ont vérifié chaque chapitre de ce cours, entre vos mains.
مدخل أساسي · الفصل 14 · المهارات GO-01 «ماذا يغطي وكيلي، وما الذي يمكن التراجع عنه؟» وGO-02 «من المسموح له أن يجعل هذا حقيقيًا؟» وGO-03 «ماذا كان سيفعل؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
الوكيل برنامج يتصرّف من تلقاء نفسه. تتيح لك سوفتانزا أن تبني واحدًا بأمان، لأن الأمان ليس في الوكيل: بل في العالم من حوله. محكمة تحكم على التصريح، وبوابة تقف بين كل اقتراح وكل أثر، وغرفة تدريب تتلقى الفعل قبل الواقع.
1. صرّح بوكيل، ودع المحكمة تحكم عليه
الوكيل ملف نصي. عليه أن يقول ما يغطيه وأيّ صنف من الأفعال يقوم به، وإلا فلن يُجدول أبدًا.
oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
#--> FALSE
? oGBad.Violations()[1][:message]
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
الخلاصة
ما أنجزته: صرّحت بوكيل فقبلته المحكمة ورفضت توأمه المهمل، ووصلت اقتراحًا عبر بوابة ورأيت الشكل غير السليم مسمّى، وتدرّبت على فعل لم يمسّ القرص قط ولم يستطع ذكاء اصطناعي تنفيذه.
لماذا يهم: يستطيع الطالب أن يبني وكيلًا لأن الوكيل لا يستطيع أن يؤذي. الأمان في المحكمة والبوابة وغرفة التدريب، لا في حسن نوايا الطالب.
ما التالي: الأدوات التي فحصت كل فصل من هذا الدرس، بين يديك.
Fassara ta farko: wani ɗan asalin harshen Hausa bai riga ya duba ta ba tukuna.
Wakilin da ba zai iya cutarwa ba
S3 · 1 – 14 · project-s3 · Duniyar da ka koyar, wanda wakilin da kake mulka yake tambaya. S0 – S4
Gabatarwa ta Farko · Babi na 14 · Fasahohi GO-01 "Me wakilina ya shafa, kuma me za a iya juyawa?", GO-02 "Wa aka yarda ya sa wannan ya zama gaskiya?" da GO-03 "Me da ya yi?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Wakili shiri ne da yake aiki da kansa. Softanza tana barinka ka gina ɗaya lafiya, domin amincin ba a cikin wakilin yake ba: yana cikin duniyar da ke kewaye da shi. Kotu tana hukunta bayanin, ƙofa tana tsaye tsakanin kowace shawara da kowane tasiri, kuma ɗakin gwaji yana ɗaukar aikin kafin gaskiya.
1. Bayyana wakili, ka bar kotu ta hukunta shi
Wakili fayil na rubutu ne. Dole ne ya faɗi abin da ya shafa da irin aikin da yake yi, in ba haka ba ba za a taɓa tsara shi ba.
oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
#--> FALSE
? oGBad.Violations()[1][:message]
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
4. Siffar da ake mulka
Ƙofa tsakanin shawarar da tasirin, da bin sawu bayansa.
oPlan.SetExecutor( LLMActor("helper") )
aMay = oPlan.MayCommit()
? aMay[1]
#--> FALSE
? aMay[2]
#--> actor 'helper' cannot commit -- it lacks the 'effectful' capability (required by operation 1)
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
7. Mai aiwatarwa kaɗai, a cikin iyakarsa, yake canza gaskiya
Mai ba da shawara mai ƙirƙira ne. Mai aiwatarwa tabbatacce ne, yana riƙe da iko, kuma zai iya taɓa babban fayil ɗaya kawai. Yanzu, kuma yanzu kawai, fayil ɗin yana nan.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka bayyana wakili kotu ta karɓe shi ta ƙi tagwayensa mara kula, ka haɗa shawara ta ƙofa ka ga an sa wa siffar mara inganci suna, ka yi gwajin aikin da bai taɓa faifan ba kuma AI ba ta iya aiwatar da shi ba.
Me ya sa yake da muhimmanci: ɗalibi zai iya gina wakili domin wakilin ba zai iya cutarwa ba. Amincin yana cikin kotu, ƙofa da ɗakin gwaji, ba a cikin kyakkyawar niyyar ɗalibin ba.
Abin da ke tafe: kayan aikin da suka duba kowane babi na wannan darasin, a hannunka.
Write a narration
S4 · Master · this chapter belongs to this rung, earned when chapters 1 to 15 and project-s4 have passed: A new chapter for this course, in two languages, whose guard is green. The ladder
Elementary Introduction · Chapter 15 · Skills CR-01 "Does every example in my document still run?", CR-02 "What would break if I were wrong?" and CR-03 "Why did it say no?"
Every chapter you have read was checked by running it, cell by cell, before it reached you. This last chapter hands you the same instruments: a narration whose every cell runs, a guard with a positive and a negative case, and a verdict that explains itself.
1. A narration is a text file with promises
A cell promises what it prints. The chapter runner runs every cell in a fresh process and compares.
This page stores no output. Run the cell to see what it prints.
3. A guard has a positive case and a negative case
A check that can only pass proves nothing. The guard below would be red if the runner ever accepted the broken document, and red if it ever refused the good one.
This page stores no output. Run the cell to see what it prints.
4. A verdict explains itself
The exercise checker of this course is one object. Hand it a promise and a program, and it says what happened in the learner's own terms, never the expected value.
oNo = new stzExerciseCheck("demo", [ "3" ], "? 42", [])
? oNo.Passed()
#--> FALSE
? oNo.Why()
#--> Your program ran, but what it printed is not yet what the task asks. It printed: 42
oYes = new stzExerciseCheck("demo", [ "3" ], "? 1 + 2", [])
? oYes.Why()
#--> Every promise of the exercise was kept when your program ran.
This page stores no output. Run the cell to see what it prints.
Recap
Achieved: you wrote a narration and ran it, watched a wrong promise get caught, wrote a guard with both a positive and a negative case, and read a verdict that names what was printed and not what was expected.
Why it matters: a document that runs cannot drift from the code it describes. That is the law every page of this course obeyed, and now it is yours.
Coming next: the level projects. A level is earned when a project of your own passes its guards.
Traduction provisoire : pas encore relue par un locuteur natif.
Écrire une narration
S4 · Maître · ce chapitre appartient à ce barreau, gagné quand les chapitres 1 à 15 et project-s4 sont réussis : Un nouveau chapitre pour ce cours, en deux langues, dont la garde est verte. L'échelle
Preuve · 4 cellules exécutées, 8 promesses tenues, dans chacune des quatre éditions · la preuve de ce chapitre
Introduction élémentaire · Chapitre 15 · Compétences CR-01 « Chaque exemple de mon document tourne-t-il encore ? », CR-02 « Qu'est-ce qui casserait si je me trompais ? » et CR-03 « Pourquoi a-t-il dit non ? »
Traduction provisoire, en attente de relecture par un locuteur natif.
Chaque chapitre que vous avez lu a été vérifié en l'exécutant, cellule par cellule, avant de vous parvenir. Ce dernier chapitre vous remet les mêmes instruments : une narration dont chaque cellule s'exécute, une garde avec un cas positif et un cas négatif, et un verdict qui s'explique lui-même.
1. Une narration est un fichier texte avec des promesses
Une cellule promet ce qu'elle affiche. Le lanceur de chapitres exécute chaque cellule dans un processus neuf et compare.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
3. Une garde a un cas positif et un cas négatif
Une vérification qui ne peut que réussir ne prouve rien. La garde ci-dessous serait rouge si le lanceur acceptait un jour le document cassé, et rouge s'il refusait un jour le bon.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
4. Un verdict s'explique lui-même
Le vérificateur d'exercices de ce cours est un seul objet. Donnez-lui une promesse et un programme, et il dit ce qui s'est passé dans les termes de l'apprenant, jamais la valeur attendue.
oNo = new stzExerciseCheck("demo", [ "3" ], "? 42", [])
? oNo.Passed()
#--> FALSE
? oNo.Why()
#--> Your program ran, but what it printed is not yet what the task asks. It printed: 42
oYes = new stzExerciseCheck("demo", [ "3" ], "? 1 + 2", [])
? oYes.Why()
#--> Every promise of the exercise was kept when your program ran.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
Récapitulatif
Acquis : vous avez écrit une narration et l'avez exécutée, vu une promesse fausse se faire attraper, écrit une garde avec un cas positif et un cas négatif, et lu un verdict qui nomme ce qui a été affiché et non ce qui était attendu.
Pourquoi c'est important : un document qui s'exécute ne peut pas dériver du code qu'il décrit. C'est la loi que chaque page de ce cours a suivie, et maintenant elle est à vous.
La suite : les projets de niveau. Un niveau s'obtient quand un projet à vous passe ses gardes.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
اكتب سردًا
S4 · 1 – 15 · project-s4 · فصل جديد لهذا الدرس، بلغتين، حارسه أخضر. S0 – S4
مدخل أساسي · الفصل 15 · المهارات CR-01 «هل ما زال كل مثال في وثيقتي يعمل؟» وCR-02 «ماذا سينكسر لو كنت مخطئًا؟» وCR-03 «لماذا قال لا؟»
ترجمة أولية، في انتظار مراجعة متحدث أصلي.
كل فصل قرأته فُحص بتشغيله، خليةً خلية، قبل أن يصلك. يسلّمك هذا الفصل الأخير الأدوات نفسها: سردًا تعمل كل خلاياه، وحارسًا بحالة إيجابية وأخرى سلبية، وحكمًا يشرح نفسه.
1. السرد ملف نصي فيه وعود
الخلية تعد بما تطبعه. يشغّل مشغّل الفصول كل خلية في عملية جديدة ويقارن.
oNo = new stzExerciseCheck("demo", [ "3" ], "? 42", [])
? oNo.Passed()
#--> FALSE
? oNo.Why()
#--> Your program ran, but what it printed is not yet what the task asks. It printed: 42
oYes = new stzExerciseCheck("demo", [ "3" ], "? 1 + 2", [])
? oYes.Why()
#--> Every promise of the exercise was kept when your program ran.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
الخلاصة
ما أنجزته: كتبت سردًا وشغّلته، ورأيت وعدًا خاطئًا يُضبط، وكتبت حارسًا بحالة إيجابية وأخرى سلبية، وقرأت حكمًا يسمّي ما طُبع لا ما كان منتظرًا.
لماذا يهم: الوثيقة التي تعمل لا تنحرف عن الشفرة التي تصفها. هذا هو القانون الذي التزمته كل صفحة من هذا الدرس، وقد صار لك الآن.
ما التالي: مشاريع المستويات. يُكتسب المستوى حين يجتاز مشروع من عندك حرّاسه.
Fassara ta farko: wani ɗan asalin harshen Hausa bai riga ya duba ta ba tukuna.
Rubuta labari
S4 · 1 – 15 · project-s4 · Sabon babi ga wannan darasin, da harsuna biyu, wanda mai tsaronsa kore ne. S0 – S4
Gabatarwa ta Farko · Babi na 15 · Fasahohi CR-01 "Shin kowane misali a takardata har yanzu yana gudana?", CR-02 "Me zai karye idan na yi kuskure?" da CR-03 "Me ya sa ya ce a'a?"
Fassarar farko ce, tana jiran bita daga mai magana da Hausa a matsayin harshen uwa.
Kowane babi da ka karanta an duba shi ta hanyar gudanar da shi, ɗaki bayan ɗaki, kafin ya kai gare ka. Wannan babin na ƙarshe yana miƙa maka kayan aiki iri ɗaya: labari wanda kowane ɗakinsa yake gudana, mai tsaro mai yanayi mai kyau da mara kyau, da hukunci da yake bayyana kansa.
1. Labari fayil na rubutu ne mai alkawura
Ɗaki yana yin alkawarin abin da yake bugawa. Mai gudanar da babuka yana gudanar da kowane ɗaki a sabon tsari ya kwatanta.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
3. Mai tsaro yana da yanayi mai kyau da mara kyau
Dubawar da ba za ta iya faɗuwa ba ba ta tabbatar da komai. Mai tsaron da ke ƙasa zai zama ja idan mai gudanarwa ya taɓa karɓar takardar da ta karye, kuma ja idan ya taɓa ƙin mai kyau.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
4. Hukunci yana bayyana kansa
Mai duba ayyukan wannan darasin abu ɗaya ne. Ba shi alkawari da shiri, kuma yana faɗin abin da ya faru da kalmomin mai koyo, ba darajar da ake tsammani ba.
oNo = new stzExerciseCheck("demo", [ "3" ], "? 42", [])
? oNo.Passed()
#--> FALSE
? oNo.Why()
#--> Your program ran, but what it printed is not yet what the task asks. It printed: 42
oYes = new stzExerciseCheck("demo", [ "3" ], "? 1 + 2", [])
? oYes.Why()
#--> Every promise of the exercise was kept when your program ran.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
Taƙaitawa
Abin da ka cimma: ka rubuta labari ka gudanar da shi, ka ga an kama alkawari mara daidai, ka rubuta mai tsaro mai yanayi mai kyau da mara kyau, ka karanta hukuncin da yake ambaton abin da aka buga ba abin da ake tsammani ba.
Me ya sa yake da muhimmanci: takardar da take gudana ba za ta iya kauce wa lambar da take kwatantawa ba. Wannan ita ce dokar da kowane shafi na wannan darasin ya bi, kuma yanzu taka ce.
Abin da ke tafe: ayyukan matakai. Ana samun mataki lokacin da aikin naka ya wuce masu tsaronsa.
The cooperative
A farmers' cooperative on the Tillaberi plain. Its members bring what they grow, and they ask the cooperative for seed, fertiliser, credit and a place to store the harvest. This page is the world itself, questioned: every cell runs over worlds/cooperative.zknw, the plain file the chapters reason over when you choose this world, and the page stores nothing.
This page stores no output. Run the cell to see what it prints.
2. What was requested
Seven requests came in this season. Some ask for the same thing, which is why chapter 1 removes the duplicates and chapter 5 counts the most requested.
This page stores no output. Run the cell to see what it prints.
4. A question it cannot answer yet
Who requested the credit? The world does not say who made each request, so the answer is empty, not a guess. Chapter 12 shows how you add the missing fact; chapter 13 shows how Softanza asks you about a gap like this one.
This page stores no output. Run the cell to see what it prints.
Traduction provisoire : pas encore relue par un locuteur natif.
La coopérative
Une coopérative agricole de la plaine de Tillabéri. Ses membres apportent ce qu'ils cultivent et demandent à la coopérative des semences, de l'engrais, du crédit et une place pour stocker la récolte. Cette page est le monde lui-même, interrogé : chaque cellule s'exécute sur worlds/cooperative.zknw, le simple fichier sur lequel les chapitres raisonnent quand vous choisissez ce monde, et la page ne stocke rien.
1. Son nom
La première chose qu'un monde dit, c'est ce qu'il est.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
2. Ce qui a été demandé
Sept demandes sont arrivées cette saison. Certaines demandent la même chose : c'est pourquoi le chapitre 1 retire les doublons et le chapitre 5 compte la demande la plus fréquente.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
4. Une question à laquelle il ne peut pas encore répondre
Qui a demandé le crédit ? Le monde ne dit pas qui a fait chaque demande, donc la réponse est vide, pas devinée. Le chapitre 12 montre comment ajouter le fait manquant ; le chapitre 13 montre comment Softanza vous interroge sur un manque comme celui-ci.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
التعاونية
تعاونية زراعية في سهل تيلابيري. يجلب أعضاؤها ما يزرعونه، ويطلبون من التعاونية البذور والسماد والقرض ومكانًا لتخزين المحصول. هذه الصفحة هي العالم نفسه مسؤولًا: كل خلية تعمل على worlds/cooperative.zknw، الملف البسيط الذي تستدل عليه الفصول حين تختار هذا العالم، والصفحة لا تخزّن شيئًا.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
4. سؤال لا يستطيع الإجابة عنه بعد
من طلب القرض؟ لا يقول العالم من قدّم كل طلب، فالجواب فارغ لا تخمين. يبيّن الفصل 12 كيف تضيف الحقيقة الناقصة؛ ويبيّن الفصل 13 كيف تسألك سوفتانزا عن فجوة كهذه.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
Fassara ta farko: wani ɗan asalin harshen Hausa bai riga ya duba ta ba tukuna.
Ƙungiyar haɗin gwiwa
Ƙungiyar manoma ta haɗin gwiwa a filin Tillaberi. Membobinta suna kawo abin da suke nomawa, kuma suna neman iri, taki, bashi da wurin ajiyar amfani daga ƙungiyar. Wannan shafin duniyar kanta ce, an tambaye ta: kowane ɗaki yana gudana a kan worlds/cooperative.zknw, fayil mai sauƙi da babobin ke tunani a kai idan ka zaɓi wannan duniyar, kuma shafin ba ya ajiye komai.
1. Sunanta
Abu na farko da duniya take faɗa shi ne abin da take.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
2. Abin da aka nema
Buƙatu bakwai sun zo a wannan kakar. Wasu suna neman abu ɗaya, shi ya sa babi na 1 yake cire maimaitattu kuma babi na 5 yake ƙidaya abin da aka fi nema.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
4. Tambayar da ba za ta iya amsawa ba tukuna
Wa ya nemi bashi? Duniyar ba ta faɗa wa ya yi kowace buƙata ba, don haka amsar babu kome, ba tsammani ba. Babi na 12 yana nuna yadda ake ƙara gaskiyar da ta ɓace; babi na 13 yana nuna yadda Softanza take tambayarka game da giɓi irin wannan.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
The school
A secondary school in Niamey. Families and pupils come to the office for transcripts, textbooks, a place in a class and certificates. This page is the world itself, questioned: every cell runs over worlds/school.zknw, the plain file the chapters reason over when you choose this world, and the page stores nothing.
1. Its name
The first thing a world says is what it is.
Runs on the desktop with Softanza
? EduWorldName()
#--> lycee-de-niamey (school)
This page stores no output. Run the cell to see what it prints.
2. What was requested
Seven requests reached the office this week. Some ask for the same thing, which is why chapter 1 removes the duplicates and chapter 5 counts the most requested.
This page stores no output. Run the cell to see what it prints.
4. A question it cannot answer yet
Who teaches history? The world says which class history is taught in and who leads that class, but not who teaches the subject, so the answer is empty, not a guess. Chapter 12 shows how you add the missing fact; chapter 13 shows how Softanza asks you about a gap like this one.
This page stores no output. Run the cell to see what it prints.
Traduction provisoire : pas encore relue par un locuteur natif.
L'école
Un lycée de Niamey. Les familles et les élèves viennent au bureau pour des relevés de notes, des manuels, une place dans une classe et des certificats. Cette page est le monde lui-même, interrogé : chaque cellule s'exécute sur worlds/school.zknw, le simple fichier sur lequel les chapitres raisonnent quand vous choisissez ce monde, et la page ne stocke rien.
1. Son nom
La première chose qu'un monde dit, c'est ce qu'il est.
S'exécute sur l'ordinateur avec Softanza
? EduWorldName()
#--> lycee-de-niamey (school)
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
2. Ce qui a été demandé
Sept demandes sont arrivées au bureau cette semaine. Certaines demandent la même chose : c'est pourquoi le chapitre 1 retire les doublons et le chapitre 5 compte la demande la plus fréquente.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
4. Une question à laquelle il ne peut pas encore répondre
Qui enseigne l'histoire ? Le monde dit dans quelle classe l'histoire est enseignée et qui dirige cette classe, mais pas qui enseigne la matière : la réponse est donc vide, pas devinée. Le chapitre 12 montre comment ajouter le fait manquant ; le chapitre 13 montre comment Softanza vous interroge sur un manque comme celui-ci.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
المدرسة
مدرسة ثانوية في نيامي. تأتي الأسر والتلاميذ إلى المكتب طلبًا لكشوف الدرجات والكتب المدرسية ومقعد في صف وشهادات. هذه الصفحة هي العالم نفسه مسؤولًا: كل خلية تعمل على worlds/school.zknw، الملف البسيط الذي تستدل عليه الفصول حين تختار هذا العالم، والصفحة لا تخزّن شيئًا.
1. اسمه
أول ما يقوله العالم هو ما هو.
تعمل على الحاسوب مع سوفتانزا
? EduWorldName()
#--> lycee-de-niamey (school)
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
2. ما طُلب
وصل سبعة طلبات إلى المكتب هذا الأسبوع. بعضها يطلب الشيء نفسه، ولهذا يزيل الفصل 1 المكررات ويعدّ الفصل 5 الأكثر طلبًا.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
4. سؤال لا يستطيع الإجابة عنه بعد
من يدرّس التاريخ؟ يقول العالم في أي صف يُدرَّس التاريخ ومن يقود ذلك الصف، لكن لا من يدرّس المادة، فالجواب فارغ لا تخمين. يبيّن الفصل 12 كيف تضيف الحقيقة الناقصة؛ ويبيّن الفصل 13 كيف تسألك سوفتانزا عن فجوة كهذه.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
Fassara ta farko: wani ɗan asalin harshen Hausa bai riga ya duba ta ba tukuna.
Makaranta
Makarantar sakandare a Yamai. Iyalai da ɗalibai suna zuwa ofis don neman takardar sakamako, littattafai, wuri a aji da shaidar karatu. Wannan shafin duniyar kanta ce, an tambaye ta: kowane ɗaki yana gudana a kan worlds/school.zknw, fayil mai sauƙi da babobin ke tunani a kai idan ka zaɓi wannan duniyar, kuma shafin ba ya ajiye komai.
1. Sunanta
Abu na farko da duniya take faɗa shi ne abin da take.
Tana gudana a kwamfuta tare da Softanza
? EduWorldName()
#--> lycee-de-niamey (school)
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
2. Abin da aka nema
Buƙatu bakwai sun isa ofis a wannan makon. Wasu suna neman abu ɗaya, shi ya sa babi na 1 yake cire maimaitattu kuma babi na 5 yake ƙidaya abin da aka fi nema.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
4. Tambayar da ba za ta iya amsawa ba tukuna
Wa yake koyar da tarihi? Duniyar tana faɗa a wane aji ake koyar da tarihi da kuma wa yake jagorantar ajin, amma ba wa yake koyar da darasin ba, don haka amsar babu kome, ba tsammani ba. Babi na 12 yana nuna yadda ake ƙara gaskiyar da ta ɓace; babi na 13 yana nuna yadda Softanza take tambayarka game da giɓi irin wannan.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
The restaurant
Bella Cucina, a small restaurant, and the world this course runs over unless you choose another. The kitchen receives orders; each order asks for a dish, and dishes contain ingredients. This page is the world itself, questioned: every cell runs over worlds/workplace.zknw, the plain file the chapters reason over, and the page stores nothing.
1. Its name
The first thing a world says is what it is.
Runs on the desktop with Softanza
? EduWorldName()
#--> bella-cucina (restaurant)
This page stores no output. Run the cell to see what it prints.
2. What was requested
Six orders came in today. Some ask for the same dish, which is why chapter 1 removes the duplicates and chapter 5 counts the most requested.
This page stores no output. Run the cell to see what it prints.
4. A question it cannot answer yet
Who ordered the lasagna? The world says what each order requested, but not who placed it, so the answer is empty, not a guess. Chapter 12 shows how you add the missing fact; chapter 13 shows how Softanza asks you about a gap like this one.
This page stores no output. Run the cell to see what it prints.
Traduction provisoire : pas encore relue par un locuteur natif.
Le restaurant
Bella Cucina, un petit restaurant, et le monde sur lequel ce cours s'exécute sauf si vous en choisissez un autre. La cuisine reçoit des commandes ; chaque commande demande un plat, et les plats contiennent des ingrédients. Cette page est le monde lui-même, interrogé : chaque cellule s'exécute sur worlds/workplace.zknw, le simple fichier sur lequel les chapitres raisonnent, et la page ne stocke rien.
1. Son nom
La première chose qu'un monde dit, c'est ce qu'il est.
S'exécute sur l'ordinateur avec Softanza
? EduWorldName()
#--> bella-cucina (restaurant)
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
2. Ce qui a été demandé
Six commandes sont arrivées aujourd'hui. Certaines demandent le même plat : c'est pourquoi le chapitre 1 retire les doublons et le chapitre 5 compte la demande la plus fréquente.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
4. Une question à laquelle il ne peut pas encore répondre
Qui a commandé les lasagnes ? Le monde dit ce que chaque commande demande, mais pas qui l'a passée : la réponse est donc vide, pas devinée. Le chapitre 12 montre comment ajouter le fait manquant ; le chapitre 13 montre comment Softanza vous interroge sur un manque comme celui-ci.
Cette page ne stocke aucun résultat. Exécutez la cellule pour voir ce qu'elle affiche.
ترجمة أولية: لم يراجعها بعدُ ناطق أصلي بالعربية.
المطعم
بيلا كوتشينا، مطعم صغير، والعالم الذي يعمل عليه هذا المقرر ما لم تختر غيره. يتلقى المطبخ طلبيات؛ كل طلبية تطلب طبقًا، والأطباق تحتوي على مكونات. هذه الصفحة هي العالم نفسه مسؤولًا: كل خلية تعمل على worlds/workplace.zknw، الملف البسيط الذي تستدل عليه الفصول، والصفحة لا تخزّن شيئًا.
1. اسمه
أول ما يقوله العالم هو ما هو.
تعمل على الحاسوب مع سوفتانزا
? EduWorldName()
#--> bella-cucina (restaurant)
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
2. ما طُلب
وصلت ست طلبيات اليوم. بعضها يطلب الطبق نفسه، ولهذا يزيل الفصل 1 المكررات ويعدّ الفصل 5 الأكثر طلبًا.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
4. سؤال لا يستطيع الإجابة عنه بعد
من طلب اللازانيا؟ يقول العالم ما طلبته كل طلبية، لكن لا من قدّمها، فالجواب فارغ لا تخمين. يبيّن الفصل 12 كيف تضيف الحقيقة الناقصة؛ ويبيّن الفصل 13 كيف تسألك سوفتانزا عن فجوة كهذه.
لا تخزّن هذه الصفحة أي نتيجة. شغّل الخلية لترى ما تطبعه.
Fassara ta farko: wani ɗan asalin harshen Hausa bai riga ya duba ta ba tukuna.
Gidan abinci
Bella Cucina, ƙaramin gidan abinci, kuma duniyar da wannan darasin ke gudana a kai sai dai idan ka zaɓi wata. Ɗakin girki yana karɓar oda; kowace oda tana neman abinci ɗaya, kuma abinci yana ɗauke da kayan haɗi. Wannan shafin duniyar kanta ce, an tambaye ta: kowane ɗaki yana gudana a kan worlds/workplace.zknw, fayil mai sauƙi da babobin ke tunani a kai, kuma shafin ba ya ajiye komai.
1. Sunanta
Abu na farko da duniya take faɗa shi ne abin da take.
Tana gudana a kwamfuta tare da Softanza
? EduWorldName()
#--> bella-cucina (restaurant)
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
2. Abin da aka nema
Oda shida sun zo yau. Wasu suna neman abinci ɗaya, shi ya sa babi na 1 yake cire maimaitattu kuma babi na 5 yake ƙidaya abin da aka fi nema.
Wannan shafin ba ya ajiye sakamako. Gudanar da ɗakin don ganin abin da yake bugawa.
4. Tambayar da ba za ta iya amsawa ba tukuna
Wa ya yi odar lasagna? Duniyar tana faɗa abin da kowace oda ta nema, amma ba wa ya yi ta ba, don haka amsar babu kome, ba tsammani ba. Babi na 12 yana nuna yadda ake ƙara gaskiyar da ta ɓace; babi na 13 yana nuna yadda Softanza take tambayarka game da giɓi irin wannan.