Korean languageKorean (South Korean: , hangugeo; North Korean: , chosŏnmal) is the native language for about 80 million people, mostly of Korean descent. It is the official and national language of both North Korea and South Korea (geographically Korea). The two countries have established standardized norms for Korean, and the differences between them are similar to those between Standard Chinese in mainland China and Taiwan, but political conflicts between the two countries have highlighted the differences between them.
SphereA sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the centre of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians. The sphere is a fundamental object in many fields of mathematics. Spheres and nearly-spherical shapes also appear in nature and industry.
XenonXenon is a chemical element with the symbol Xe and atomic number 54. It is a dense, colorless, odorless noble gas found in Earth's atmosphere in trace amounts. Although generally unreactive, it can undergo a few chemical reactions such as the formation of xenon hexafluoroplatinate, the first noble gas compound to be synthesized. Xenon is used in flash lamps and arc lamps, and as a general anesthetic. The first excimer laser design used a xenon dimer molecule (Xe2) as the lasing medium, and the earliest laser designs used xenon flash lamps as pumps.
AntAnts are eusocial insects of the family Formicidae and, along with the related wasps and bees, belong to the order Hymenoptera. Ants evolved from vespoid wasp ancestors in the Cretaceous period. More than 13,800 of an estimated total of 22,000 species have been classified. They are easily identified by their geniculate (elbowed) antennae and the distinctive node-like structure that forms their slender waists.
KilometreThe kilometre (SI symbol: km; ˈkɪləmiːtər or kɪˈlɒmətər), spelt kilometer in American English and Philippine English, is a unit of length in the International System of Units (SI), equal to one thousand metres (kilo- being the SI prefix for 1000). It is now the measurement unit used for expressing distances between geographical places on land in most of the world; notable exceptions are the United States and the United Kingdom where the statute mile is the main unit used.
Μ 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 (number)32 (thirty-two) is the natural number following 31 and preceding 33. 32 is the fifth power of two (), making it the first non-unitary fifth-power of the form p5 where p is prime. 32 is the totient summatory function over the first 10 integers, and the smallest number with exactly 7 solutions for . The aliquot sum of a power of two () is always one less than the number itself, therefore the aliquot sum of 32 is 31. The product between neighbor numbers of 23, the dual permutation of the digits of 32 in decimal, is equal to the sum of the first 32 integers: .
Xenon difluorideXenon difluoride is a powerful fluorinating agent with the chemical formula XeF2, and one of the most stable xenon compounds. Like most covalent inorganic fluorides it is moisture-sensitive. It decomposes on contact with water vapor, but is otherwise stable in storage. Xenon difluoride is a dense, colourless crystalline solid. It has a nauseating odour and low vapor pressure. Xenon difluoride is a linear molecule with an Xe–F bond length of 197.73pm in the vapor stage, and 200 pm in the solid phase.
C++C++ ('si:_plVs_plVs, pronounced "C plus plus" and sometimes abbreviated as CPP) is a high-level, general-purpose programming language created by Danish computer scientist Bjarne Stroustrup. First released in 1985 as an extension of the C programming language, it has since expanded significantly over time; modern C++ currently has object-oriented, generic, and functional features, in addition to facilities for low-level memory manipulation.
Leafcutter antLeafcutter ants, a non-generic name, are any of 47 species of leaf-chewing ants belonging to the two genera Atta and Acromyrmex. These species of tropical, fungus-growing ants are all endemic to South and Central America, Mexico, and parts of the southern United States. Leafcutter ants can carry twenty times their body weight and cut and process fresh vegetation (leaves, flowers, and grasses) to serve as the nutritional substrate for their fungal cultivates.
General recursive functionIn mathematical logic and computer science, a general recursive function, partial recursive function, or μ-recursive function is a partial function from natural numbers to natural numbers that is "computable" in an intuitive sense – as well as in a formal one. If the function is total, it is also called a total recursive function (sometimes shortened to recursive function). In computability theory, it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines (this is one of the theorems that supports the Church–Turing thesis).
Myrmecia (ant)Myrmecia is a genus of ants first established by Danish zoologist Johan Christian Fabricius in 1804. The genus is a member of the subfamily Myrmeciinae of the family Formicidae. Myrmecia is a large genus of ants, comprising at least 93 species that are found throughout Australia and its coastal islands, while a single species is only known from New Caledonia. One species has been introduced out of its natural distribution and was found in New Zealand in 1940, but the ant was last seen in 1981.
