Les types dans les langages de programmation : entre modélisation, abstraction et correction
| Action | Key |
|---|---|
| Play / Pause | K or space |
| Mute / Unmute | M |
| Toggle fullscreen mode | F |
| Select next subtitles | C |
| Select next audio track | A |
| Toggle automatic slides maximization | V |
| Seek 5s backward | left arrow |
| Seek 5s forward | right arrow |
| Seek 10s backward | shift + left arrow or J |
| Seek 10s forward | shift + right arrow or L |
| Seek 60s backward | control + left arrow |
| Seek 60s forward | control + right arrow |
| Seek 1 frame backward | alt + left arrow |
| Seek 1 frame forward | alt + right arrow |
| Decrease volume | shift + down arrow |
| Increase volume | shift + up arrow |
| Decrease playback rate | < |
| Increase playback rate | > |
| Seek to end | end |
| Seek to beginning | beginning |
Vous pouvez faire un clic droit sur les diapositives pour ouvrir le menu
Informations sur ce média
5 vues
Colloque | Le même et l'autre : identité, orthogonalité, types
Colloque interdisciplinaire organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL)
Colloque interdisciplinaire organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL)
Date de création :
20 novembre 2018
Intervenants :
MARTINI Simone
Lien vers la chaîne du média :
Colloque | Le même et l'autre : identité, orthogonalité, types
De la même chaîne
3 vues, 2 cette annéeIdentité et types des unités dans le langage naturel : que peut-on apprendre des « word embeddings » ?25 octobre 2021
6 vues, 2 cette annéeSimilitude, coalitions, types : une généralisation des définitions par abstraction25 octobre 2021
10 vues, 5 cette annéeIdentités des programmes25 octobre 2021
7 vues, 5 cette annéeLes systèmes de types vus comme foncteurs : introduction à la perspective de Melliès et Zeilberger et quelques applications25 octobre 2021
30 vues, 2 cette annéeLambda-calcul et types : origines logiques, postérité computationnelle25 octobre 2021
6 vues, 3 cette annéeIdentité des preuves et types du second ordre25 octobre 2021
S'abonner aux notifications
Si vous êtes abonné aux notifications, un e-mail vous sera envoyé pour toutes les annotations ajoutées.
Votre compte utilisateur n'a pas d'adresse e-mail.