'Functor' diaporamas de présentation

Categories of Functors

Categories of Functors. http://cis.k.hosei.ac.jp/~yukita/. Functors. Ex. 1. Group Homomorphisms. Ex. 2. Category Cat. Ex. 3. Functors are Constructions Basis ? Vector Space. Ex. 4. Functors are Constructions X ? Stacks of X.

455 views • 34 slides

442 views • 29 slides

Advanced Programming Techniques Spring 2010

Advanced Programming Techniques Spring 2010. C ++ Templates Case Study. Case-Study. What we have : A function that retrieves the minimum float in an array of floats What we want : A function that retrieves the minimum element in an arbitrary traversable list of arbitrary type

257 views • 14 slides

Prolog

Prolog. Prolog is a logic programming language. It is a general purpose language often associated with artificial intelligence and computational linguistics . It has a purely logical subset, called "pure Prolog", as well as a number of extralogical features. Prolog. Data Types. Term.

453 views • 11 slides

Manipulating Terms More Generally

200 views • 9 slides