Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Grande écoleUne grande école est un établissement de l'enseignement supérieur français hors du système universitaire, qui recrute ses élèves sur concours. Le concept de grande école est créé au pour former les cadres techniques et militaires de l'État. Le concept de grande école est propre à l'enseignement supérieur français. Il désigne des établissements très sélectifs qui recrutent leurs élèves par concours. Ils . Plus de 60 % des P-DG du CAC 40 étaient issus d'une grande école française en 2018, comme sept des huit présidents de la .
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Gestion des risquesLa gestion des risques, ou l'anglicisme, management du risque (de l'risk management), est la discipline visant à identifier, évaluer et hiérarchiser les risques liés aux activités d'une organisation, quelles que soient la nature ou l'origine de ces risques, puis à les traiter méthodiquement, de manière coordonnée et économique, afin de réduire et contrôler la probabilité des événements redoutés, et leur impact éventuel.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
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).
Évaluation des risquesDans le domaine de la gestion des risques, l'évaluation des risques est l'ensemble des méthodes consistant à calculer la criticité (pertinence et gravité) des dangers. Elle vise outre à les quantifier, à qualifier les dangers (qui doivent donc préalablement avoir été identifiés). Elle se base sur . Dans ce domaine, on se restreint à l'étude du risque aryétique, c'est-à-dire en ne considérant que les événements à conséquences négatives.
Nouvelles technologiesvignette|Nouvelles technologies - intelligence artificielle Les désignent des domaines très évolutifs et des techniques diverses, pouvant rendre plus accessible les rapports entre les humains et les machines : au sens large, toute la « haute technologie » ; au sens étroit, les nouvelles techniques de l'information et de la communication (TIC) (Internet, Smartphone, protocole Bluetooth...)..
Plan d'urgenceUn plan d'urgence ou plan catastrophe est un dispositif prévoyant l'organisation des secours en cas de catastrophes ou d'événements de grande ampleur ou à risque majeur, mettant en péril la santé des personnes, d'animaux (sauvages ou d'élevage), de plantes ou d'autres organismes vivants, ou l'intégrité des biens. Un plan d'urgence est élaboré par une ou plusieurs des entités distinctes ayant à mener en urgence des actions, lorsque l'événement catastrophique survient : secours publics, collectivités territoriales, industriels, etc.
Technocritiquevignette|200px|Le « progrès technique » a suscité un grand nombre de critiques de philosophes et d'essayistes mais aussi des réactions d'artistes ; tantôt élogieuses (comme ici Composition avec turbine, de l'Allemand Carl Grossberg, 1929), tantôt ironiques (par exemple chez les da-daïstes M. Duchamp et F. Picabia). Le néologisme technocritique définit un courant de pensée axé sur la critique du concept du « progrès technique », considéré comme une idéologie qui serait née au durant la Révolution industrielle et qui, depuis la Seconde Guerre mondiale, s'ancre dans les consciences, principalement sous les effets de l'automatisation (la mécanisation ou le machinisme) et de l'informatisation.
