Une approche arithmétique des systèmes de numération

Claude Bernard Lyon

Description

Numero d'ordre : 009-2010 Universite Claude Bernard Lyon 1 Habilitation a Diriger des Recherches Specialite : mathematiques pures Boris ADAMCZEWSKI Soutenue le 8 avril 2010 Une approche arithmetique des systemes de numeration Apres avis des rapporteurs : M. Christophe REUTENAUER Professeur a l'Universite du Quebec a Montreal M. Wolfgang SCHMIDT Distinguished Professor Emeritus at University of Colorado at Boulder M. Michel WALDSCHMIDT Professeur a l'Universite Paris 6 Devant le jury compose de : M. Jean-Paul ALLOUCHE Directeur de Recherche au CNRS M. Jean BERSTEL Professeur Emerite a l'Universite Paris Est Mme Valerie BERTHE Directeur de Recherche au CNRS M. Yuri BILU Professeur a l'Universite Bordeaux 1 M. Sanju VELANI Professor at University of York M. Michel WALDSCHMIDT Professeur a l'Universite Paris 6 M. Luca ZAMBONI Professeur a l'Universite Lyon 1

• gratitude au centre national de la recherche scientifique pour la liberte


• excellentes conditions de travail


• universite de paris


• approche arithmetique des systemes de numeration


• directeur de la recherche

Sujets

• Jordan
• Schmidt
• Berthe
• Waldschmidt
• Zamboni

Informations

• Publié par: profil-urra-2012
• Publié le: 01 avril 2010
• Nombre de lectures: 50
• Langue: Français

Extrait

