Lambda abstraction expliquée (1).pdf (original) (raw)

Lambda-calcul et langages fonctionnels

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.

Processus d’abstraction en mathématiques

Radford, L., Miranda, I., & Demers, S. (2009). Processus d’abstraction en mathématiques. Ottawa: Centre franco-ontarien de ressources pédagogiques, Imprimeur de la Reine pour l’Ontario., 2009

Pr oc es su s Pr oc es su s

Lavrillier_2003 Diff formes Chamanismes.pdf

1e Congrès du Réseau Asie (MSH), (septembre 2003), Thème VI « Politique et religion », atelier « Chamanisme et gestion des maux », 2003

Following the end of communism appear among the Evenks and the Yakuts, who are neighbouring peoples, different forms of shamanism. The Evenks go on practicing their hunting and herding rituals, some rituals being performed with the help of the unique shaman, who is extremely requested. The Yakuts, who have no more traditional shamans, look for other kinds of shamanism, one of which is presented under the form of a shamanism handbook distributed in the national Yakut schools.

Chapitre 1 Introduction aux équations de Lagrange

Considérons le cas particulier d'une particule astreinte à se déplacer, sans frottement, sur une courbe plane contenue dans le plan xOy. La courbe sur laquelle est astreinte se déplacer la particule de masse m, est le lieu des points dont les coordonnées vérifient les relation :

"C.Q.F.D. à propos de l’abstraction. Luca Marchetti en conversation avec Felipe Oliveira-Baptista"

Revue Magazine, 2017

L’abstraction n’est pas un terme que l’on relie immédiatement à la création de mode, celle-ci étant plutôt associée à des univers d’images très identi ables ainsi qu’au rapport bien concret que l’on entretient avec nos vêtements. Pourtant, parallèlement à sa complexité grandissante, le panorama de la mode contemporaine semble ouvrir de nouvelles possibilités créatives. Des collections spéciales ou limitées de grandes marques proposent, par exemple, des produits où les traits identitaires du sportswear côtoient ceux du luxe et se mélangent à une esthétique habituellement considérée avant-gardiste. Le sportswear est un terrain privilégié pour l’observation de ces nouveaux phénomènes. C’est dans ce domaine qu’évolue Felipe Oliveira-Baptista. Son design subtil n’est pas resté con né à une niche de sophistication élitiste, mais a su prendre des proportions tout à fait monumentales au cœur d’une marque parmi les plus emblématiques.