Outils pour utilisateurs

Outils du site


journal_20180516

Aujourd'hui au Club, il y avait :

  1. Noé
  2. Gaétan
  3. 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