language improvements via gpt-4

lectures/week01/Example01-codeworld_deutsch.sbv

@@ -7,7 +7,7 @@ Und gleichzeitig probiere ich mein Setup aus,
 für die Videoaufzeichnung einer Live-Programmierung.
 
 0:00:17.880,0:00:23.099
-Und dann ist das hier als ein erster Einblick in die
+Und dann ist das hier ein erster Einblick in die
 Welt der funktionalen Programmierung in CodeWorld.
 
 0:00:23.099,0:00:24.650
@@ -54,7 +54,7 @@ Es gibt auch eine andere Version von CodeWorld,
 die für die Programmierung durch Kinder gedacht ist, also
 
 0:01:17.520,0:01:20.939
-enthält nicht die eigentliche Sprache Haskell.
+enthält sie nicht die eigentliche Sprache Haskell.
 
 0:01:20.939,0:01:26.540
 Okay, nun, das erste Beispiel. Es geht eigentlich
@@ -78,8 +78,8 @@ Und dann haben wir noch einen komplexeren Ausdruck,
 der aus mehreren Teilen zusammengesetzt ist.
 
 0:01:45.840,0:01:53.659
-Es scheint also ein Polygon zu geben, das hat
-drei Zahlenpaare, oder wahrscheinlich sind es drei Punkte.
+Es scheint also ein Polygon zu geben, das drei
+Zahlenpaare hat, oder wahrscheinlich sind es drei Punkte.
 
 0:01:53.659,0:01:59.590
 Das wäre also ein Dreieck, und es bekommt
@@ -101,11 +101,11 @@ Und was wir hier tun können, ist auf Run zu klicken,
 und was bekommen wir dann?
 
 0:02:13.470,0:02:19.970
-Nun, wir erhalten ein Bild eines Kreises, und eines
-roten Dreiecks, das etwas nach außen verschoben ist
+Nun, wir erhalten ein Bild eines Kreises und eines
+roten Dreiecks, das etwas aus dem Zentrum
 
 0:02:19.970,0:02:25.040
-aus dem Zentrum. Also, der Kreis hat irgendwie
+nach außen verschoben ist. Also, der Kreis hat irgendwie
 einen Mittelpunkt hier, den Ursprung des Koordinatensystems,
 
 0:02:25.040,0:02:32.620
@@ -119,7 +119,7 @@ Okay.
 Deshalb haben wir dieses Bild hier.
 
 0:02:35.060,0:02:40.180
-Eine unmittelbare Frage, die manchmal kommt
+Eine unmittelbare Frage, die manchmal aufkommt
 zu so einem Beispiel, wenn ich das gezeigt habe,
 
 0:02:40.180,0:02:46.450
@@ -152,10 +152,10 @@ Also, ein Wert, der berechnet werden soll.
 
 0:03:12.269,0:03:16.900
 Und in diesem Fall ist der Wert, der berechnet werden soll,
-dieses Bild eines Kreises,
+dieses Bild eines Kreises
 
 0:03:16.900,0:03:19.000
-und nach rechts verschoben, rote Dreiecke.
+und nach rechts verschobene rote Dreiecke.
 
 0:03:19.000,0:03:26.269
 Okay, und wir können sogar diese Schaltfläche hier benutzen,
@@ -215,7 +215,7 @@ einzelnen Bildern, die auf der obersten Ebene
 zu einer Gesamtszene kombiniert werden.
 
 0:04:46.130,0:04:55.000
-Okay, und natürlich lernen wir weitere Möglichkeiten
+Okay, und natürlich lernen wir weitere Möglichkeiten,
 um Ausdrücke zu kombinieren.
 
 0:04:55.000,0:05:01.540
@@ -224,11 +224,11 @@ und diese Website.
 
 0:05:01.540,0:05:05.940
 Also, was ich jetzt tun möchte, ist, das Ganze
-etwas komplizierter machen, Schritt für Schritt.
+etwas komplizierter zu machen, Schritt für Schritt.
 
 0:05:05.940,0:05:10.571
