Menu główne
Spotkania robocze zespołu projektu Lingua
- Utworzono: sobota, 17 maj 2025 15:13
- Poprawiono: sobota, 19 lipiec 2025 13:19
- Odsłony: 294
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 jak zwykle o godz. 11:00.