BastNic's blog

Tag :

Etudes

Fil des billets

juil.08

Master 1 officiellement terminé

A cause de mon stage et de sa soutenance tardive, je n'ai pas pu considéré que mon année était terminée.

Mes notes viennent d'être officialisée sur l'ENT et j'ai donc 11,6 de moyenne à l'année. C'est pas beaucoup par rapport à la tête de la promo (Vincent est 4 points devant moi je crois), mais il faut relativiser avec le temps que je passe pour mon entreprise, ma petite amie, la famille et les amis, Giroll (même si pas vraiment beaucoup cette année), Jelix, le roller, etc.

Je suis donc content de ça.

ps : à part ça, tout m'emmerde aujourd'hui : openerp impossible à installer, un client qui me signale un problème inreproduisible sur un de mes services, plus divers projets en cours qui devraient être terminés depuis des lustres mais qui sont constamment en conflits avec d'autres emmerdes.

Vivement que tout ça se termine.

juin12

Etudes...

J'ai plein de projets en cours niveau développement, pour la plupart très intéressant.

Et là.. Je dois préparer ma soutenance de stage. Vivement vendredi midi que j'en finisse !

(soutenance vendredi à 10h).

PS : cet après-midi pour dépanner quelqu'un j'ai du m'occuper d'un macro Excell. Je plains vraiment ceux qui bossent avec toute la journée !

avr.04

PDP rendu : ma vie va pouvoir redevenir normale

Mon groupe de projet de Master 1 et moi venons de rendre avec 18h d'avance notre bibliothèque de graphes générique en Java ainsi que la documentation qui va avec, ainsi que le rapport de 80 pages.

Je peux enfin respirer et me consacrer à mes projets persos et pros. La vie peut reprendre :D

janv.16

Achat de l'instant

javamachin

Qui est jaloux ?

déc.16

Indécidabilité : morceaux de FAQ

J'ai beau avoir beaucoup de mal pour à être au point en Modèle de Calcul, j'apprécie énormément cette matière. C'est toujours pareil, je m'y intéresse quand les cours sont finis...

Je relis en ce moment les cours de l'ancien responsable de la matière à l'Université Bordeaux 1, le Dr Jean Betrema, et je tombe sur ces paragraphes que j'apprécie beaucoup :

Question. Lorsque j'écris un programme, il est donc impossible de savoir s'il boucle ?

Ecrire des programmes qui ne bouclent pas reste une activité louable, ... il est impossible d'automatiser totalement cette activité : un compilateur détecte les erreurs syntaxiques, mais ne peut pas détecter systématiquement les programmes qui bouclent. De même il est illusoire d'attendre la mise au point d'un langage dans lequel on ne pourrait écrire que des programmes qui ne bouclent pas.
L'indécidabilité du problème de l'arrêt, et plus généralement le théorème de Rice, sont plutôt des bonnes nouvelles pour les informaticiens : écrire des programmes corrects, qui calculent ce que l'on attend d'eux, sera toujours une activité demandant de la réflexion et de l'expérience.

Question. Cette fois j'ai compris, on vient de prouver que l'homme est supérieur à la machine !

Non. On a seulement prouvé que les méthodes pour écrire de bons programmes (qui ne bouclent pas, qui calculent ce que l'on souhaite) doivent être adaptées à chaque cas particulier, ou plutôt à chaque classe de cas. Cette adaptation est une activité sans fin ; savoir si l'homme est seul capable d'une telle "créativité" est une question de conviction personnelle. Personnellement cela me

surprendrait beaucoup.

Et de manière générale, si vous êtes intéressé par le sujet :

déc.14

Estimations aux 3/5 de mes partiels

Sont passés :

  • Programmation Objet Avancée : estimation 20/20
  • Réseau : 2/20 (on ne négligera jamais assez le fait qu'un prof peut ne pas aimer son cours au point de nous donner un exam sur de la géo-thermo-dynamique appliquée au nucléaire sur saturne associé au génome humain alors que nous ne connaissions QUE le Tanenbaum PAR COEUR) : un sujet complètement à côté de la plaque.
  • Compilation : 18/20, quasiment tout fait et normalement tout correct. Pour la question pas faite je n'ai pas répondu à la question mais j'ai donné le principe et la piste de départ, donc quelques demis points sûrement accordés.

Donc pour l'instant à part le coup de pu** en Réseau, c'est une très très large réussite modulo bien sur qu'en Université le 20/20 n'existe pas et que mes copie ne sont pas non plus parfaites (les algos sont au moins tous corrects et j'ai évité les erreurs débiles), on peut enlever 4 points au 20 et au 18 donc on va dire 16 et 14 qui sont déjà de très bonnes notes.

Mais attendez, il me reste les partiels de lundi :

  • 3h de Logique
  • 3h de Modèle de Calcul

Et là, ce n'est pas la même, nous sommes prévenus que c'est impossible. Je vais me contenter de passer l'intégralité de mon week-end dessus pour grapiller un 5 ou un 6.

Adieu va !

déc.12

Lectures du moment

  • Les compilateurs : théorie, construction, génération, de R. Wilhelm et D. Maurer : 610 pages
  • Réseaux, de A. Tanenbaum : 792 pages. Se méfier du la taille du titre, il est super court car il parle de TOUT à propos des réseaux et ce, en PROFONDEUR.

Je sais, je sais, vous m'enviez.

nov.06

5h03 : j'ai rendu ma logique

Ce projet est - enfin - fini !

En fonction de ma note, je vous joindrais un aperçu des solutions et de ce que j'ai répondu à la question

Si possible, indiquez en quelques lignes dans quelle mesure la manipulation d'un outil tel que Coq vous a permis ou non de clarifier la notion de "raisonnement correct".

oct.15

Projet de Logique

Si quelqu'un se demande à quoi ça ressemble des études en Informatique, regardez le sujet de mon projet de Logique.

Bien l'en prenne d'être jaloux... C'est intéressant, mais ô combien théorique !

juin09

La meilleure façon d'obtenir ses diplômes

Je devrais faire comme Bill Gates, arrêter mes études en plein milieu, devenir l'homme le plus riche du monde et me faire offrir mon diplôme. Non mais franchement c'est pas LE bon plan ça ?

C'est un diplôme seulement à titre honorifique, mais comme il dit lui-même, "ça fera bien sur son CV"

(source)

- page 1 de 5