Minimalism versus Types
Formale Metadaten
Titel |
| |
Untertitel |
| |
Serientitel | ||
Anzahl der Teile | ||
Autor | ||
Lizenz | CC-Namensnennung 2.0 Belgien: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
Identifikatoren | 10.5446/44421 (DOI) | |
Herausgeber | ||
Erscheinungsjahr | ||
Sprache |
Inhaltliche Metadaten
Fachgebiet | ||
Genre | ||
Abstract |
|
00:00
Formale SpracheSoftwarewartungProgrammierspracheMultiplikationsoperatorLokales MinimumDatenverwaltungProgrammierungComputeranimationVorlesung/Konferenz
00:34
MereologieFormale SpracheMinimumKonstruktor <Informatik>Rechter WinkelLokales MinimumSchreib-Lese-KopfWeb-SeiteProgrammierspracheProgrammbibliothekVorlesung/Konferenz
01:28
RechenwerkProgrammbibliothekMereologieFormale SpracheGanze FunktionComputeranimation
01:48
MatchingGüte der AnpassungPerspektiveMereologieBitÄhnlichkeitsgeometrieQuick-SortFormale SpracheCompilerProgrammierspracheProgrammierungRückkopplungNeuroinformatikVorlesung/Konferenz
03:00
ZeichenketteAssemblerEuler-Lagrange-GleichungVariableErlang-VerteilungNummernsystemAppletZeichenketteProgrammierspracheGanze ZahlVariableWeb-SeiteKategorie <Mathematik>Physikalische TheorieTermEinsBitZahlenbereichHydrostatikFormale SpracheAppletRechenwerkUmsetzung <Informatik>EntwurfsspracheDatenfeldRechter WinkelMultiplikationsoperatorCoxeter-GruppeDifferenteAssemblerComputeranimation
05:24
Lokales MinimumNummernsystemMultiplikationsoperatorKonfiguration <Informatik>GruppenoperationProgrammbibliothekVererbungshierarchieNP-hartes ProblemGesetz <Physik>Web-SeiteMereologieMeta-TagHeuristikProgrammierspracheRechter WinkelFormale SpracheDatenstrukturCodePunktProjektive EbeneCASE <Informatik>MetaprogrammierungPhysikalisches SystemProgrammiergerätVerzweigendes ProgrammLokales MinimumStatistische HypotheseImplementierungProgrammierungCoxeter-GruppePrototypingEinsSchreib-Lese-KopfVorlesung/Konferenz
09:58
Formale SpracheFormale SpracheProgrammierspracheGemeinsamer SpeicherLokales MinimumPhysikalisches SystemComputeranimation
10:41
Physikalisches SystemSchlussregelProgrammierspracheNummernsystemVorlesung/Konferenz
11:14
SchlussregelPhysikalisches SystemProgrammSchlussregelQuellcodeFormale SpracheProgrammierungInteraktives FernsehenSchreib-Lese-KopfProgrammierspracheComputeranimation
11:42
Formale SprachePhysikalisches SystemStatistische HypotheseSchlussregelCodierungSchreib-Lese-KopfVorlesung/Konferenz
12:02
Funktionale ProgrammiersprachePhysikalisches SystemTabelleGeradeTypsichere SpracheMultiplikationAggregatzustandSchlussregelFehlermeldungRechter WinkelComputeranimation
12:32
VariableErlang-VerteilungNummernsystemAppletProgrammierspracheTurm <Mathematik>VariableUnendlichkeitKomplex <Algebra>Kategorie <Mathematik>Computeranimation
13:03
VariableErlang-VerteilungNummernsystemAppletZeichenketteFunktion <Mathematik>Ganze ZahlFunktionale ProgrammierspracheZeichenketteGanze ZahlProgrammierspracheFormale SpracheRechter WinkelPhysikalisches SystemBeweistheorieMultiplikationsoperatorLesen <Datenverarbeitung>Notepad-ComputerSchreib-Lese-KopfProgrammierungComputeranimation
13:52
DatenflussDeterminanteGanze ZahlParametersystemTabelleVorlesung/Konferenz
14:14
Formale SpracheVorlesung/Konferenz
14:33
ZeichenketteFunktion <Mathematik>Ganze ZahlMultifunktionRekursiv aufzählbare MengeStellenringZusammenhängender GraphFehlermeldungMultiplikationsoperatorZahlenbereichVariablePhysikalisches SystemProgrammierungMultifunktionLastDatenflussAnalysisInformationSchreib-Lese-KopfDifferentialgleichungPrädikatenlogik erster StufeZeichenketteLogische ProgrammierspracheRechter WinkelGanze ZahlTabelleProzess <Informatik>Computeranimation
16:09
StellenringFehlermeldungRechter WinkelZeichenketteComputeranimation
16:26
StellenringArray <Informatik>Objektorientierte ProgrammierspracheData DictionaryZeichenketteTextur-MappingAnalysisDatenflussGanze ZahlCASE <Informatik>TabelleObjektorientierte ProgrammierspracheDatenfeldZeichenketteData DictionaryMapping <Computergraphik>Array <Informatik>DatenstrukturPrimitive <Informatik>Computeranimation
16:57
MagnettrommelspeicherArithmetischer AusdruckFormale SpracheProgrammierungVererbungshierarchieTuring-TestMultiplikationsoperatorBaum <Mathematik>Rechter WinkelVollständigkeitProgrammierspracheVorlesung/Konferenz
17:55
AppletTabelleInformationsspeicherungRechter WinkelFormale SpracheComputeranimation
18:23
Formale SprachePunktMAPKomplex <Algebra>Objektorientierte ProgrammierspracheWort <Informatik>SelbstrepräsentationRechter WinkelMailing-ListeDifferenteSchnitt <Mathematik>GarbentheorieDatenfeldVorlesung/Konferenz
19:12
ProgrammiergerätProgrammierungEinsFehlermeldungGanze ZahlTabelleSchnitt <Mathematik>Konfiguration <Informatik>Arithmetischer AusdruckZeiger <Informatik>SpieltheorieRechter WinkelVersionsverwaltungFunktionale ProgrammierspracheZeichenketteComputeranimation
20:08
ZweiProgrammfehlerAuswahlaxiomBenutzerfreundlichkeitLogische ProgrammiersprachePhysikalisches SystemVorlesung/Konferenz
21:20
Minkowski-MetrikLokales MinimumFehlermeldungFunktion <Mathematik>Lokales MinimumCodeProgrammierungTurtle <Informatik>Minkowski-MetrikQuellcodeOpen SourceTypsichere SpracheArithmetische FolgeComputeranimation
22:05
Vorlesung/KonferenzBesprechung/InterviewComputeranimation
Transkript: English(automatisch erzeugt)