Fish as foodMany species of fish are caught by humans and consumed as food in virtually all regions around the world. Fish has been an important dietary source of protein and other nutrients throughout human history. The English language does not have a special culinary name for food prepared from fish like with other animals (as with pig vs. pork), or as in other languages (such as Spanish pez vs. pescado). In culinary and fishery contexts, fish may include so-called shellfish such as molluscs, crustaceans, and echinoderms; more expansively, seafood covers both fish and other marine life used as food.
Fish migrationFish migration is mass relocation by fish from one area or body of water to another. Many types of fish migrate on a regular basis, on time scales ranging from daily to annually or longer, and over distances ranging from a few metres to thousands of kilometres. Such migrations are usually done for better feeding or to reproduce, but in other cases the reasons are unclear. Fish migrations involve movements of schools of fish on a scale and duration larger than those arising during normal daily activities.
Fish farmingFish farming or pisciculture involves commercial breeding of fish, most often for food, in fish tanks or artificial enclosures such as fish ponds. It is a particular type of aquaculture, which is the controlled cultivation and harvesting of aquatic animals such as fish, crustaceans, molluscs and so on, in natural or pseudo-natural environments. A facility that releases juvenile fish into the wild for recreational fishing or to supplement a species' natural numbers is generally referred to as a fish hatchery.
Pelagic fishPelagic fish live in the pelagic zone of ocean or lake waters—being neither close to the bottom nor near the shore—in contrast with demersal fish that live on or near the bottom, and reef fish that are associated with coral reefs. The marine pelagic environment is the largest aquatic habitat on Earth, occupying 1,370 million cubic kilometres (330 million cubic miles), and is the habitat for 11% of known fish species. The oceans have a mean depth of . About 98% of the total water volume is below , and 75% is below .
Fish ladderA fish ladder, also known as a fishway, fish pass, fish steps, or fish cannon is a structure on or around artificial and natural barriers (such as dams, locks and waterfalls) to facilitate diadromous fishes' natural migration as well as movements of potamodromous species. Most fishways enable fish to pass around the barriers by swimming and leaping up a series of relatively low steps (hence the term ladder) into the waters on the other side.
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.
GreeceGreece, officially the Hellenic Republic, is a country in Southeast Europe, situated on the southern tip of the Balkan peninsula. Greece shares land borders with Albania to the northwest, North Macedonia and Bulgaria to the north, and Turkey to the east. The Aegean Sea lies to the east of the mainland, the Ionian Sea to the west, and the Sea of Crete and the Mediterranean Sea to the south. Greece has the longest coastline on the Mediterranean Basin, featuring thousands of islands.
User experience designUser experience design (UX design, UXD, UED, or XD) is the process of defining the experience a user would go through when interacting with a company, its services, and its products. Design decisions in UX design are often driven by research, data analysis, and test results rather than aesthetic preferences and opinions. Unlike user interface design, which focuses solely on the design of a computer interface, UX design encompasses all aspects of a user's perceived experience with a product or website, such as its usability, usefulness, desirability, brand perception, and overall performance.
DesignA design is a concept of either an object, a process, or a system that is specific and, in most cases, detailed. Design refers to something that is or has been intentionally created by a thinking agent, though it is sometimes used to refer to the nature of something. The verb to design expresses the process of developing a design. In some cases, the direct construction of an object without an explicit prior plan may also be considered to be a design (such as in some artwork and craftwork).
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