-Und die Idee ist natürlich nicht, dass man
-das Programm vollständig verstehen sollte, das
+Und die Idee ist natürlich nicht, dass Sie
+das Programm vollständig verstehen sollten, das
 
 0:05:10.571,0:05:15.880
 ich hier schreibe. Die Idee ist wirklich nur,
@@ -376,7 +376,7 @@ Ich sollte nämlich auch sagen, um welchen Betrag ich
 mein Dreieck drehen will.
 
 0:08:22.990,0:08:30.020
-Und das soll ein Winkel sein soll, natürlich.
+Und das soll ein Winkel sein, natürlich.
 Und in CodeWorld, wie auch in Haskell, werden Winkel in Bogenmaß angegeben.
 
 0:08:30.020,0:08:36.240
@@ -444,7 +444,7 @@ etwas vom Typ "Double zu Picture" haben.
 Warum ist das so?
 
 0:09:29.430,0:09:33.310
-Weil "animation" im Wesentlichen eine Funktion
+Weil eine "Animation" im Wesentlichen eine Funktion
 von "Zeit" zu "Bild" ist.
 
 0:09:33.310,0:09:38.710
@@ -472,15 +472,15 @@ Im Grunde genommen, weil ich den Zeitparameter t nicht benutzt habe.
 Wie könnte ich ihn verwenden?
 
 0:09:58.070,0:10:04.890
-Nun, ich will, dass sich dieses Dreieck bewegt,
+Nun, ich möchte, dass sich dieses Dreieck bewegt,
 also vielleicht sollte ich den Winkel, um den
 
 0:10:04.890,0:10:07.200
 ich das Dreieck drehe, von der Zeit abhängig machen.
 
 0:10:07.200,0:10:14.050
-Anstelle von pi/2 könnte ich also sagen
-etwas wie t, das in Sekunden gemessen wird,
+Anstelle von pi/2 könnte ich also so etwas sagen wie:
+t, das in Sekunden gemessen wird,
 
 0:10:14.050,0:10:16.340
 mal die Hälfte von pi.
@@ -534,14 +534,14 @@ und dann nur ganz kurz erkläre, was da
 passiert.
 
 0:11:28.150,0:11:36.240
-Lassen Sie mich dies hinzufügen, und lassen Sie mich tatsächlich
+Lassen Sie mich dies hinzufügen und lassen Sie mich tatsächlich
 das Dreieck wieder in ein statisches Dreieck verwandeln,
 
 0:11:36.240,0:11:37.860
 das sich nicht bewegt. Warum?
 
 0:11:37.860,0:11:41.320
-Weil ich sowieso den t-Parameter verwenden werde
+Weil ich sowieso den t-Parameter verwenden werde,
 hier unten.
 
 0:11:41.320,0:11:45.210
@@ -612,8 +612,8 @@ Okay, aber es ist nicht wirklich eine Schleife im eigentlichen
 Sinne, weil es nicht darum geht, einen Schritt
 
 0:13:20.790,0:13:29.170
-nach dem anderen zu machen. Sondern tatsächlich zu sagen,
-ich will so viele Rechtecke haben, und die variieren
+nach dem anderen zu machen. Sondern es geht tatsächlich darum zu sagen,
+ich will so viele Rechtecke haben, und diese variieren
 
 0:13:29.170,0:13:30.600
 je nach diesem Parameter.
@@ -634,7 +634,7 @@ kompliziertere Bild.
 
 0:13:46.779,0:13:52.060
 Und wenn ich es noch komplizierter machen will,
-kann ich sagen: na ja, lass mich auch diese Quadrate drehen.
+kann ich sagen: Na ja, lass mich auch diese Quadrate drehen.
 
 0:13:52.060,0:14:05.600
 Ja, ich könnte etwas wie "rotated" hinzufügen,
@@ -664,7 +664,7 @@ Also eigentlich wird nicht für alle Quadrate
 der gleiche Winkel verwendet, sondern auch das "a"
 
 0:14:45.650,0:14:53.770
-wird involviert. Vielleicht ist es nicht einfach
+wird einbezogen. Vielleicht ist es nicht einfach
 sich vorzustellen, wie das aussehen wird. Aber wir
 
 0:14:53.770,0:15:00.300