Lean-lang !
[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
Aujourd’hui, 3/4 de siècle après les pionniers, les étudiants d’info (miage) peuvent aussi dessiner (vraiment) un circuit d’ordinateur ! Suite
après 33 ans à dessiner des circuits électroniques, logiques, combinatoires, séquentiels, […] en tant qu’étudiant, puis enseignant (sans que cela
Tous les ans, nous remplissons une fiche de service comptabilisant les heures effectuées pour l’enseignement et l’encadrement. En interne, depuis