Programowanie

9
scal dwie ramki danych i dodaj poziom kolumny z nazwami

Cześć. Przekopałem się przez metody konkatacji, łączenia i łączenia pand i nie mogę znaleźć tego, czego chcę. Załóżmy, że mam dwie ramki danych A = pd.DataFrame("A",index=[0,1,2,3,4],columns=['Col 1','Col 2','Col 3']) B = pd.DataFrame("B",index=[0,1,2,3,4],columns=['Col 1','Col 2','Col...

9
Typy indukcyjne o jednakowym indeksowaniu implikują równe wskaźniki

Miejmy fooindeksowany typ indukcyjny x : X. Parameter X : Type. Inductive foo : X -> Type := | constr : forall (x : X), foo x. Jestem ciekawa, jeśli to foo x = foo ysugeruje x = y. Nie mam pomysłów, jak to udowodnić. Lemma type_equality_implies_index_equality : forall (x y : X), foo x = foo...

9
Przenieś co drugi rząd do rzędu powyżej w ramce danych pandy

Mam ramkę danych w tym kształcie: A B C D E 213-1 XL NaN NaN NaN 21 22.0 12 232.0 101.32 23-0 L NaN NaN NaN 12 23 12 232.2 NaN 31-0 LS NaN NaN NaN 70 70 23 NaN 21.22 Chciałbym przenieść co drugi wiersz tej ramki danych do wiersza powyżej, aby pozostały tylko połączone wiersze, jak widać w...

9
foo (void) vs foo (void *)

Pod względem funkcjonalnym i składniowym, czy istnieje różnica między funkcją, której prototypem jest int foo(void)i int foo(void *)? Znam różnicę między, na przykład, int bar(int)a int bar(int *)- jeden z nich szuka int, a drugi szuka wskaźnika int. Czy voidzachowuje się w ten sam...

9
Podziel ciąg na wielką literę lub cyfry

Próbowałem utworzyć potok w maszynie do pisania, który podzieliłby łańcuch PascalCase, ale byłoby miło, gdyby to również podzieliło się na cyfry. Chciałbym również, aby dzieliła się na kolejne duże litery. Mam ten potok, który działa świetnie, z tym że działa tylko w Chrome, a nie w Firefoxie,...