Roman peopleThe Romans (Rōmānī; Rhōmaîoi; Romaíos) were a cultural group, variously referred to as an ethnicity or a nationality, that in classical antiquity, from the 2nd century BC to the 5th century AD, came to rule large parts of Europe, the Near East and North Africa through conquests made during the Roman Republic and the later Roman Empire. Originally only referring to the Italic Latin citizens of Rome itself, the meaning of "Roman" underwent considerable changes throughout the long history of Roman civilisation as the borders of the Roman state expanded and contracted.
Impact environnemental de l'agricultureL'agriculture est une activité humaine qui modifie profondément les écosystèmes naturels afin de produire des ressources (principalement alimentaires) utiles aux humains. Elle occupe une proportion importante des surfaces de terres émergées, avec des conséquences majeures pour être utiles aux humains. Les impacts de l'agriculture sur les sols et la biodiversité existent depuis son apparition, il y a environ .
Culture gallo-romainevignette|Figures en ronde-bosse gallo-romaines trouvées à Ingelheim am Rhein. Le terme gallo-romain décrit la culture romanisée de la Gaule sous la domination de l'Empire romain. Cela s'est caractérisé par l'adoption ou l'adaptation gauloise de la morale et du mode de vie romain dans un contexte typiquement gaulois. La fusion des cultures bien étudiée en Gaule donne aux historiens un modèle permettant de comparer et de contraster les développements parallèles de la romanisation dans d'autres provinces romaines moins étudiées.
FuturologieLa futurologie est un domaine interdisciplinaire qui agrège des données classées par des méthodes tant empiriques que logiques, en vue d'analyser des tendances et d'esquisser des scénarios plausibles de l’avenir. Elle examine les sources, les desseins et causes de changement et de stabilité pour formuler des prédictions. La futurologie est censée procéder à partir des données technologiques, économiques ou sociales du passé et du présent, et affirme se fonder sur des techniques (simulation, statistique) et des modèles scientifiques (science des systèmes, écologie).
FuturistFuturists (also known as futurologists, prospectivists, foresight practitioners and horizon scanners) are people whose specialty or interest is futurology or the attempt to systematically explore predictions and possibilities about the future and how they can emerge from the present, whether that of human society in particular or of life on Earth in general.
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
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 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).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
FuturLe futur, ou l’avenir, est pour un système, l’ensemble des configurations possibles qui n'existent pas (c-à-d. qui n'ont pas encore eu lieu). Dans la ligne du temps, le futur vient après le présent et le passé. Les membres de l'espèce humaine, à partir d'un certain âge, se distinguent par des capacités élevées cognitives, de conceptualisation et d'imagination qui leur permettent d'envisager le futur proche et de s'y projeter, mais aussi d'imaginer des futurs possibles plus lointains où vivront ce qu'on appelle maintenant les générations futures.
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.
