Ci-dessous, les différences entre deux révisions de la page.
— |
journal_20180516 [2018/05/16 19:28] (Version actuelle) jonathanperret créée |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | Aujourd'hui au Club, il y avait : | ||
+ | - Noé | ||
+ | - Gaétan | ||
+ | - Jonathan | ||
+ | Noé a travaillé sur son Pong pour Amstrad. Il veut ajouter des "pouvoirs". | ||
+ | |||
+ | Gaétan et Jonathan ont d'abord joué avec un environnement de programmation avec la réalité augmentée : https://laboratoryforplayfulcomputation.github.io/arcadia/ (mais d'abord ils ont fait une //pull request// sur la documentation de cet outil : https://github.com/LaboratoryForPlayfulComputation/arcadia/pull/4). | ||
+ | |||
+ | Puis ils ont fait de la logique sur http://incredible.pm/ . Ils ont bien galéré à démontrer que ''¬¬(A ∨ ¬A)'' est une tautologie, sans utiliser le tiers-exclu. | ||
+ | |||
+ | Enfin, Gaétan avait un problème pour coller une grosse liste de nombres dans son programme Python. Il a appris que ''"""'' permettait de mettre une chaîne sur plusieurs lignes. |