from math import atan2, pi, cos, sin from time import sleep from random import gauss from robosim import * init()
horizon = 50 alpha = 0.1 beta = 0.01
def todeg(angle) : return (360.0 * angle) / (2 * pi)
def torad(angle) : return angle / 360.0 * (2 * pi)
def cosdeg(angle) : return cos(torad(angle))
def sindeg(angle) : return sin(torad(angle))
def get_prox() : a = orientation() L = [a + x for x in [40,20,0,-20,-40]] tel = telemetre_coords_list(*position(), (...)
Pierre Boudes
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 |...
Bienvenue sur ma page web professionnelle. Je m’appelle Pierre Boudes. Titulaire d’un doctorat de mathématiques obtenu en 2002, je suis maître de conférences en informatique à l’université Paris 13, depuis septembre 2005.
Plus précisément, je suis :
– chercheur en théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030.
– enseignant (et parfois semi-administratif) à l’institut Galilée.
Habituellement, je réponds dans la journée ou le lendemain aux courriels adressés à : boudes@univ-paris13.fr. Vous pouvez également me contacter par d’autres moyens.
J’ai réduit ma présence sur le Fediverse à deux comptes Mastodon :
– professionnel
– personnel.