Encre de ChineL'encre de Chine est une encre noire utilisée pour l'écriture, le dessin et la peinture au lavis. Réputée venir d'Orient, Chine ou Inde, elle associe un pigment noir de carbone et un liant aqueux. L'encre de Chine proprement dite se présente sous forme de bâtons à frotter sur une pierre dans de l'eau. Elle est indélébile. Sa composition varie. À l'époque moderne, le terme « encre de Chine désigne couramment une variété plus grande encore de préparations liquides, qui partagent plus ou moins ses qualités essentielles.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Machine-outilUne machine-outil est un équipement mécanique destiné à exécuter un usinage, ou autre tâche répétitive, avec une précision et une puissance adaptées. Elle imprime à un outil, qu'il soit fixe, mobile, ou tournant, un mouvement permettant d'usiner ou de déformer une pièce ou un ensemble fixés sur un plateau mobile ou non. Le tour et notamment le tour à métaux a joué un rôle de premier plan au cours de la révolution industrielle. C'est la machine élémentaire de la mécanique industrielle, celle sans laquelle aucune autre machine ne peut voir le jour.
Descripteur de fichierEn informatique, un descripteur de fichier (file descriptor en anglais) est une clé abstraite pour accéder à un fichier (c'est un entier). On utilise généralement ce terme pour les systèmes d'exploitation POSIX. Dans la terminologie de Microsoft Windows et dans le contexte de la bibliothèque stdio.h, on préfère le terme filehandle, bien que ce soit techniquement un objet différent . Dans POSIX, un descripteur de fichier est un entier, et plus spécifiquement dans le langage C, un entier de type int.
HistoireL’histoire est à la fois l'étude et l'écriture des faits et des événements passés quelles que soient leur variété et leurs complexités. Ce mot est souvent écrit avec la première lettre en majuscule. L'histoire est également une science humaine et sociale. On désigne aussi couramment sous le terme dhistoire (par synecdoque) le passé lui-même, comme dans les leçons de l'histoire. L'histoire est un récit écrit par lequel les êtres humains, et plus particulièrement les historiens, s'efforcent de faire connaître les temps révolus.
Affectation (informatique)En algorithmique et en programmation informatique, une affectation, aussi appelée assignation par anglicisme, est une structure qui permet d'attribuer une valeur à une variable. Il s'agit d'une structure particulièrement courante en programmation impérative, et dispose souvent pour cette raison d'une notation courte et infixée, comme ou . Dans certains langages, le symbole est considéré comme un opérateur d'affectation, et la structure entière peut alors être utilisée comme une expression.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
PluieLa pluie est un phénomène naturel par lequel des gouttes d'eau tombent des nuages vers le sol. Il s'agit d'une des formes les plus communes de précipitations sur Terre. Son rôle est prépondérant dans le cycle de l'eau. Elle prend nombre de formes allant de la pluie légère au déluge, de l'averse à la pluie continue, de fines gouttelettes à de très grosses. Elle est parfois mêlée de neige, de grêlons ou verglaçante. Elle s'évapore parfois avant de toucher terre pour donner la virga.
Pluviomètrethumb|Deux parties d'un pluviomètre à lecture directe. À la gauche se trouve une éprouvette graduée surmontée d'un entonnoir, lesquels sont introduits dans le cylindre à la droite. À la droite du cylindre se trouve un tuyau métallique qui sert à évacuer le surplus de précipitations accumulées (ce tuyau est souvent raccordé à une conduite qui plonge dans la terre). Le pluviomètre est un instrument météorologique destiné à mesurer la quantité de précipitations (surtout la pluie) tombée pendant un intervalle de temps donné en un endroit.
Cahier (papeterie)En papeterie, un cahier est un objet constitué de feuilles de papier assemblées. Selon l'usage auquel il est destiné, le papier peut être vierge (pour le dessin) ou préimprimé d'une réglure (lignes, quadrillage, ou des portées pour l'écriture de musique). Il est recouvert par du carton qui formera la couverture. vignette|Spirale pour relier les pages d'un cahier. Janvier 2022. Il en existe de plusieurs tailles, les plus courantes étant : (3:4) (format A4) Si les usages du cahier sont multiples, cet objet est utilisé majoritairement dans le cadre scolaire, d'où l'expression de cahier d'écolier pour le désigner.
Clustered file systemA clustered file system is a which is shared by being simultaneously mounted on multiple servers. There are several approaches to clustering, most of which do not employ a clustered file system (only direct attached storage for each node). Clustered file systems can provide features like location-independent addressing and redundancy which improve reliability or reduce the complexity of the other parts of the cluster. Parallel file systems are a type of clustered file system that spread data across multiple storage nodes, usually for redundancy or performance.
Espace de suites ℓpEn mathématiques, l'espace est un exemple d'espace vectoriel, constitué de suites à valeurs réelles ou complexes et qui possède, pour 1 ≤ p ≤ ∞, une structure d'espace de Banach. Considérons l'espace vectoriel réel R, c'est-à-dire l'espace des n-uplets de nombres réels. La norme euclidienne d'un vecteur est donnée par : Mais pour tout nombre réel p ≥ 1, on peut définir une autre norme sur R, appelée la p-norme, en posant : pour tout vecteur . Pour tout p ≥ 1, R muni de la p-norme est donc un espace vectoriel normé.
