Menu główne
Justyna Chyla - Studium przypadku organizacji Buurtzorg
- Utworzono: niedziela, 25 styczeń 2026 18:25
- Poprawiono: niedziela, 25 styczeń 2026 18:43
- Odsłony: 92
Organizacja Buurtzorg pochodząca z Holandii została powołana w 2006 roku z inicjatywy Jos de Blok oraz jego dwójki przyjaciół. Pierwszy zespół rozpoczął swoją pracę na rzecz organizacji już w 2007 roku. Od 2010 nastąpił jej dynamiczny wzrost, a liczba zespołów powiększyła się do 250. Instytucja oferuje pacjentom model wsparcia środowiskowego. W literaturze naukowej model ten określany jest jako: innowacyjny, zapewniający wysoką jakość i niskie nakłady finansowe. Strukturę organizacyjną tworzą samoorganizujące się zespoły pielęgniarek.
Co stanowi czynnik sukcesu w tej organizacji? Jakie czynniki kształtują zaangażowanie pielęgniarek w organizacji Buurtzorg? Podczas prezentacji zostaną przedstawione wyniki badań jakościowych przeprowadzonych z pracownikami Buurtzorg.
Justyna Chyla – Doktorantka w Uniwersytecie Ekonomicznym w Krakowie, kierunek: zarządzanie, dyscyplina: nauki o zarządzaniu i jakości. Jej zainteresowania naukowe są związane z zaangażowaniem pracowników, partycypacją pracowników, autonomią pracy, koncepcją turkusowych organizacji. Z wykształcenia jest psychologiem (specjalizacja: psychologia organizacji i zarządzania) oraz doradczynią kariery. Posiada ponad 10-letnie doświadczenie zawodowe w realizacji projektów z zakresu rynku pracy oraz w wspieraniu klientów w rozwoju ich ścieżki kariery. Prowadzi zajęcia z psychologii poznawczej i psychologii społecznej.
Kontakt: Ten adres pocztowy jest chroniony przed spamowaniem. Aby go zobaczyć, konieczne jest włączenie w przeglądarce obsługi JavaScript.
Numer ORCID: 0000-0002-3794-3454
Spotkania robocze zespołu projektu Lingua w roku 2025
- Utworzono: sobota, 17 maj 2025 15:13
- Poprawiono: sobota, 10 styczeń 2026 17:11
- Odsłony: 1059
Poza spotkaniami zespołu, na których przedstawiam podstawy teoretyczne wprowadzające do projektu Lingua, spotykamy się również w celu prowadzenia rozmów o przyszłości projektu i jego stanie aktualnym. Niniejsza strona służy do dokumentowania i archiwizowania tych rozmów.
2025 05 17 Pierwsze spotkanie po zakończeniu wstępnej serii wykładów
Na tym spotkaniu uczestnicy przedstawili się wzajemnie i wstępnie deklarowali obszar swoich zainteresowań w przyszłych pracach nad rozwojem projektu.
Pobierz streszczenie spotkania wykonane przez SI Zoom
2025 05 24 Spotkanie robocze
Na spotkaniu wystąpili:
- Roman Matuszewski, który mówił o swoich wstępnych refleksjach i zamierzeniach związanych z systemem automatycznego dowodzenia twierdzeń, który chcemy zainstalować w naszym ekosystemie programisty; to wystąpienie będzie kontynuowana na najbliższym spotkaniu,
- Marek Jaźwiński, który również mówił o swoich zamierzeniach, jednak dotyczących samego procesu budowania programów w Lingua; To wystąpienie będzie kontynuowane w czerwcu.
Pobierz streszczenie spotkania wykonane przez SI Zoom
2025 05 31 Spotkanie robocze
Na spotkaniu wystąpili:
- Roman Matuszewski, który mówił o swoich wstępnych refleksjach związanych z systemem automatycznego dowodzenia twierdzeń i w związku z tym zadawał wiele pytań Jackowi,
- Jacek Blikle, który na gruncie właśnie pisanej pracy omawiał swoje wstępne pomysły związane z formalizacją teorii denotacji, która byłaby podstawą działania w przyszłości systemu automatycznego dowodzenia twierdzeń wspomagającego pracę programisty w języku Lingua-V.
Pobierz streszczenie spotkania wykonane przez SI Zoom
2025 07 12 Spotkanie robocze
Spotkanie było poświęcone rozwinięciu myśli — omawianych na poprzednim spotkaniu — a poświęconych budowie sformalizowanej teorii, która stanowiłaby zaplecze dla ekosystemu programisty w językach typu Lingua-V, a w szczególności dla systemu automatycznego dowodzenia twierdzeń. Szczegółowo omówiono prosty przykład budowania programu poprawnego w takim środowisku, a także podstawową wiedzę dotyczącą sformalizowanych teorii pierwszego i drugiego rzędu. Wykład będzie kontynuowany za tydzień, tj. 2025 07 19.
2025 07 19 Spotkanie robocze
Spotkanie było poświęcone kontynuacji poprzedniego.Omówiłem proces (algorytm) budowania języka teorii sformalizowanej II rzędu dla języka z modelem algebraicznym. Następne spotkanie odbędzie się w sobotę 9 sierpnia
2025 08 09 Spotkanie robocze
Nadal opowiadałem o budowaniu języka teorii sformalizowanej, w którym można by mówić o własnościach denotacji języka Lingua-V. Poświęciłem też trochę czasu na omówienie mojej wizji logistyki pracy programisty w ekosystemie. W sumie omówiłem sporo materiału nieco ponad 2 godziny.
2025 08 23 Spotkanie robocze
Zdawało mi się, że będzie to ostatni wykład o budowaniu ekosystemów programisty, ale -- jak już nieraz -- okazało się, że jeszcze to i owo trzeba dodać. Trochę powtórzyłem i podsumowałem poprzednie wykłady o ekosystemie, ale też dodałem sporo nowego materiału. Wydaje mi się, że coraz lepiej rozumiem, o co w tym wszystkim chodzi.
2025 08 30 Spotkanie robocze
To było spotkanie kończące pierwszy cykl spotkań poświęconych zagadnieniom logicznym związanych z ekosystemem dla programistów w Lingua-V. Chyba już wiemy, jak powinien wyglądać przyszły ekosystem programisty, a przynajmniej wiemy od czego rozpocząć jego budowę. Do tego spotkania nie dołączam prezentację, bo jej pełną wersję udostępniam nieco niżej wraz z raportem podsumowującym moje wcześniejsze referaty.
2025 10 04 Podsumowanie spotkań poświęconych logicznym aspektom przyszłego ekosystemu
Tym razem przygotowałem podsumowującą prezentację i wprowadziłem kilka drobnych poprawek zarówno do prezentacji, jak i raportu. Usunąłem więc materiały podpięte pod sprawozdanie z poprzedniego spotkania, a poniżej zamieszczam aktualne. Postanowiliśmy też rozpocząć pracę nad inteligentnym edytorem tekstu, który będzie jednym z komponentów ekosystemu. Najbliższe spotkanie odbędzie się za dwa tygodnie 18 października 2025 o godz. 13:00.
Pobierz raport z 2025 10 04
Pobierz pełną prezentację z 2025 10 04
Pobierz skróconą prezentację pokazaną na dzisiejszym spotkaniu.
2025 11 15 Pierwsze spotkanie na temat budowania składni (gramatyki) dla Lingua-D
Pokazałem pierwszy szkic procesu budowania składni z wieloma znakami zapytania i problemami do rozwiązania na przyszłość. Będę teraz nad tymi problemami pracował i umieszczał w związane z tym kolejne wersje raportu. Na razie jest te wersja robocza z dnia dzisiejszego. Prezentacji na ten wykład nie przygotowałem, bo sprowadziło by się to do skopiowania do niej kolejnych gramatyk. Pokazywałem więc tekst raportu zamiast prezentacji.
2025 11 22 Drugie spotkanie na temat budowania składni (gramatyki) dla Lingua-D
Omówiłem krótko pewne nowe podejście do budowania składni dla Lingua-D, która przyszła mi do głowy całkiem ostatnio. Przerabiam w tym duchu mój raport na ten temat, który wkrótce tu udostępnię. Z kolei Marek Jaźwiński Przedstawił swój oryginalny pomysł dotyczący samego pojęcia składni kolokwialnej.
2025 12 13 Trzecie spotkanie na temat budowania składni (gramatyki) dla Lingua-T
W czasie po ostatnim spotkaniu postanowiłem nasz język docelowy ekosystemu programisty nazwać Lingua-T (-T od "theory"). Mamy więc opisane dziś (wstępnie) trzy języki:
- kolokwialna wersja j. Lingua — implementowalny tradycyjny j. programowania, choć z semantyką denotacyjną,
- Lingua-V — j. programowania walidującego oparty na Lingua, którego programy zawierają w sobie (składniowo) specyfikacje,
- Lingua-T — j. teorii denotacji programu Lingua-V, który zawiera w sobie Lingua-V, ale też metazmienne przebiegające denotacje Lingua-V; w tym języku można formułować lematy będące regułami budowania programów poprawnych w Lingua-V.
Te trzy języki należy traktować jako prototypy — pewnie niejedno jeszcze w nich zmienimy — ale można już zacząć przymierzać się do budowania ekosystemu programisty, a w szczególności inteligentnego edytora Lingua-T. Poniżej udostępniam nagranie ze spotkania oraz kolejną wersję raportu.
Droga do Sukcesu: trzy całodniowe kursy
- Utworzono: niedziela, 02 luty 2025 16:40
- Poprawiono: niedziela, 30 marzec 2025 14:14
- Odsłony: 2441
Spośród oferowanych przeze mnie szkoleń opisanych na niniejszej witrynie, ułożyłem trzy jednodniowe kursy, które w całości nazwałem Drogą do Sukcesu:
- Droga do turkusu:
- na czym polega turkusowa samoorganizacja i dlaczego jest taka skuteczna,
- jak komunikować się z ludźmi, by budować nimi dobre, przyjazne relacje,
- jak motywować, by nie demotywować – jak sprawić, aby nam się chciało chcieć.
- Droga do jakości:
- co to jest zarządzanie jakością (TQM) i jak je skutecznie realizować,
- jak podejmować trafne decyzje w sytuacjach losowych,
- co to jest model procesowy organizacji i jak go wdrożyć.
- Droga do rynku:
- jak zaprojektować optymalne polityki cenowe wykorzystujące potencjał rynku,
- na czym polega sztuka sprzedaży w ujęciu Briana Tracy,
- czym są błękitne oceany i jak je tworzyć.
Każdy z tych kursów rozpoczyna się i kończy warsztatem komunikacyjnym. Klikając w tytuły kursów można pobrać ich konspekty w wersji PDF.
Do współpracy zapraszam zarówno organizacje, które chciałby zorganizować któryś z kursów dla swoich pracowników, jak i te, które były gotowe zorganizować wspólnie ze mną szkolenie otwarte. Proszę pisać do mnie na adres: Ten adres pocztowy jest chroniony przed spamowaniem. Aby go zobaczyć, konieczne jest włączenie w przeglądarce obsługi JavaScript.
Artur Gładosz ― Mniej znaczy więcej. Siła małych zespołów medycznych, 3 kwietnia 2025
- Utworzono: sobota, 05 kwiecień 2025 14:32
- Poprawiono: sobota, 05 kwiecień 2025 15:37
- Odsłony: 984
W Medi3 relacje grają pierwsze skrzypce – liczy się zaufanie, dobra energia i wspólne wartości.
Działamy turkusowo w małym zespole i to właśnie ta kameralność sprawia, że możemy się wspierać i naprawdę czuć, że robimy coś razem, a nie obok siebie ― mówi Artur Gładosz, współzałożyciel Fundacji Medi3, świadczącej usługi opieki okołoporodowej w województwie podkarpackim.
Podczas spotkania będziemy rozmawiać o budowaniu skutecznych zespołów medycznych. Artur Gładosz podzieli się doświadczeniami w tworzeniu Medi3, a także opowie, w jaki sposób wspiera małe i średnie przychodnie w układaniu efektywnej współpracy, szukaniu właściwych ludzi do zespołu, pielęgnowaniu relacji, które przekładają się na jakość opieki nad pacjentem.
Artur Gładosz jest absolwentem Uniwersytetu Medycznego w Lublinie, gdzie ukończył studia magisterskie w dziedzinie fizjoterapii. Ma również tytuł Master of Business Administation w ochronie zdrowia zdobyty w Wyższej Szkole Informatyki i Zarządzania w Rzeszowie
Jako prezes zarządu Fundacji Medi3 jest odpowiedzialny za kierowanie jej działalnością, organizuje szkolenia dla personelu medycznego z fizjoterapii i położnictwa. Interesuje się także zarządzaniem w ochronie zdrowia oraz poprawą jakości usług medycznych, angażując się w inicjatywy mające na celu wsparcie i rozwój personelu medycznego oraz poprawę standardów opieki zdrowotnej.
Wykłady wprowadzające do projektu Lingua
- Utworzono: sobota, 25 styczeń 2025 17:20
- Poprawiono: sobota, 10 maj 2025 17:27
- Odsłony: 1900
Wykłady wprowadzające do Projektu Lingua zostały przygotowane i wygłoszone na forum jego zespołu. Poniżej znajduje się lista tych wykładów uporządkowana w kolejności chronologicznej. Poza streszczeniami wykładów zawiera ona liki do pobrania prezentacji i odsłuchania nagrań video.
Wprowadzenie do idei projektu
Ponieważ pierwsze spotkanie grupy Lingua nie było nagrywane, podaję poniżej linki do dwóch moich krótkich wykładów i jednej rozmowy poświęconych idei i filozofii projektu.
- moje wystąpienie na spotkaniu grupy WarsawJS w j. angielskim (ca. 30 min) Zobacz
- krótkie video-zaproszenie do projektu (ca. 4 min.) Zobacz.
- nieco pełniejsze video-zaproszenie do projektu (ca. 24 min.) Zobacz.
- rozmowa o projekcie ze scrum-masterem (ca. 55 min) Zobacz
2025 01 25 O technicznych fundamentach projektu
W wykładzie pokazuję na bardzo prostych przykładach dwie metody stanowiące fundament projektu:
- Metodę takiego projektowania języka programowania, aby istniała dla niego semantyka denotacyjna. Język jest projektowany w kolejności odwrotnej w stosunku do zwyczajowej, a mianowicie od denotacji do składni.
- Metodę konstruowania programów dającą gwarancję, że programy są funkcyjnie poprawne. Narzędzia dla takiej metody można zbudować dla języków mających semantyki denotacyjne.
2025 02 01 Podstawowe założenia o projekcie oraz trzy pierwsze warstwy denotacyjne
Wykład zaczyna się od sformułowania podstawowych założeń technicznych o języku Lingua, np. że jest silnie utypowiony, a następnie omawiam trzy pierwsze denotacyjne warstwy (algebry) języka:
- rodzaje danych, na których nasze programy będą operować, i ich konstruktory,
- typy danych rozumiane jako niezależne byty matematyczne i ich konstruktory,
- dane utypowione rozumiane jako pary składające się z danej i jej typu i ich konstruktory.
Dane utypowione stanowią szczególną kategorię elementów zwanych "wartościami". Będą one przypisywane zmiennym przy ich inicjalizacji oraz generowane przez wyrażenia w wyniku ich wykonywania.
2025 02 08 Jarzma, obiekty, klasy i stany
Stany stanowią jedno z centralnych pojęć naszego modelu, bo denotacje większości elementów naszego języka to funkcje przyjmujące stany jako argumenty i oddające bądź wartości, referencje, typy i jarzma (wyrażenia), bądź też stany (instrukcje, deklaracje i programy). To nadal dość techniczny wykład — jak poprzedni — jednakże trzeba przez niego przebrnąć, by już niedługo zacząć mówić o denotacjach. Tym razem zrezygnowałem ze streszczenia przygotowywanego przez AI, bo obawiam się, że może tylko namieszać.
2025 02 15 Stosowalność (usability) i widoczność (visibility) przedmiotów (items)
Przedmiotami w naszym modelu nazywam wartości, referencje, typy i procedury. Ich stosowalność jest opisywana (ustalana) przez mechanizm typów, a widoczność — przez mechanizm prywatności. W wykładzie omawiam podstawowe reguły stosowalności i widoczności. Ta część wykładu ma charakter raczej nieformalny. Na koniec pokazuję przykład stanu publicznego pamięci, a także stanu lokalnego dla wywołania procedury. Po wykładzie wywiązała się ciekawa dyskusja ze słuchaczami.
2025 02 22 Denotacje wyrażeń
W naszym modelu mamy trzy kategorie wyrażeń różniące się tym, jakie wyniki zwracają przy ich wyliczniu: wyrażenia wartościologiczne (zwracają wartości), wyrażenia typologiczne, jarzmowe i referencyjne. W wykładzie pokazuję czym są denotacje takich wyrażeń iraz przykłady ich kontruktorów z pominięciem jednak konstruktorów wyrażeń jarzmowych, które są technicznie dość złożone. Również po tym wykładzie wywiązała się ciekawa dyskusja, która miała swoją kontynuację na naszym serwerze Discord.
2025 03 01 Denotacje instrukcji i metody (cz.1)
Wykład składa się z dwóch części poświęconych kolejno denotacjom instrukcji i metodom.
Denotacje instrukcji są funkcjami częściowymi ze stanów w stany. W wykładzie pokazuję konstruktory denotacji instrukcji przypisania, instrukcji warunkowej i instrukcji pętli while. Pokazuję też konstruktor denotacji instrukcji warunkowej if-error służącej do obsługi błędów. Instrukcje wywołania procedur zostaną omówione w dalszych wykładach, razem z procedurami.
W wykładzie dotyczących metod wymieniam trzy ich kategorie: metody imperatywne, obiektowe i funkcyjne. Każda z takich metod może być konkretna (procedura) i abstrakcyjna (sygnatura). Omawiam też, na poziomie intuicyjnym, funkcjonowanie medod imperatywnych.
- Pobierz prezentację poświęconą instrukcjom
- Pobierz prezentację poświęconą metodom
- Zobacz video (obejmuje oba wykłady)
2025 03 22 Metody i denotacje deklaracji
Ponieważ w dniu 8 marca zapomniałem włączyć nagrywanie, a w dniu wykład się nie odbył z powodu prowadzonego przeze mnie całodzennego szkolenia gdzieindziej, w dniu 22 marca szybko powtórzyłem wykład o metodach. Następnie (też w pewnym skrócie) opowiedziałem o deklaracjach. Tym samym zakończyłem tę część wykładu, która była poświęcona modelowi denotacyjnemu. Rozdziału 7 poświęconego składni ne będę w ogóle omawiał, bo czytanie gramatyki na wykładzie byłobyh dość nudne. Tę część możecie szybko przekartkowa sami. Na kolejnym wykładzie zaję się tym co stanowi drugi filar naszej metody,m a więc zagadnieniem poprawności programów.
- Pobierz prezentację poświęconą metodom
- Pobierz prezentację poświęconą deklaracjom
- Zobacz video obejmujące oba wykłady
2025 03 29 Zbiory łańcuchowo-zupełne i relacyjny model poprawności
Zbiory łańcuchowo-zupełne to algebry o specyficznych własnościach, których elementy możde definiować równaniami stałopunktowymi postaci x = f.x. Przy pomocy takich równań definiujemy języki formalne, dziedziny denotacyjne a także wiele funkcji. Z kolei relacyjny model poprawności, to model, w którym programy są rerezentowane przez relacje binarne na stanach (abstrakcyjnych), a warunki, czyli predykaty, przez zbiory stanów. W tym modelu w bardzo prosty i elegancki sposób daje się zdefiniować pojęcia poprawoności programów, a także sformułować i udowodnić podstawowe twierdzenia o budowaniu programów poprawnych.
2025 04 05 Poprawność programów w Lingua, część 1
Aby mówić o programach w języku Lingua, budujemy jego rozszerzenie Lingua-V ("V" od "validating"), a następnie metajęzyk MetaLingua, który służy do mówienia o metaprogramach będących elementami Lingua-V. To dość abstrakcyjna część wykładu, bo mamy w niej doczynienia z aż trzema poziomami językowymi.
2025 04 12 Poprawność programów w Lingua, część 2
W tym wykładzie omawiam podstawowe kategorie warunków, które służą do opisywania własności programów, oraz metawarunków — które opisują relacje pomiędzy warunkami i programami. Z punktu widzenia logiki, w której będziemy dowodzili poprawność (soundness) naszych reguł konstruowania programów, metawarunki są w tej logice tzw. ugruntowanymi formułami (ang. grounded formulas), a więc formułami bez zmiennych.
2025 04 26 Budowanie metaprogramów poprawnych w Lingua-V, część 1
A więc wreszcie dotarliśmy do drugiego sedna naszego projektu (pierwszym było projektowanie języków z semantyką denotacyjną), czyli technik gwarantujących całkowitą poprawność metaprogramów pisanych w języku Lingua-V (V od "Validating"). Ponieważ formalnie tworzenie programów można uznać za dowodzenie twierdzeń w pewnej sformalizowanej teorii — nazwiemy ją D-teorią — (D od "Denotations"), zaczynam wykład od opowiedzenia na czym polegają sformalizowane dowody twierdzeń. A później powoli wchodzimy w techniki budowania programów.
2025 05 10 Budowanie metaprogramów poprawnych w Lingua-V, część 2
W tym wykładzie pokazuję wcześniej nieomawiane reguły budowania programów, a także szczegółowo omawiam dwa przykłady budowania konkretnych programów poprawnych liczących część całkowitą pierwiastka kwadratowego z liczby całkowitej nieujemnej. Jeden z tych programów liczy pierwiastek w czasie liniowym, a drugi w logarytmicznym.
