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.
Politique d'une seule ChineLa politique d'une seule Chine ou principe d'une seule Chine () est une position politique de la république populaire de Chine selon laquelle la Chine est Une et unie. Selon ce principe, Taïwan, administrée de facto par la république de Chine depuis 1945 et par le Japon auparavant, fait partie de cette Chine unifiée. La Chine refuse les échanges diplomatiques et commerciaux avec les pays opposés au principe d'une seule Chine. La plupart des pays de la communauté internationale ainsi que des organisations internationales (ONU) acceptent ce principe à partir des années 1970.
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.
Bank of Chinathumb|right|235px|Le QG de la Banque de Chine, Pékin, Chine. Architecte : Ieoh Ming Pei. La Bank of China Limited (BOC) ( ; souvent abrégée 中行) est l'une des quatre grandes banques commerciales d’État de la république populaire de Chine. Fondée en 1912 pour remplacer la Banque Da Qing, c'est la plus ancienne banque de Chine. Elle est la cinquième banque au niveau mondial pour ses actifs, et le second organisme de prêt en Chine.
Democracy in ChinaThe debate over democracy in China has been a major ideological battleground in Chinese politics since the 19th century. China is not a liberal democracy. The Chinese government and the Chinese Communist Party (CCP) state that China is democratic nonetheless. Many foreign and some domestic observers categorize China as an authoritarian one-party state, with some saying it has shifted to neoauthoritarianism. Some characterize it as a dictatorship.
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).
Corée du SudLa Corée du Sud (en 한국 ; ), nom usuel de la forme officielle république de Corée (en 대한민국 ; ), est un État souverain d'Asie de l'Est qui couvre la moitié sud de la péninsule coréenne. Sa capitale est Séoul. La langue officielle est le coréen, dont l'écriture est le hangeul, et la monnaie le won. L'animal représentant le pays est le tigre. Au nord, son unique frontière terrestre d'une longueur de avec la Corée du Nord, est constituée par la zone démilitarisée (DMZ).
AllemagneLAllemagne (Deutschland), officiellement la République fédérale d’Allemagne (Bundesrepublik Deutschland) est un État d'Europe centrale, et selon certaines définitions d'Europe de l'Ouest, entouré par la mer du Nord, le Danemark et la mer Baltique au nord, par la Pologne à l'est-nord-est, par la Tchéquie à l'est-sud-est, par l'Autriche au sud-sud-est, par la Suisse au sud-sud-ouest, par la France au sud-ouest, par la Belgique et le Luxembourg à l'ouest, enfin par les Pays-Bas à l'ouest-nord-ouest.
ItalieLItalie ( ; en Italia ), en forme longue la République italienne (en Repubblica Italiana ), est un État souverain d'Europe du Sud. Son territoire comprend une partie continentale, une péninsule située au centre de la mer Méditerranée ainsi qu'une partie insulaire constituée par les deux plus grandes îles de cette mer, la Sicile et la Sardaigne, et d'autres îles plus petites. Elle est rattachée au reste du continent par le massif des Alpes. Le territoire italien correspond approximativement à la région géographique homonyme.
Lame (coutellerie)vignette|upright=1.5|Un couteau en silex. Une lame est la partie coupante d'un couteau, plus généralement d'une arme blanche ou de tout outil à vocation de découpe. Une lame tranchante comporte une arête vive appelée « fil » : le fil est la partie qui pénètre en premier dans la matière que l'on coupe ; c'est lui qui va supporter la pression de coupe et effectivement rompre la matière à couper. Une « lame à double tranchant » comporte ainsi deux fils, un à chaque extrémité de lame. Une lame peut être de type monoface ou biface.
CalendrierUn calendrier est un système de repérage des dates en fonction du temps. Un tel système a été inventé par les hommes pour diviser et organiser le temps sur de longues durées. L'observation des phénomènes périodiques du milieu où ils vivaient — comme le déplacement quotidien de l'ombre, le retour des saisons ou le cycle lunaire — ont servi de premières références pour organiser la vie agricole, sociale et religieuse des sociétés. Le calendrier utilisé aujourd'hui dans la majeure partie du monde est le calendrier grégorien.
JaponLe Japon (en japonais : 日本, Nihon, ou Nippon, ) est un pays insulaire de l'Asie de l'Est, situé entre l'océan Pacifique et la mer du Japon, à l'est de la Chine, de la Corée du Sud, de la Corée du Nord et de la Russie, et au nord de Taïwan. Étymologiquement, les kanjis (caractères chinois) qui composent le nom du Japon signifient « pays (国, kuni) d'origine (本, hon) du Soleil (日, ni) » ; c'est ainsi que le Japon est désigné comme le « pays du soleil levant ».
