CoréenLe coréen est une langue parlée en Corée, dans les districts frontaliers de la République populaire de Chine (Yanbian) et dans les communautés émigrées (notamment au Japon, en Chine (Pékin, Shandong), en Russie, en Australie, aux États-Unis, en France, etc.), et est la langue officielle de la Corée du Nord et de la Corée du Sud. Si le coréen était anciennement considéré comme un isolat, les études les plus récentes considèrent qu'il fait partie des langues coréaniques, dont il est le seul survivant.
Sphèrevignette|Rendu en fil de fer d'une sphère dans un espace euclidien. En géométrie dans l'espace, une sphère est une surface constituée de tous les points situés à une même distance d'un point appelé centre. La valeur de cette distance au centre est le rayon de la sphère. La géométrie sphérique est la science qui étudie les propriétés des sphères. La surface de la Terre peut, en première approximation, être modélisée par une sphère dont le rayon est d'environ .
XénonLe xénon est l'élément chimique de numéro atomique 54, de symbole Xe. C'est un gaz noble, inodore et incolore. Dans une lampe à décharge, il émet une lumière bleue. Le xénon est le plus rare et le plus cher des gaz nobles, à l'exception du radon dont tous les isotopes sont radioactifs. Étymologiquement, le nom de « xénon » dérive du mot grec , « étranger ». Ce nom vient du fait que le xénon a été découvert sous forme de « gaz inconnu, étranger » dans le krypton lors des identifications successives des gaz rares (argon, krypton, xénon) à la fin du .
FourmiLes sont des insectes sociaux qui constituent la famille des (ou en français) et, avec les guêpes et les abeilles, sont classées dans l’ordre des Hymenoptera, sous-ordre des Apocrita. Ces insectes eusociaux forment des colonies, appelées fourmilières, parfois extrêmement complexes, contenant de quelques dizaines à plusieurs millions d’individus. Certaines espèces forment des supercolonies à plusieurs centaines de millions d’individus.
KilomètreLe kilomètre (symbole km) est une unité de longueur, créée en 1790, valant . C'est le multiple du mètre le plus fréquemment utilisé pour mesurer les distances terrestres (par exemple : entre les villes). On définit ainsi des points kilométriques le long des voies de communications, qui se matérialisent sur les routes par des bornes routières. On utilise aussi le kilomètre linéaire dans le domaine des archives, pour en quantifier le volume ; il correspond à la longueur cumulée des rayonnages occupés par les documents.
Μ operatorIn computability theory, the μ-operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to the primitive recursive functions makes it possible to define all computable functions. Suppose that R(y, x1, ..., xk) is a fixed (k+1)-ary relation on the natural numbers. The μ-operator "μy", in either the unbounded or bounded form, is a "number theoretic function" defined from the natural numbers to the natural numbers.
32 (nombre)Le nombre 32 (trente-deux) est l'entier naturel qui suit 31 et qui précède 33. Le nombre 32 est : un nombre pratique ; le plus petit nombre n pour lequel l'équation φ(x) = n possède exactement 7 solutions ; la puissance cinquième de 2 (2 = 32) ; un nombre composé deux fois brésilien car 32 = 447 = 2215 ; la somme des trois premiers entiers non nuls élevés à leur propre puissance (1 + 2 + 3 = 32).
Difluorure de xénonLe difluorure de xénon est le composé chimique de formule synthétisé pour la première fois à Munster par le chimiste Rudolf Hoppe. Il se présente sous forme d'un solide cristallin incolore qui se sublime à . On l'obtient à partir de xénon et de fluor sous l'effet de la chaleur, d'un arc électrique ou d'un rayonnement ultraviolet : + hν → . Cette réaction est très facile et peut même être réalisée à la lumière du jour par temps couvert en laissant réagir du xénon avec du fluor.
C++C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique. Ses bonnes performances, et sa compatibilité avec le C en font un des langages de programmation les plus utilisés dans les applications où la performance est critique. Créé initialement par Bjarne Stroustrup dans les années 1980, le langage C++ est aujourd'hui normalisé par l'ISO.
Fourmi coupe-feuilleLes fourmis coupe-feuille, également appelées fourmis-manioc en Guyane, fourmis champignonnistes ou encore fourmis parasol, sont des fourmis vivant dans les régions d'Amérique tropicale. Afin de se nourrir, elles ont développé une symbiose avec un champignon (principalement Leucoagaricus gongylophorus, qui, comme d'autres espèces de champignons cultivées par des fourmis, produit des gongylidia, des renflements riches en nutriments dont les fourmis se nourrissent) qu'elles cultivent dans leur fourmilière.
Fonction récursiveEn informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini. En fait, cela fait référence à deux concepts liés, mais distincts. En théorie de la calculabilité, la classe des fonctions récursives est une classe plus générale que celle des fonctions récursives primitives, mais plus restreinte que celle des fonctions semi-calculables (ou partielles récursives).
MyrmeciaMyrmecia est un genre de fourmis pouvant atteindre plus de de longueur (la plus petite espèce mesure de long). La totalité des quelque 90 espèces sont endémiques à l'Australie, à la seule exception de Myrmecia apicalis, originaire de Nouvelle-Calédonie où elle est rare. Ces fourmis (appellées bull ants) sont bien connues en Australie pour leur comportement agressif et leur piqure puissante. Leur venin peut provoquer un choc anaphylactique chez les personnes allergiques à leur piqûre.
