# Ερευνητικά σημειώματα

Canonical HTML: https://aogavrilov.com/el/research-notes/

Document language: el

ΑΠΑΝΤΗΣΕΙΣ ΕΝΤΟΣ ΤΩΝ ΟΡΙΩΝ ΤΗΣ ΤΕΚΜΗΡΙΩΣΗΣ

Εστιασμένες απαντήσεις για αναζητήσεις που εκκινούν από το πρόβλημα. Κάθε σημείωμα διακρίνει την πρακτική διαδικασία, την επί του παρόντος διαθέσιμη τεκμηρίωση και τους ισχυρισμούς που δεν θεμελιώνει η παρατιθέμενη εργασία.

Εστιασμένη απάντηση

## Διάχυση με μάσκα στον χώρο κωδίκων έναντι του χώρου διακριτικών: πώς συγκρίνονται

Ένα συνεπές σε όλα τα στάδια πρωτόκολλο σύγκρισης γλωσσικών μοντέλων διάχυσης με μάσκα στον χώρο κωδίκων και στον χώρο διακριτικών, όταν ο διακριτός κωδικοποιητής–αποκωδικοποιητής είναι απωλεστικός.

Πώς πρέπει να συγκρίνεται η γλωσσική μοντελοποίηση διάχυσης με μάσκα στον χώρο κωδίκων με την αντίστοιχη μοντελοποίηση στον χώρο διακριτικών;

Εστιασμένη απάντηση

## Εντοπισμένη τροποποίηση κώδικα με παραγωγικά μοντέλα

Πώς αποτρέπεται η περιττή επανεγγραφή ολόκληρης της συνάρτησης, διατηρώντας παράλληλα αρκετή ελευθερία ώστε ένα παραγωγικό μοντέλο να επιφέρει τη ζητούμενη αλλαγή στον κώδικα.

Πώς μπορεί ένα παραγωγικό μοντέλο να τροποποιεί κώδικα χωρίς να επανεγγράφει ολόκληρη τη συνάρτηση;

Εστιασμένη απάντηση

## Παραγωγή κώδικα υπό περιορισμούς για τη μηχανική λογισμικού

Μια πρακτική διάκριση μεταξύ γραμματικών περιορισμών, περιορισμών τύπων, ορίων διατήρησης και ελέγχων αποδοχής σε επίπεδο συμπεριφοράς για παραγόμενο κώδικα.

Τι εγγυάται η περιορισμένη παραγωγή κώδικα σε μια ροή εργασίας μηχανικής λογισμικού;

Εστιασμένη απάντηση

## Αναδόμηση υποβοηθούμενη από ΤΝ: μέθοδοι και τεκμήρια

Πώς να αξιολογούνται οι πρόσφατες μέθοδοι αναδόμησης με υποστήριξη ΤΝ, χωρίς να συγχέεται μια εύλογη παραγόμενη διόρθωση με την επαληθευμένη διατήρηση της συμπεριφοράς.

Ποιες μέθοδοι και ποια τεκμήρια έχουν σημασία για την υποβοηθούμενη από ΤΝ αναδόμηση με διατήρηση της συμπεριφοράς;

Εστιασμένη απάντηση

## Η προβλέψιμη παραγωγή κώδικα απαιτεί σύμβαση διατήρησης

Γιατί η ντετερμινιστική δειγματοληψία δεν αρκεί και πώς οι παρατηρήσιμες προστατευόμενες ιδιότητες και οι έλεγχοι αποδοχής καθιστούν τη συμπεριφορά παραγωγής κώδικα ελέγξιμη μέσω δοκιμών.

Τι καθιστά την παραγωγή κώδικα προβλέψιμη και όχι απλώς ελέγξιμη;

## Τι είναι αυτές οι σημειώσεις

Αποτελούν διατηρούμενες οδούς πρόσβασης στις δύο δημοσιευμένες μελέτες και στις συναφείς μεθόδους τους, όχι νέα πειράματα, ισχυρισμούς προϊόντος ή υποκατάστατα των επίσημων εργασιών. Οι αριθμητικές διατυπώσεις παραμένουν συνδεδεμένες με το ακριβές πειραματικό πλαίσιο και τους περιορισμούς που παρουσιάζονται σε κάθε σελίδα.