quote:

Originally posted by Jym Maître de conférence (enseignant-chercheur) en informatique. Très théorique (machines de Turing, Lambda-calcul, complexité, théorie de la démonstration, ...)

Si y'a bien une matière que j'ai pas apprécié au cours de mon cursus c'est bien l'informatique théorique

___________________
PMU Trance : Partagez vos émotions !
Next events :
R.A.S

quote:

Originally posted by Thib' Les méchants à Battlefield obv

ah non c'était sympa l'armée, surtout les barbeucs qui commençaient à 10h30 et finissaient à 16h

ah et puis le mess aussi, je déjeunais dans un mess d'officiers, c'était hachement bon

bref j'ai bien bouffé pendant 2 ans

ps : y'avait gogo qui bossait avec moi

___________________
Prochains bus Novo.travel accompagnés par moi même :
DE - Nature One @ Koblenz - 31/07-02/08/2014

quote:

Originally posted by dansal62 Si y'a bien une matière que j'ai pas apprécié au cours de mon cursus c'est bien l'informatique théorique

Ouais, c'est normal... On se tape encore un héritage très lourd de la calculabilité des pères fondateurs des années 30 et du coup on se trimballe un attirail de formalismes abscons (fonction récursives, machines de Turing, lamdba-calcul) qui sont certes super pratiques en recherche mais n'ont aucun intérêt (ou presque) en enseignement.

Y'a tout à fait moyen d'enseigner les concepts et résultats de base sans passer par tout ça. j'ai un collègue qui explique le théorème de la halte ou le théorème de Rice à ses L1 et L2, et moi je fais un doigt de NP-complétude à mes L3, bon ben dans l'ensemble ça passe pas trop mal... Mais on reste sur des formalismes classiques et compréhensibles sans faire 2 semestres de cours préalable...

Moi aussi, j'ai vraiment pas aimé les cours de calculabilité que j'ai subis et j'ai commencé à kiffer ça que en DEA/thèse après un stage avec des gens qui m'ont montré ce que signifient vraiment certains des résultats...

Le drame, c'est que les cours de calculabilité font encore de la masturbation mentale sur des trucs aussi grotesque que le théorème du speedup linéaire (qui dit juste qu'avec un accès mémoire plus performant on va calculer plus vite...) ou aussi "obfuscated" que le théorème s-n-m (qui lui a un vrai de vrai intérêt pratique mais qu'on peut expliquer beaucoup plus simplement avec un vrai langage de programmation qu'en passant par des MT universelles et tout l'arsenal lourd de calculabilité...) (d'ailleurs, les MT universelles, là aussi... Que de galère pour jouer avec ça alors qu'il s'agit simplement de compilateur/interpréteur pour le langage de programmation des MT...)

C'est ce que j'allai dire

___________________
You can also find me on Soundcloud

quote:

Originally posted by Jym fonction récursives [...] qui sont certes super pratiques en recherche mais n'ont aucun intérêt (ou presque) en enseignement.

bah si pour le calcul du pgcd

on s'en sert un peu en dev aussi

___________________
Prochains bus Novo.travel accompagnés par moi même :
DE - Nature One @ Koblenz - 31/07-02/08/2014

quote:

Originally posted by dansal62 Si y'a bien une matière que j'ai pas apprécié au cours de mon cursus c'est bien l'informatique théorique

Moi je dirais à peu près la même chose, surtout la théorie de la démonstration qui avait été "soit disant" inventée par notre prof, on importée par lui en France

Quelle merde ce truc, avec les démonstrations coq...

quote:

Originally posted by Jym Le drame, c'est que les cours de calculabilité font encore de la masturbation mentale sur des trucs aussi grotesque que le théorème du speedup linéaire (qui dit juste qu'avec un accès mémoire plus performant on va calculer plus vite...) ou aussi "obfuscated" que le théorème s-n-m (qui lui a un vrai de vrai intérêt pratique mais qu'on peut expliquer beaucoup plus simplement avec un vrai langage de programmation qu'en passant par des MT universelles et tout l'arsenal lourd de calculabilité...) (d'ailleurs, les MT universelles, là aussi... Que de galère pour jouer avec ça alors qu'il s'agit simplement de compilateur/interpréteur pour le langage de programmation des MT...)