dM?moireortd'Habilitation(pr?siden?2004dirigerazienzalesFRecd?cemherclehesMariaSpMonsieur?cialit?Ka:MonsieurInformatiqueVictorriDonnerracc?sanaucompcon:tenerezauordesHaberdoMonsieurcumen(examinateur)tsL?vytextuelsPierrelAMonsieurcquisitionorteur)debconnaissanceseetdevanalysetdejurycorpusos?spe?cialis?sMadameATdelinePNazarenk(rappoteur)LabBeno?toratoiretd'Informatiquet)deDanielPyseraris-NordMonsieurUnivran?oisersit?(examinateur)PJean-Mariearis-Nord(rappPr?seneur)tBernard?e(rapple102LangaRemerciemenoniquetserminologieJequetiensgr??sesremercierZwleshangesmemm'onbresdiciledutjurycdeBeno?tl'inhangest?r?tuiqu'idelscoursonmontbimanifest?grouppauxquelsourtmonvtraAussenac-Gilles,vBisson,ail.,Je?galemensuisetPr?sElreconnaissanvtetation?CLN)Mariaderni?rTprendreereza:Ptazienza,eillanJean-f?condit?MarievPierrelArticielle,etiBernardsurVictorrisond'aenvgratitudeoirnotammenaccept?mines,d'?trepprappBourigorteurs.ClaudeLeursvremarquesr?exionainsidesqueacellesunesdeThierryBeno?tquiHabaussiertLessonvuestmespr?cieusesepConnaissancesourNaturel"laLIPN,pcoursuiteann?edeaid?mareculr?exion.vDanielleurKaleurysertetnFIlran?oisdireL?vydiscussionsm'ondetESPOIR,conInvetaincuepartid?ecollabmeilslanceroucdansdivcenaturetraortance.vexprimerail.tousJel?gueles?remercnneiN?dellec,edzian,sinc?remenBessi?res,tBouaud,deJeanleursecLouponseilran?oissetetbaum.detiqueleurenricsoutien.breux***j'aiR?digerecunjm?moirehercd'Habilitationencadr?s?etDirigeriblestReccoll?gues,hercouriahes,c?t?s.c'est?ctoujoursdefaireaunecbilancoll?guesdesl'?quipann?es"Repr?sendedesrecethercgehes(R?coul?es.duJeautiensde?esdireescoms,bientles?rencondutresdansatravailecjed'autressaiscdehercquestionnemenhexigeaneursetonetvenrict.hiestmader?exion.laJedesvdesoudraisesentrapremieraillieuTexprimeretmatelligencegratitudeA3CTE?ASSTICCOTThierryj'aiGuillotincetpBeno?ttanHableseorationsrtlesquellesaonvd?bech?quitj'aiertraenvetaill?impauJeCenoudraistmare?Sciencestiqueold's,ItBMNathalieFAranceConda-etClaire?Ml'EcoleSloNormalePhiliSupe?rieureGillesdeJacquesFDidieronault,tenaCharlet,y-StHabClort,udedyaFvYanontPierredeeigenrejoindreMalescienLIPN.s'estCollabtorerhieanomv?cecqueeeuuxval?t?stoute?claheursfoisj'aienric:hissanHamontThierryetostimeauulansont.aujourd'hJ'aidesbmaiseaucoupTapprisA?t?3leursyral,4J'enMekki,laDani?lequiCoFhhaleureuseen,FGoritsacoll?guesNinoSzulman,vqu'ilsa,ilChristineunReynaud,ourFCenretderikw,Cailliau,R?canati,OlivierDanielHaL?vymon,enGuillaumel'?quipVans.auvduertl'?panouissemenetcoll?gues.Dens?eaaccueillievyd'IBMWeneissenremercierbacBi?bher.ran?oiseJerisouhaiSalotti,tHameyserdireoiicilaletplaisirdonnanqueonsabilit?j'aiReuaoubiancequerespj'aien?propicetrascienvtousaillerJ'aiaunevourecquieux.th?se***ScienJerancevaoudrai?galemens?exprimermesmaBrigittereconnaissanceo?FDanielGaKaCatheyser,neJacquelineSylvieVSylvieau-Thierryzeilleon,etKaChristopheetFran?ouquer?sdedelaconanceconancem'onqu'ilst?moign?em'meonttrespaccord?dee.eACLNlayt?tedeuxdeL'aml'?quipceetRectueuseCLNLIPNoufaitdulieul?abtoratoire,tique.ilsremercieonmest***soutenpunirmesppropjetsJeantoutarguesenm'ameenlaissanauttreunetiquegrandeFlibetert?nousd'action.quitt?sJe1997.tiensconnaissancesR?sum?desAu-del?lec-delalaexplor?es,recdanshercparheterminologiquesd'informationtextuels.quiesefouilleconquetenmorpho-synteCecideps?lectionner?deconsd'accdol'indexationcumendevtslesdansd'informaunesbaselesdoalcumenstaire,etl'untdesnsemenjeuxcommatjeursetdepl'acc?sdo?del'informationtencunocumennr?seausilasted'information?trad?vlaeAu-del?letoppeloppertdesniquesoutilsenppermettananalysettl'explorationspdut?cconunetenrepul'adaptationm?medulesde?tresdedopluscumenr?glestsdetextuels.cCettobacc?derjectifupmenoseroisdesdi?rend?sauimpsonortanhacunetsparticulier?del'InformatiquevueetconstructionnotammenypttauvigationT;raitemenourtdansAailuttextesohercmatiquespdesdivLanguesob:hitecturei?lils'agitrepdeujoursconcevtecoirrepdesetm?tnomm?es,houldesrtinence,etetdestaxique.outilshniquescapablesaudeas"comprendre"dulesldoconsi-cumen?ts.duLadesdicult?tvidularit?eunndettairesdaneersemenceenqu'il5fautetalargemenvdesoird'extractiondespartirccorpusonnaiquessancesessonpexploitablesourourcom-auprendreten:deslescu-outilstsd'acc?sTaum?thoconstentesu?sdeconsudotcumenctsdansrepcadreosen:tnesurdodestdic-commtionnaires,laond'untologies,hr?ertextuelganlesguiderd'innaterpr?dutatiteuronl'extractionquipvassisterarienbiologistestleurd'unvdomainedeetded'une;applicationrec?hel'autre.tionAnalyser?cialis?e.desdescorpusergencesvlesajectifsdoncl'arcdedepairsyst?mesad?vver,ecappara?tl'ac-l'analysequisitionosedesoconnaissancessur:m?meslesh-connaissances:acquises?ragesontermestdesexploit?estit?spcourcacc?derdeauecon?tiquetagetentaxiqueuparfoisdessyndoCecumentectssonetadapt?esl'analysecasdeccorpusauxrepr?sen?cicit?statifscorpusd'undedomaineadehespd?r?s.?cialit?am?nesertd?fendre?conceptionacqu?rirtraitemenlesautomatiqueconnaissanceslangueli?esosan?surcmoeetdomaine:d'activit?.eNousblemonmotrons?l?menqu'ong?n?riquespouveuttacqu?rirdivdestclassesbin?ss?manfonctiontiques,ladesrelationsm?me6ent?cconnaissanceshedevis?ehe.etacquisesadapt?sfonctionparlal'int?ct?grationdeacquTrenouvable.des.mati?res.1.In.tro.duction.9.2.Comprendredeles.textes3213he2.1.Un.ob.je.ctifheam.bitieuxde.......ts...s?man...........Bilan...cqu?r..................143.2.22.1.1nologiqueQ.uetologiessignie.31comprendre.un.texte.?i....3.......Explorer...3.3.3..14.2.1.2.Q.u'.e.st-ce.qu'unrelationssyst?me.de.cProbl?matiqueom.pr.?hension40deermtexte.?...14.2.2.Une.exp3.2.1?riencede:.le.pro.jet2Kalipsosrenouv.te.....3.2.3.des.........P........17.2.2.1.UnAprodesjet.am.bitieux......D.............33.cartographies.......aluer.sition......17.2.2.235Une.analyse.classique.com.binan.t.syn.taxe3.4ertes?man.tique.18.2.2.3.Les39graphes.conceptuels.comme.formalisme.s?man.tique.18Appro2.3:Limites......7...................27.L'essor.l'analyse.corpus...............8.Le.eau.l'analyse.rmi......20.2.3.130LesLelimiteseaudeonl.a.s?man.tique.logico-r?f?ren.tielle......3.2.4.oin.critiques20.2.3.2.Une.complexit?.d'analyse.di.cile.?.ma?triser......3.3.cqu?r.r.classes22tiques2.3.3.Une.compr?hension.imp.ossible.?.?v.aluer.?3.3.3.1.?marc..........23.2.4.Bilan............3.3.2.des.lexicales...........34.Ev.l'.i.....................3.3.4........23.3.A.cqu?rir.des.conna.issances.25.3.1.P.ourquoi38partirAdeitedesxteslexical?s...................3.4.1....................26.3.2.Con3.4.2textec.structurelle.SynoT.............41..aluation8VT.ABLEADES.MAcTI.?RES.3.4.3.ApproExtractioncprohedanspar.r?gles.:.les.noms.deerspg?nes.renomm?s..4.2.1.4.2.2..43.3.4.4d'Bilan4.4partiel..5.89.....R.....4.1.4.............g?n?rale...pl.t.4.2.3.....rec.?..46.3.5.A.cqu?r.iersprformalismedesconr?gles.d'extraction.?....61.et...........et.es.........64..47.3.5.1.Assister.l'?criture.de.r?glesc.acquisition.....mise.e.de.....plus.normalisati.....77.l.rc.sp48.3.5.2.Le.recours.aux.tec.hniques.l'appren.tissage......et.es.tation.Graphes.Liste.9148.3.5.3.Appre.ndre.des.r?gles.?.partir.de.corpus4.1.3.?sultats.?v..............49.3.6.Conclusion63.Bilan.p.ectiv.....................4.2.d'information.....................66.Appro.he.:53et4ductionDonner.acc?s.au67conLatenenuac57d'une4.1ha?neIndexationtraitemenne.de.do.cumen71tsAller.loin.la.on...........4.3.ers.a.he.he.information.?cialis?e......59.4.1.1.Appro78cConclusionhe.g?n?rale..........................81.Bilan.p.ectiv.83.Pr?sen.du.des61Conceptuels4.1.2BM?tdeshotratsded'acquisitiondirec-Chapitreaxes1tecIncessetrobrevductionadapt?sComprendrem?thomac-obilisesuccinctemendesg?n?riquesconnaissancesIlmais?ilorefautdecomprendreraitemenp?ourinacqu?rird'desdeconnaiquandssancsouves.tVjoutoitl?tpluspdeo?dixtationanstecqueLanguesjtuellemenetfaisquestionsfacew?deccomparerecparadooutilsxeleursurtest?slestiques,textesfonctionnemen:aonquinedomainepeteutretrouvcomprendreaunhetexte:sanssonconnaissancesrsurouvlavlanguedoetconsultersurcro?tre.ledeconAutomatiquetexte,Tmais?vo?comacquiert-onplar?pma?ttl'utilisateurritsededeleslaclienlangueetettextestouteLasvienlesqueconnaissancesden?-oiencessaires,erformancesisoncedesn'estoud'abonordtdanslangagierlesdonctextesp?outilsDixtansfonctionpluspartard,connaissancesj'aid?di?etoujoursapplication.l'amlabitionquedeectransformerrecles'enricparadoutuellemenxe'acquisitionenconnaissancescerensuitecleanalvtextes,ertueux.d'analyseAtvleecolumel'id?elaquecumendans?unneprodecessusLesenhniquesspirale,Tlestconnaissancesdesacquises(puissenAL)ttuelles,serviren?tmieuxbin?escomprendred'autres,lesermettentextesdeetondre?temenenauxadeppenrendreterrogeandaleveb,ancaract?risertage.tLesmailsmolatst?le,onanalysertdecdeshang?de:ets.jedineult?parletpluscedelesd'analysecomprendretextelesvtextestpmaiss'eondrerdeilstdonnersuracc?stextesauxhniquesdosciencumenquitsten.unC'esttmettreparticulier.dafautvmettreanutageoinl'accedesnd'analysetpuissensur?trelesenapplicationsduetd'application,lel'aservicederendulinguistiques?extralinguistiquesls'utilisateur.cetteDonnerOnacc?seauprobl?macioninitiale,tenvudeuxdesdedoherccumenquitshissentextuelsmesttenleet?labundesd?quiimptortanutilis?estourdansysenotrelessolesci?t?desdeplaancomm9unication,t10uneCHAPITREl1.t?sINTRtODUCTIONquiaussidesservirs,l'deac?quileursition.conLedesd?parcoursquejeunesj'aitessaiciyla?idelequelrelevconditionserpartiedansimonquitrapressionvdularisationailprisedeplus.recdehercvhe,consisteles?oind?terminerm?moircomment?ressetsoncomdict?binerenaulemieuxtacquisitionpr?-etumainesanalyse.cesPvoinn'estts'demouvvueleadopt?ann?Cetsm?moiredonn?espr?sents,teeundesparcourstdecrecsonhercahequequiindustrs'?taled'autressurossibleunededi-leszainesurd'ann?es,vdleepuissouslaauxqueln