Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Second pass at incorporating community srt files into sentence translations #176

Merged
merged 1 commit into from
Feb 21, 2024
Merged

Second pass at incorporating community srt files into sentence translations #176

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
44 changes: 25 additions & 19 deletions 2015/eulers-characteristic-formula/polish/sentence_translations.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,45 +42,47 @@
{
"input": "Because Euler was originally talking about 3D polyhedra when he found this formula, which was only later reframed in terms of planar graphs, instead of saying dots, we say vertices, instead of saying lines, we say edges, and instead of saying regions, we say faces.",
"translatedText": "",
"from_community_srt": "Ponieważ pierwotnie wzór odnosił się do wielościanów 3D, a dopiero później wzór został przeformułowany w kategoriach grafów planarnych, zamiast mówić „punkty” mówimy „wierzchołki”, zamiast mówić „linie” mówimy „krawędzie”, a zamiast mówić „regiony” mówimy „ściany”, a więc zapisujemy odkrycie Eulera jako V - E + F = 2.",
"from_community_srt": "Ponieważ pierwotnie wzór odnosił się do wielościanów 3D, a dopiero później wzór został przeformułowany w kategoriach grafów planarnych, zamiast mówić „punkty” mówimy „wierzchołki”, zamiast mówić „linie” mówimy „krawędzie”, a zamiast mówić „regiony” mówimy „ściany”,",
"n_reviews": 0,
"start": 54.28,
"end": 68.78
},
{
"input": "Hence, we write Euler's discovery as V minus E plus F equals 2.",
"translatedText": "",
"from_community_srt": "a więc zapisujemy odkrycie Eulera jako V - E + F = 2.",
"n_reviews": 0,
"start": 69.32,
"end": 73.48
},
{
"input": "Before describing the proof, I need to go through three pieces of graph theory terminology.",
"translatedText": "",
"from_community_srt": "Zanim przedstawię dowód, omówię część terminologii teorii grafów: cykle, drzewa rozpinające i grafy dualne.",
"from_community_srt": "Zanim przedstawię dowód, omówię część terminologii teorii grafów:",
"n_reviews": 0,
"start": 74.74,
"end": 78.76
},
{
"input": "Cycles, spanning trees, and dual graphs.",
"translatedText": "",
"from_community_srt": "cykle, drzewa rozpinające i grafy dualne.",
"n_reviews": 0,
"start": 79.5,
"end": 82.02
},
{
"input": "If you are already familiar with some of these topics and don't care to see how I describe them, feel free to click the appropriate annotation and skip ahead.",
"translatedText": "",
"from_community_srt": "Jeśli jesteś już zaznajomiony z tymi pojęciami i nie jesteś ciekawy, jak je opisuję, śmiało kliknij odpowiedni przypis, aby przejść do przodu.",
"from_community_srt": "Jeśli jesteś już zaznajomiony z tymi pojęciami i nie jesteś ciekawy, jak je opisuję, śmiało kliknij odpowiedni przypis,",
"n_reviews": 0,
"start": 82.56,
"end": 89.58
},
{
"input": "Imagine a tiny creature sitting on one of the vertices.",
"translatedText": "",
"from_community_srt": "Wyobraź sobie, że mały stwór siedzi na jednym z wierzchołków.",
"from_community_srt": "aby przejść do przodu. Wyobraź sobie, że mały stwór siedzi na jednym z wierzchołków.",
"n_reviews": 0,
"start": 90.64,
"end": 93.22
Expand All @@ -95,23 +97,23 @@
{
"input": "If we think of edges as something Randolph might travel along from one vertex to the next, we can sensibly talk about a path as being a sequence of edges that Randolph could travel along, where we don't allow him to backtrack on the same edge.",
"translatedText": "",
"from_community_srt": "Jeśli myślimy o krawędziach jako o czymś, po czym może podróżować Randolf, pokonując drogę od jednego wierzchołka do drugiego, możemy nazwać „ścieżką” sekwencję krawędzi, wzdłuż których Randolf może podróżować, ale nie może się zawracać na odwiedzonej już krawędzi.",
"from_community_srt": "Nazwijmy go „Randolf”. Jeśli myślimy o krawędziach jako o czymś, po czym może podróżować Randolf, pokonując drogę od jednego wierzchołka do drugiego, możemy nazwać „ścieżką” sekwencję krawędzi, wzdłuż których Randolf może podróżować, ale nie może się zawracać na odwiedzonej już krawędzi.",
"n_reviews": 0,
"start": 95.28,
"end": 107.44
},
{
"input": "A cycle is simply a path that ends on the same vertex where it begins.",
"translatedText": "",
"from_community_srt": "„Cykl” jest ścieżką, która kończy się na tym samym wierzchołku, na którym się zaczyna.",
"from_community_srt": "„Cykl” jest ścieżką, która kończy się na tym samym wierzchołku,",
"n_reviews": 0,
"start": 109.12,
"end": 113.22
},
{
"input": "You might be able to guess how cycles will be important for our purposes, since they will always enclose a set of faces.",
"translatedText": "",
"from_community_srt": "Możesz zgadnąć, jak ważne będą cykle dla naszych celów, ponieważ każdy zawiera jakiś zestaw ścian.",
"from_community_srt": "na którym się zaczyna. Możesz zgadnąć, jak ważne będą cykle dla naszych celów, ponieważ każdy zawiera jakiś zestaw ścian.",
"n_reviews": 0,
"start": 114.04,
"end": 119.88
Expand Down Expand Up @@ -159,14 +161,15 @@
{
"input": "I was actually lying earlier when I said a graph is a set of dots and lines.",
"translatedText": "",
"from_community_srt": "Właściwie, wcześniej kłamałem mówiąc, że graf jest zbiorem punktów i linii,",
"n_reviews": 0,
"start": 163.82,
"end": 167.22
},
{
"input": "Really, it's a set of anything with any notion of connection, but we typically represent those things with dots and those connections with lines.",
"translatedText": "",
"from_community_srt": "Właściwie, wcześniej kłamałem mówiąc, że graf jest zbiorem punktów i linii, naprawdę jest to zestaw czegokolwiek z jakimkolwiek pojęciem połączenia, ale zazwyczaj przedstawiamy te obiekty przy pomocy punktów, a połączenia przy pomocy linii.",
"from_community_srt": "naprawdę jest to zestaw czegokolwiek z jakimkolwiek pojęciem połączenia, ale zazwyczaj przedstawiamy te obiekty przy pomocy punktów, a połączenia przy pomocy linii.",
"n_reviews": 0,
"start": 167.66,
"end": 175.08
Expand Down Expand Up @@ -230,15 +233,15 @@
{
"input": "I personally like to visualize the dot for that outer region as being a point somewhere at infinity where you can travel in any direction to get there.",
"translatedText": "",
"from_community_srt": "Kropkę na zewnętrznym obszarze osobiście lubię wizualizować jako punkt gdzieś w nieskończoności, gdzie możesz podróżować w dowolnym kierunku, aby się tam dostać.",
"from_community_srt": "Kropkę na zewnętrznym obszarze osobiście lubię wizualizować jako punkt gdzieś w nieskończoności, gdzie możesz podróżować w dowolnym kierunku,",
"n_reviews": 0,
"start": 243.88,
"end": 251.58
},
{
"input": "Next, connect these new dots with new lines that pass through the centers of the old lines, where lines connected to that point at infinity can go off the screen in any direction, as long as it's understood that they all meet up at the same one point.",
"translatedText": "",
"from_community_srt": "Następnie, połącz te nowe kropki nowymi liniami, które przechodzą przez środki każdej starej linii, gdzie linie połączone z punktem w nieskończoności mogą oddalić się od ekranu w dowolnym kierunku, tak długo, jak jest zrozumiałe, że wszystkie one spotykają się w tym samym punkcie.",
"from_community_srt": "aby się tam dostać. Następnie, połącz te nowe kropki nowymi liniami, które przechodzą przez środki każdej starej linii, gdzie linie połączone z punktem w nieskończoności mogą oddalić się od ekranu w dowolnym kierunku, tak długo, jak jest zrozumiałe, że wszystkie one spotykają się w tym samym punkcie.",
"n_reviews": 0,
"start": 252.16,
"end": 265.24
Expand All @@ -254,15 +257,15 @@
{
"input": "The dual graph itself is the collection of faces and edges.",
"translatedText": "",
"from_community_srt": "Sam graf dualny jest zbiorem ścian i krawędzi.",
"from_community_srt": "Sam graf dualny jest zbiorem ścian i krawędzi. Powodem,",
"n_reviews": 0,
"start": 275.84,
"end": 279.26
},
{
"input": "The reason I stress this point is to emphasize that edges of the original graph and edges of the dual graph are not just related, they're the same thing.",
"translatedText": "",
"from_community_srt": "Powodem, dla którego kładę na to nacisk, jest podkreślenie, że krawędzie oryginalnego grafu i krawędzie grafu dualnego nie są tylko powiązane, są one tym samym!",
"from_community_srt": "dla którego kładę na to nacisk, jest podkreślenie, że krawędzie oryginalnego grafu i krawędzie grafu dualnego nie są tylko powiązane, są one tym samym!",
"n_reviews": 0,
"start": 280.14,
"end": 288.2
Expand Down Expand Up @@ -294,15 +297,15 @@
{
"input": "Suppose our friend Randolph has an alter ego, Mortimer, living in the dual graph, traveling from face to face instead of from vertex to vertex, passing over edges as he does so.",
"translatedText": "",
"from_community_srt": "Załóżmy, że nasz przyjaciel Randolf ma alter-ego, Mortimera, żyjącego w grafie dualnym, podróżującego od ściany do ściany zamiast od wierzchołka do wierzchołka, omijając krawędzie.",
"from_community_srt": "Załóżmy, że nasz przyjaciel Randolf ma alter-ego, Mortimera, żyjącego w grafie dualnym, podróżującego od ściany do ściany zamiast od wierzchołka do wierzchołka, omijając krawędzie. Powiedzmy,",
"n_reviews": 0,
"start": 309.8,
"end": 319.9
},
{
"input": "Let's say Randolph has bought all the edges of a spanning tree and that Mortimer is forbidden from crossing those edges.",
"translatedText": "",
"from_community_srt": "Powiedzmy, że Randolf kupił wszystkie krawędzie drzewa rozpinającego, i że zabronił Mortimerowi przechodzić przez te krawędzie.",
"from_community_srt": "że Randolf kupił wszystkie krawędzie drzewa rozpinającego, i że zabronił Mortimerowi przechodzić przez te krawędzie.",
"n_reviews": 0,
"start": 320.38,
"end": 326.46
Expand All @@ -318,60 +321,63 @@
{
"input": "To see why, we only need to check the two defining properties of spanning trees.",
"translatedText": "",
"from_community_srt": "Żeby zobaczyć czemu, musimy tylko sprawdzić dwie właściwości definiujące drzewa rozpinające:",
"n_reviews": 0,
"start": 336.66,
"end": 341.0
},
{
"input": "They must give Mortimer access to all faces and there can be no cycles.",
"translatedText": "",
"from_community_srt": "Żeby zobaczyć czemu, musimy tylko sprawdzić dwie właściwości definiujące drzewa rozpinające: Musi dać Mortimerowi dostęp do wszystkich ścian i nie może być w nim żadnych cykli.",
"from_community_srt": "Musi dać Mortimerowi dostęp do wszystkich ścian i nie może być w nim żadnych cykli.",
"n_reviews": 0,
"start": 341.62,
"end": 346.16
},
{
"input": "The reason he still has access to all faces is that it would take a cycle in Randolph's spanning tree to insulate him from a face, but trees cannot have cycles.",
"translatedText": "",
"from_community_srt": "Powodem, dla którego nadal ma dostęp do wszystkich ścian jest to, że potrzebny by był cykl w drzewie rozpinającym Randolfa, aby odizolować go od ściany, ale drzewa nie mogą mieć cykli.",
"from_community_srt": "Powodem, dla którego nadal ma dostęp do wszystkich ścian jest to, że potrzebny by był cykl w drzewie rozpinającym Randolfa, aby odizolować go od ściany,",
"n_reviews": 0,
"start": 348.58,
"end": 358.24
},
{
"input": "The reason Mortimer cannot traverse a cycle in the dual graph feels completely symmetric.",
"translatedText": "",
"from_community_srt": "ale drzewa nie mogą mieć cykli. Powód, dla którego Mortimer nie może przemieszczać się w cyklu grafu dualnego jest symetryczny:",
"n_reviews": 0,
"start": 360.96,
"end": 365.54
},
{
"input": "If he could, he would separate one set of Randolph's vertices from the rest so the spanning tree from which he is banned could not have spanned the whole graph.",
"translatedText": "",
"from_community_srt": "Powód, dla którego Mortimer nie może przemieszczać się w cyklu grafu dualnego jest symetryczny: jeśli mógłby, oddzieliłby jeden zbiór wierzchołków Randolfa od reszty, więc drzewo rozpinające, w którym nie może on podróżować, nie mogłoby rozpinać całego grafu.",
"from_community_srt": "jeśli mógłby, oddzieliłby jeden zbiór wierzchołków Randolfa od reszty, więc drzewo rozpinające, w którym nie może on podróżować,",
"n_reviews": 0,
"start": 366.0,
"end": 375.06
},
{
"input": "So not only does the planar graph have a dual graph, any spanning tree within that graph always has a dual spanning tree in the dual graph.",
"translatedText": "",
"from_community_srt": "Więc nie tylko graf planarny posiada graf dualny, ale każde drzewo rozpinające tego grafu zawsze ma dualne drzewo rozpinające w grafie dualnym.",
"from_community_srt": "nie mogłoby rozpinać całego grafu. Więc nie tylko graf planarny posiada graf dualny, ale każde drzewo rozpinające tego grafu zawsze ma dualne drzewo rozpinające w grafie dualnym.",
"n_reviews": 0,
"start": 378.3,
"end": 386.46
},
{
"input": "Here's the kicker.",
"translatedText": "",
"from_community_srt": "Tu jest zagwozdka:",
"n_reviews": 0,
"start": 388.04,
"end": 389.0
},
{
"input": "The number of vertices in any tree is always one more than the number of edges.",
"translatedText": "",
"from_community_srt": "Tu jest zagwozdka: liczba wierzchołków w drzewie jest zawsze o jeden większa niż liczba krawędzi.",
"from_community_srt": "liczba wierzchołków w drzewie jest zawsze o jeden większa niż liczba krawędzi.",
"n_reviews": 0,
"start": 389.68,
"end": 394.28
Expand Down
Loading