Et en sortant avec ta thèse, si tu trouves pas de taf, tu vas postuler dans une SSII qui te fera faire de la hotline, et là t'auras l'air bien con avec une thèse d'informatique quand un utilisateur va te demander comment faire telle mise en forme de tableau dans Word ou une imbrication de formules Excel entre 2 formulaires, et qu'il rajoutera "mais t'es informaticien et tu sais pas faire ça ? mon voisin qui est malade aujourd'hui le fait sans problème". Et au bout de quelques jours tu iras te faire prescrire des antidépresseurs

Last edited by Hank608 on Mar-26-2010 at 11:12

quote:

Originally posted by Jym Le drame, c'est que les cours de calculabilité font encore de la masturbation mentale sur des trucs aussi grotesque que le théorème du speedup linéaire (qui dit juste qu'avec un accès mémoire plus performant on va calculer plus vite...) ou aussi "obfuscated" que le théorème s-n-m (qui lui a un vrai de vrai intérêt pratique mais qu'on peut expliquer beaucoup plus simplement avec un vrai langage de programmation qu'en passant par des MT universelles et tout l'arsenal lourd de calculabilité...) (d'ailleurs, les MT universelles, là aussi... Que de galère pour jouer avec ça alors qu'il s'agit simplement de compilateur/interpréteur pour le langage de programmation des MT...)

je plussoie, c'est ça le drame

___________________
frappé d'Indignité nationale..

quote:

Originally posted by JoeHell Et en sortant avec ta thèse, si tu trouves pas de taf, tu vas postuler dans une SSII qui te fera faire de la hotline, et là t'auras l'air bien con avec une thèse d'informatique quand un utilisateur va te demander comment faire telle mise en forme de tableau dans Word ou une imbrication de formules Excel entre 2 formulaires, et qu'il rajoutera "mais t'es informaticien et tu sais pas faire ça ? mon voisin qui est malade aujourd'hui le fait sans problème". Et au bout de quelques jours tu iras te faire prescrire des antidépresseurs

___________________
Next parties :
2013-04-05 - Luminosity Trance Gathering @ Westerunie, Amsterdam
2013-04-06 - ASOT 600 @ Brabanthallen, Den Bosh

Bon j'ai pas encore fait ma présentation

Formation : Génie Physiologique & Informatique (un IUP avec M2 intégré donc +5)
Poste : Ingé d'étude depuis fin 2006, surtout axé java / j2ee et gestion electronique de document (plateforme Documentum)

___________________
Next parties :
2013-04-05 - Luminosity Trance Gathering @ Westerunie, Amsterdam
2013-04-06 - ASOT 600 @ Brabanthallen, Den Bosh

quote:

Originally posted by greg69 bah si pour le calcul du pgcd on s'en sert un peu en dev aussi

Non, je parle pas de récurrence ou d'appels récursifs, ça je sais que c'est vraiment utile. Je parle de ce machin là avec schéma de récursion primitive, minimisation, et tout l'arsenal...

quote:

Originally posted by JoeHell Moi je dirais à peu près la même chose, surtout la théorie de la démonstration qui avait été "soit disant" inventée par notre prof, on importée par lui en France Quelle merde ce truc, avec les démonstrations coq...

Des noms, des noms !

Coq est très lourd à utiliser (je sais pas faire non plus) mais avec plein de vrais avantages par derrière (extraction de code certifié).

quote:

Originally posted by Jym avec plein de vrais avantages par derrière

quote for glory

___________________
Prochains bus Novo.travel accompagnés par moi même :
DE - Nature One @ Koblenz - 31/07-02/08/2014

quote:

Originally posted by greg69 ah non c'était sympa l'armée, surtout les barbeucs qui commençaient à 10h30 et finissaient à 16h ah et puis le mess aussi, je déjeunais dans un mess d'officiers, c'était hachement bon bref j'ai bien bouffé pendant 2 ans ps : y'avait gogo qui bossait avec moi

Rofl !!! Exacte j'ai pas connu l'époque des barbeucs