Sofus

Version 2.4 avec calcul formel et micromondes de Smullyan; le mode lent est risqué: Il faut mettre un “palimpseste” ou initialiser la tortue

Pour programmer en ligne: la version française

Pour le cycle 3: version expérimentale

To program easy-greasy: the english version

programa en línea aqui

(muchas gracias Jose Manuel Ruiz Gutierrez)

Le manuel de Manuel

logo

La parodie de La Fontaine ci-dessous, inspirée par la signature du contrat MEN-Microsoft France, est bien entendue sous licence Creative Commons

Le Lobbyiste et le Libriste

La raison du plus fort est toujours la meilleure :

Nous l’allons montrer tout à l’heure.

Un Libriste codait sans intérêt

Dans un lieu un peu austère.

Un Lobbyiste survient à jeun qui allait au ministère,

Et que le fric en ces lieux attirait.

Qui te rend si hardi de troubler mon codage ?

Dit cet animal plein de rage :

Tu seras châtié de ta témérité.

Ne se mette pas en colère ;

Mais plutôt qu’elle considère

Que je me vais programmant

Dans le courant,

Plus de vingt millions au-dessous d’Elle,

Et que par conséquent, sans aucune thune,

Je ne puis troubler sa fortune.

Et je sais que de moi tu médis l’an passé.

Reprit le Libriste, je n’étais encore point chez Facebook.

Car vous ne m’épargnez guère,

Vous, vos licences libres, et vos communs biens.

On me l’a dit : il faut que je me venge.

Là-dessus, encouragé par ses politiques succès,

Le Lobbyiste l’emporte, et puis le mange,

Sans autre forme de procès.

(d’après Jean de La Fontaine)

Sophus est un langage de programmation pour l’enseignement de l’algorithmique au collège. Parmi ses particularités il y a le fait que Sophus

Voir ici pour en savoir plus et des exemples

Logique

Voici une description d’un micromonde de logique appelé “Transylvanie” par Raymond Smullyan:

Le dossier “Sofus_Blockly” contient une version hors ligne de Blockly, munie de toutes les fonctions mathématiques de base de Blockly, ainsi que la version numérique de Sofus, avec le graphisme tortue.

Pi par Viète

Le dossier “ancien” contient l’ancienne version, sous forme de webApp, qui nécessitait l’usage du clavier pour rédiger.

Le fichier sophus.html contient l’interpréteur Sophus avec une sortie en français et la liste des instructions: Cliquer sur “syntaxe” pour la voir. Les mots clés sont

montrer, entrer, mettreDans, carré, cube, racine, sinus, cosinus, tangente, sin, cos, tan, éleverAuCarré, éleverAuCube, élever … à la puissance, inverser, extraireLaRacineDe, arrondir, tronquer, doubler, tripler, quadrupler, quintupler, sextupler, octupler, décupler, centupler, incrémenter, décrémenter, augmenter, diminuer, multiplier, diviser, Si, àMoinsQue, pour, dans

La syntaxe est déductible des fichiers coffee

Le fichier responsiveSophus.html est une version allégée sans liste des instructions.

Programmation CoffeeScript

Pour utiliser le langage CoffeeScript, il faut l’installer avec npm (qui vient avec NodeJS) :

    toto@pc-ubuntu:~$ npm install -g coffee-script

Puis demander à scruter toutes modifications pour provoquer une compilation automatique (depuis le dossier javascript concerné) :

    toto@pc-ubuntu:~$ cd dev/Sophus/Sophus_blockly/javascript
    toto@pc-ubuntu:~/dev/Sophus/Sophus_blockly/javascript$ coffee --watch --compile -b .

alt text l’option -b est importante, elle empêche CoffeeScript d’encapsuler la Classe Tortue dans une fonction. Sans cette option vous aurez l’erreur “Tortue est inconnue !” dans la console Javascript.

Les icônes de Sofus ont été créées avec la suite logicielle Blender3D; la tortue a été “dessinée” avec l’éditeur de textes Geany; les icônes de la tortue proviennent du site gemoji

Auteurs: