Concept
Continuation-passing style
Séances de cours associées (52)
Algorithme caché du sous-groupe
Continue la discussion sur le problème caché du sous-groupe de Simon, en se concentrant sur la recherche d'une base.
Algorithme du shor : constatation de la période
Couvre l'algorithme shor pour la détermination de la période et son application dans la factorisation, en discutant de la mise en oeuvre du circuit et des résultats de mesure.
Formes différentielles sur les collecteurs
Introduit des formes différentielles sur les collecteurs, couvrant les faisceaux tangents et les appariements d'intersection.
Monodromie conjecture
Explore la conjecture de la monodromie, en discutant de ses origines, de ses implications et des conditions de sa convergence dans des contextes mathématiques.
Représentations intermédiaires : CPS/L3
Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.
Lenna Interpolation
Explique en détail la méthode d'interpolation de Lenna utilisant Gagliardo et Broc LK (RK) pour KEN.
Gestion de la mémoire: Partie I
Couvre les concepts de gestion de la mémoire tels que les en-têtes de bloc, la fragmentation externe, le comptage des références et la collecte des déchets de marquage et de balayage.
MIPS Assemblage: Fonction Appels & Gestion de la mémoire
Explore le langage d'assemblage MIPS, couvrant les appels de fonctions, la gestion de la mémoire et les structures de données, y compris les fonctions récursives, les constructions de programmation, les tableaux et les listes liées.
Approximation des boucles : Récursion
Explore les boucles d'approximation et définit mathématiquement les programmes récursifs.
Gestion impérative des événements : le modèle d'observateur
Présente le modèle d'observateur largement utilisé pour les vues afin de réagir aux changements de modèle, avec des exemples d'éditeur, d'abonné et de consolidateur.