Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
1999
Un langage fonctionnel est juste un langage dans lequel la notion de fonction (procédure, sousprogramme) est centrale. Cette définition vague recouvre les langages fonctionnels dits purs, dans lesquels tout calcul est effectué au moyen d’appels de fonctions (Miranda, Haskell, par exemple); et les langages fonctionnels impératifs (Lisp, ML), dans lesquels il est aussi permis d’effectuer des effets de bord (affectations), comme en Pascal ou en C. Pour prendre un exemple, en OCaml, on peut définir la factorielle par: let rec fact n = if n=0 then 1 else n*fact (n-1);; et calculer la factorielle de 10 en demandant: fact 10;; ce à quoi le système répond 3628800. On a donc défini la fonction fact par une définition proche de la notion mathématique usuelle: 1 si n = 0 n!ˆ= n × (n − 1)! sinon où ˆ = dénote l’égalité par définition.
RAIRO - Theoretical Informatics and Applications, 1991
Lambda-calcul, évaluation paresseuse et mise en mémoire Informatique théorique et applications, tome 25, n o 1 (1991), p. 67-84. <http://www.numdam.org/item?id=ITA_1991__25_1_67_0> © AFCET, 1991, tous droits réservés. L'accès aux archives de la revue « Informatique théorique et applications » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Informatique théorique et Applications/Theoretical Informaties and Applications (vol. 25, n' 1, 1991, p. 67 à 84) LAMBDA-CALCUL, ÉVALUATION PARESSEUSE ET MISE EN MÉMOIRE (*) par Jean-Louis KRIVINE (1) Communiqué par J.-E. PIN Résumé.-En X-calcul pur, l'évaluation paresseuse est identifiée avec la ^-réduction à gauche. Cette stratégie de réduction a beaucoup d'avantages {en particulier, elle aboutit toujours à la forme normale lorsqu'il y en a une); elle a l'inconvénient qu'une fonction qui utilise plusieurs fois son argument doit le recalculer à chaque fois. Pour y remédier, on introduit, pour chaque type de données {booléens, entiers, listes..), des opérateurs dits de « mise en mémoire ». Par exemple, si v est ^-équivalent à un entier, et <p un terme quelconque, on remplace <pv par !Tvcp, où T est un opérateur de mise en mémoire pour les entiers; au cours de l'évaluation paresseuse de Tv<p, v ne sera calculé qu'une seule fois. On donne la définition générale de la notion d'opérateur de mise en mémoire pour un ensemble de termes du X-calcul. On montre comment on peut construire de tels opérateurs, au moyen d'un système de X-calcul typé du second ordre. On utilise, pour cela, la ~\~\-traduction de Gô'del, qui permet de passer d'une preuve en logique classique à une preuve intuitionniste.
RAIRO. Informatique théorique, 1985
Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs RAIRO-Informatique théorique, tome 19, n o 1 (1985), p. 33-41. <http://www.numdam.org/item?id=ITA_1985__19_1_33_0> © AFCET, 1985, tous droits réservés. L'accès aux archives de la revue « RAIRO-Informatique théorique » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ R.A.LR.O. Informatique théorique/Theoretical Informaties (vol. 19, n° 1, 1985, p. 33 à 41) UN INTERPRÈTE LISP DE LA PROGRAMMATION FONCTIONNELLE RÉALISÉ PAR DES COMBINATEURS (*) par Raul KANTOR (*) et Giovanna SONTACCHI (*) Communiqué par G. AUSIELLO Résumé.-Cet article décrit Vimplémentation d'une variante, due à Bô'hm, de la programmation fonctionnelle de Backus et qui utilise un ensemble de combinateurs. A cet effet on développe un système de réécriture pour aboutir à un programme écrit en LISP.
1974
L'accès aux archives du séminaire d'analyse fonctionnelle implique l'accord avec les conditions générales d'utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/
RAIRO - Theoretical Informatics and Applications, 1989
Motifs et bases de langages Informatique théorique et applications, tome 23, n o 4 (1989), p. 379-393 <http://www.numdam.org/item?id=ITA_1989__23_4_379_0> © AFCET, 1989, tous droits réservés. L'accès aux archives de la revue « Informatique théorique et applications » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Informatique théorique et Applications/Theoretical Informaties and Applications (vol 23, n° 4, 1989, p. 379 à 393) MOTIFS ET BASES DE LANGAGES (*) par Jean~Michel AUTEBERT (X), LUC BOASSON (l) et Michel LATTBUX (2) Communiqué par J.-E, PIN Résumé.-Dans ce papier, nous introduisons les notions de prémotif base et motif d'un langage. Un langage P est un prémotif de L si L est union de puissances de P. P est une base de L si c'est un prémotif inclus dans L: c'est un motif s'il n'admet aucun prémotif autre que lui-même. Nous démontrons que tout langage admet un motif (respectivement une base), et que tout langage rationnel admet un motif rationnel En outre, nous donnons un algorithme qui permet de décider si un langage rationnel admet un motif fini, et de le construire (s'il existe). Restent ouvertes les questions de l'existence d'un motif minimal pour F inclusion et de Vexistence d'un motif {resp, (Tune base) minimal rationnel pour les langages rationnels.
La franc-maçonnerie (catalogue expo BnF), 2016
La distinction entre opératifs et spéculatifs, commode sur le plan du langage, contribue cependant à fausser la compréhension exacte de la nature de la franc-maçonnerie. Les symboles et des rites des tailleurs de pierre La franc-maçonnerie est, dès le XVIII e siècle, qualifiée de « spéculative » — au sens de « théorique et abstraite » –, car elle emploie des symboles du métier de maçon pour nourrir la réflexion de ses membres mais n'exige pas d'eux l'exercice réel de cette profession. Par opposition, « opérative » est un terme plus récent forgé a contrario pour désigner aussi bien toute la franc-maçonnerie d'avant 1717, date de la naissance officielle de la franc-maçonnerie spéculative, que celle constituée exclusivement d'hommes de métier. Au XVII e siècle, les franc-maçons français employaient pour cette dernière le terme de « maçonnerie de pratique ». Si cette distinction entre opératifs et spéculatifs est commode sur le plan du langage […]
@ 2007, EDP Sciences, 17, avenue du Hoggar, BP 112, Parc d'activités de Courtahoeuf, 91944 Les Ulis Cedex A et CNRS ÉDITIONS, 15, rue Malebranche, 75005 Paris.
Journal of Functional Analysis, 1982
Let H,(h) =-(h'/2). A + V, lim,x,++m V(x) = +co. Under suitable conditions we prove that f(H,(h)) is a pseudodifferential operator whose symbol has an asymptotic: a,(h) N ,&0 h'a,,,. More general pseudodifferential operator's classes are also considered. We apply this result to study the semi-classical behaviour of the spectrum of H, as h +O. So, we improve recent results obtained by J. Chazarain and by the author in collaboration with B. Helffer. Furthermore we give a precise meaning to the formal development considered in B. Grammaticos and A. Voros' work (Ann. Physics 123 (1979), 359-380).
Comptes Rendus Mathematique, 2003
Reçu le 16 mai 2003 ; accepté le 27 mai 2003 Présenté par Gilles Pisier Résumé On introduit des fonctions carrées adaptées à l'étude des opérateurs sectoriels sur les espaces L p non commutatifs, et on étudie leurs relations avec le calcul fonctionnel H ∞ . Pour citer cet article : M. Junge et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003). 2003 Académie des sciences. Publié par Éditions scientifiques et médicales Elsevier SAS. Tous droits réservés. Abstract Functional calculus and square functions in noncommutative L p -spaces. We introduce suitable square functions for sectorial operators on noncommutative L p -spaces, and we investigate their relationships with H ∞ functional calculus. To cite this article: M. Junge et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003).
Contextos, 2007
La présente étude a pour objet une réflexion sur le fonctionnalisme français en linguistique. Le point de vue adopté est historico-critique; en ce qu'on vise à considérer les principes fondateurs de la linguistique fonctionnelle; puis à passer en revue son parcours en jalonnant les moments importants de son évolution, et leurs conséquences sur le plan théorique; à considérer ensuite l'évolution et le devenir du fonctionnalisme -en tant qu'une théorie du langage-sous l'angle épistémologique; et à poser enfin le problème de l'unité de la linguistique comme science du langage face à la fragmentation du domaine et à la multiplication des directions de recherches. L'exposé ne suit pas l'ordre chronologique, mais plutôt le mouvement des idées: en suivant le développement de la linguistique fonctionnelle à travers différentes applications possibles, on vise à mettre en évidence les limites, contradictions et conflits inhérents aux thèses explicites ou principes implicites, etc. Ce but serait impossible à atteindre sans une schématisation et une limitation sévères. La première d'entre elles est de mettre l'accent sur quelques oeuvres, parmi des milliers et des milliers de pages dont on dispose dans le domaine. C'est un choix dont je mesure les implications. Mots clés: structure variable et relative, antinomies inhérentes, complexité et approximation, équilibre instable Este estudio tiene como objeto una reflexión sobre el funcionalismo francés en lingüística. El punto de vista adoptado es histórico-crítico; en él tomamos en consideración los principios fundadores de la lingüística funcional y pretendemos analizar su recorrido poniendo de relieve los momentos importantes de su evolución y sus consecuencias en el plano teórico; también intentamos considerar la evolución y
Cahiers du Centre de Linguistique et des Sciences du Langage
Cet article aimerait donner suite au fonctionnalisme en linguistique, non pas en tant que théorie, mais plutôt en tant que méthode. Dans ce but, il aimerait montrer la possibilité d'un virage pragmatique en faisant voir que certaines recherches en linguistique fonctionnelle ont été animées par un autre principe de pertinence que celui qui était explicitement revendiqué.
En-tête du titre: Rapport de rechercheÉgalement disponible en version papierTitre de l'écran-titre (visionné le 5 déc. 2009)Bibliogr.: p. 165-16
La thèse est consacrée aux estimations de multiplicité. Ce type de résultats est utilisé en théorie de la transcendance. A partir des travaux de A. B. Shidlovskii, W.D.Brownawell et D.W.Masser il sont régulièrement utilisés dans les preuves de transcendance et surtout d'indépendance algébrique. Par exemple, la démonstration du lemme de multiplicité est un élément très important de la preuve par Yu. Nesterenko du résultat sur l'indépendance algébrique des valeurs des fonctions de Ramanujan. Un autre résultat de ce type est une preuve par K.Nishioka d'une conjecture de K.Mahler. Ce lemme de multiplicité a permis de démontrer beaucoup de résultats concernant la transcendance des séries liées aux suites récurrentes et des suites engendrées par des automates finis. Le but de ce mémoire est l'étude approfondie, dans un cadre général, des lemmes de multiplicité conduisant à des améliorations de résultats d'indépendance algébrique connus. Le théorème principal de ce trav...
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.