Outils pour utilisateurs

Outils du site


journal_20180516

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

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.
journal_20180516.txt · Dernière modification: 2018/05/16 19:28 par jonathanperret