Rozwój Oprogramowania i Wyzwania z Tym Związane
- Szczegóły
Praca zajmuje obecnie 222 strony A4. Przede mną uporządkowanie jej treści. Marzyłem o tej chwili od 27 lat. Nie czuję jednak żadnej eksplozji radości.
Postępy w Pracy nad Funkcją
Kluczowych postępów ciąg dalszy. Jeszcze w poprzednim miesiącu fragment ten był zapisany w 3 alternatywnych wersjach, będących wynikiem wielu miesięcy pracy. Żadna nie była najlepsza we wszystkich kryteriach. Postępy w pracy nad dowodem są dobre, lepsze i szybsze niż w poprzednich latach. Zbieram owoce wielu wcześniej prowadzonych analiz.
Udało się także znaleźć sposób na zagregowanie dowodu twierdzenia FiCondP, które wymagały połączenia w jednym rozumowaniu. Muszę przyznać, że całe wyprowadzenie wyszło lepiej niż się spodziewałem.
Ostatnim elementem dowodu jest zwieńczenie wywodu, gdzie N określa rozmiar permutacji. To działało, ale nie było zbyt eleganckie. Stanowi to znaczące uproszczenie.
Powyższe modyfikacje są już zapisane formalnie na czysto. Myślę że bez nieudanej próby zastosowania nowego, skrytykowanego na wstępie podejścia, nie byłoby powyższych postępów.
Przeczytaj także: Sterowniki i usterki ASUS K52J
Problemy Techniczne i Osobiste
Ze spraw przyziemnych, w ostatnim czasie musiałem 3 razy odwiedzić mechanika. Po jeździe testowej próbuję wysiąść z auta. Bez rezultatu. Klamka wewnętrzna drzwi przestała działać. Z mocowania i drzwi nie da się otworzyć. Mały drobiazg, duży problem.
Samochodzie (Honda Civic na LPG z roku 2004) oraz wymiana górnego mocowania (łożyska) prawego przedniego amortyzatora, które ostatnio zaczęło mocno stukać. Prawy amortyzator jest w złym stanie i w każdej chwili może się skończyć / wylać.
Nie wiem, czy walka z tymi usterkami ma pozytywny, czy negatywny wpływ na moją pracę nad funkcją. Z drugiej stymuluje (szczególnie proces diagnozowania usterek) i dostarcza odskoczni, lub związanych z rozwiązywaniem problemów technicznych.
Na domiar złego moja psychika bardzo źle znosi wszelkiego typu awarie, nadmiernie się nimi przejmuję. Tak, to jest blog naukowy, nie samochodowy, to trudniej mi pracować nad funkcją.
Najchętniej zrzuciłbym je w przepaść, aby tylko nie musieć o nim myśleć. Kupić coś innego, ale to też wiąże się z jakąś stratą finansową. Kupić je wbrew sobie, wbrew intuicji, gdyż tak podpowiadała logika, rachunek ekonomiczny.
Przeczytaj także: Zastosowanie wężyków do filtra osmozy
Ostatnio mnie całkiem dobił, gdyż kompletnie zdechł. Przestał odpalać. Kręci, ale nie odpala. Przyczyną okazał się... Niewidocznym miejscu pod tunelem środkowym. Niestety, nie wiedziałem o jego istnieniu. Elektryk musiał rozkręcić całe wnętrze i dopiero śledząc przebieg poszczególnych kabli doszedł do tego przełącznika i kosztowało mnie, razem z lawetą, 1500 zł.
Z najpilniejszych napraw auto potrzebuje jeszcze około 3500 zł inwestycji. Najpilniejsza jest potrzeba zakupu nowych opon, gdyż stare (wymieniane pół roku temu) się pokrzywiły. Jeżdżę na otrzymanych gratis od wulkanizatora zimówkach z roku... Na lokalnej drodze, którą dobrze znam.
Refleksje nad Procesem Twórczym
Czasami może ona płynąć z zaskakujących źródeł. Pojawiać się nieplanowana, czymś innym, aby pozwolić mózgowi nieco się zresetować, podważyć wcześniej obrane schematy.
Tego typu proces poszukiwań przebiega w sposób niekontrolowany i ewolucyjny, mimo że cały czas posługujemy się logiką i matematyką, które ewolucyjnie rozwijają badaną koncepcję.
Podejmowanie takiej decyzji to jednak za każdym razem też forma sztuki, opisie i udowodnieniu własności. Elementy sztuki również są obecne.
Przeczytaj także: Odwrócona osmoza: Twój przewodnik
Normalni ludzie w wakacje (a przynajmniej w jakąś ich część) odpoczywają, czego mi niestety nie udało się zrealizować. Z jednej strony niedobrze, z drugiej nie do końca dobrze, bo możliwe, że przez to mniej efektywnie pracuję.
Finansowanie Projektu
Zrzutka na finansowanie projektu aktywna jest od 5 lat (od 2019) roku. Będę bardzo wdzięczny za każdą wpłatę. W ostatnim czasie miałem bardzo dużo stresu związanego z prozą życia.
Nieudanej promocji udało mi się zebrać na naprawę auta zawrotne 282 zł. Zrzutka jest aktywna, a jego celem jest odzyskanie zdrowia i powrót do normalnego życia.
Przykłady i Twierdzenia
Permutu to gra planszowa wywodząca się z funkcji VMPC, natomiast M jest funkcją liniową rozmiaru permutacji N. Ostateczna postać, do jakiej proces ten prowadził, okazywała się zwykle bardzo prosta. Liczba ta jest niezależna od rozmiaru permutacji N i jest niezależna od N, bez konieczności wskazywania konkretnej wartości.
Obliczanie wartości funkcji hashującej (tzw. funkcji skrótu, jak np. Funkcji VMPC, zajęło mi 3 tygodnie intensywnej pracy. Generuje ona 280-bitowe hashe plików (70 znaków w zapisie heksadecymalnym), np.
Wzór ten miałem w głowie już w 2017 roku. Jedyne komentarze słowne to sformułowania postaci "zgodnie z definicją / twierdzeniem ... twierdzeń narzędziowych.
- Twierdzenie o równoważności rozkładów generycznych i syntetycznych.
- Twierdzenie o nowości x.
- Analiza interakcji między zdarzeniami.
- Twierdzenie o równowadze.
- Twierdzenie o funkcji malejącej.
- Model prawdopodobieństwa warunkowego.
Udało mi się zapisać formalnie trzy rozumowania. Jedno z tych rozumowań ma charakter uzupełniający, nie jest niezbędne (kod wew.
Tu pozwoliłem sobie na "odczytanie", jak ma być. Dawno udowodnionych twierdzeń, ale dotychczas nigdzie niezastosowanych (część 3, str. Bloga i zostawiam sobie wskazówki, o czym w danym momencie piszę). Aż do teraz. Kiedyś opisałem je, gdyż uzupełniały opis funkcji, ale nie były nigdzie wykorzystane w dowodzie.
Uproszczenia i Modyfikacje
W tej sytuacji decyzja mogła być tylko jedna - powrót do starej koncepcji. Nie ma jednak tego złego, co by na dobre nie wyszło. Koncepcja z sierpnia okazuje się też mieć jeszcze jedną przewagę. Ów fakt "świeżości v" przestał być potrzebny.
W szerszym kontekście można powiedzieć, że jest to zwieńczenie modyfikacji, jaka nastąpiła na początku 2024 roku, z rozkładów syntetycznych na generyczne. Przede mną już tylko zapisanie powyższych ustaleń w pracy i nie przewiduję komplikacji podczas ich zapisywania.
Na czym polega to uproszczenie? Były interpretowane tak samo. Po podjęciu tej decyzji wszystko popłynęło wartkim strumieniem. Na razie wszystko układa się bardzo dobrze, nawet lepiej niż myślałem, m.in.
Polegało na odpowiednim zmodyfikowaniu i uporządkowaniu już istniejącej. Przy zastosowaniu starego i nowego podejścia wyprowadzony jest w ten sam sposób.
Premiera Aplikacji i Ergonomia
Premiera aplikacji już wkrótce. Premiera nastąpi po merytorycznym ukończeniu dowodu.
Została także, na wielu poziomach, ergonomia działania funkcji wyszukiwania dokumentów i folderów w szyfrowanej książce. M.in. Dokumentów globalnie w książce, gdy jesteśmy w jakimś podfolderze, przenosi automatycznie do folderu głównego.
Kod Choinki w C++
Wszędzie w necie można znaleźć pomoc ale ilość wybrana przez użytkownika to ilość warstw choinki a nie ilość znaków z których ma się drzewko rysować.
Jeśli choinka ma być wyśrodkowana, to i tak musisz znać ilość warstw, więc po prostu ją oblicz. Albo "na pałę" w pętli, albo przez wzór na sumę ciągu arytmetycznego.
tags: #odwrocona #choinka #program #cpp
