-
Utworzono: sobota, 17 maj 2025 15:13
-
Poprawiono: czwartek, 05 czerwiec 2025 12:57
-
Odsłony: 186
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.
Zobacz nagranie video
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.
Zobacz nagranie video
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.
Zobacz nagranie video
Pobierz streszczenie spotkania wykonane przez SI Zoom