Λογική υπολογισμού
Η λογική των τύπων απομονώνεται σε ενότητες TypeScript, ώστε οι ίδιοι μαθηματικοί υπολογισμοί να μπορούν να τροφοδοτούν πολλαπλές διεπαφές και να ελέγχονται ανεξάρτητα από τη διάταξη της σελίδας.
Πώς λειτουργούμε
Κάθε αριθμός είναι επαληθευμένος.
Επικυρώνουμε κάθε τύπο με πηγές αξιολογημένες από ομότιμους, διασταυρώνουμε τα αποτελέσματα με υλοποιήσεις αναφοράς και τεκμηριώνουμε τα μαθηματικά ώστε να μπορείτε να τα επαληθεύσετε μόνοι σας.
Τελευταία ενημέρωση: Μάρτιος 2026
Στρογγυλοποίηση
Τα αποτελέσματα στρογγυλοποιούνται για λόγους αναγνωσιμότητας, αλλά ο υπολογιστής διατηρεί την ακρίβεια κατά τους εσωτερικούς υπολογισμούς όπου αυτό επηρεάζει ουσιαστικά τα σύνολα.
Παραδοχές
Κάθε αριθμομηχανή περιλαμβάνει μια ενότητα παραδοχών που εξηγεί τι μοντελοποιεί και τι όχι το εργαλείο.
Απόρρητο
Η έκδοση κυκλοφορίας υπολογίζει τα αποτελέσματα τοπικά στο πρόγραμμα περιήγησης. Εάν μελλοντικές λειτουργίες εισάγουν αποθηκευμένα σενάρια ή συμβάντα αναλυτικών στοιχείων, αυτές οι αλλαγές θα τεκμηριώνονται στη σελίδα.
01
Επαλήθευση πηγών
Τύποι μόνο από έγκυρες πηγές
Κάθε τύπος ιχνηλατείται στην πηγή του — ακαδημαϊκές εργασίες, κυβερνητικές δημοσιεύσεις ή αναγνωρισμένα βιομηχανικά πρότυπα. Χωρίς δευτερεύουσες πηγές ή εικασίες.
✓ Ακαδημαϊκές εργασίες — δημοσιεύσεις αξιολογημένες από ομότιμους για τύπους υγείας, επιστήμης και μηχανικής.
✓ Κυβερνητικά πρότυπα — φορολογικοί πίνακες IRS, ταξινομήσεις ΔΜΣ του WHO και πρότυπα μετρήσεων NIST.
✓ Βιομηχανικές αναφορές — CFA Institute για χρηματοοικονομικά, ACSM για φυσιολογία της άσκησης.
02
Διασταυρωμένη επικύρωση
Κάθε αποτέλεσμα επαληθεύεται με γνωστές απαντήσεις
Κάθε αριθμομηχανή ελέγχεται με σύνολα δεδομένων αναφοράς, γνωστά παραδείγματα και τουλάχιστον μία ανεξάρτητη υλοποίηση. Οι οριακές περιπτώσεις ελέγχονται ρητά.
✓ Σύνολα δεδομένων αναφοράς — δοκιμασμένα με παραδείγματα εγχειριδίων με ακριβή αναμενόμενα αποτελέσματα.
✓ Ανεξάρτητη επαλήθευση — τα αποτελέσματα συγκρίνονται με Wolfram Alpha, Excel ή εξειδικευμένα εργαλεία.
✓ Έλεγχος οριακών περιπτώσεων — τιμές ορίων, μηδενικά και ακραίες είσοδοι αντιμετωπίζονται ομαλά.
03
Διαφάνεια
Εμφάνιση των μαθηματικών, αναφορά της πηγής
Κάθε σελίδα αριθμομηχανής εμφανίζει τον τύπο, εξηγεί τις μεταβλητές και συνδέει με το υλικό πηγής. Παραδοχές όπως οι κανόνες στρογγυλοποίησης αναφέρονται ρητά.
✓ Εμφάνιση τύπου — ο πλήρης τύπος εμφανίζεται με ορισμούς μεταβλητών και μονάδες.
✓ Αναφορές πηγών — απευθείας σύνδεσμοι προς το υλικό πηγής για κάθε τύπο.
✓ Δηλωμένες παραδοχές — κανόνες στρογγυλοποίησης και απλοποιήσεις τεκμηριωμένες σε απλή γλώσσα.
04
Συνεχής συντήρηση
Οι τύποι δεν λήγουν, το πλαίσιο όμως αλλάζει
Οι φορολογικοί συντελεστές αλλάζουν. Οι οδηγίες ενημερώνονται. Πραγματοποιούμε αυτοματοποιημένους ελέγχους και ενημερώνουμε τους υπολογιστές όταν αλλάζουν τα υποκείμενα δεδομένα. Κάθε υπολογιστής δείχνει πότε επαληθεύτηκε τελευταία φορά.
✓ Αυτοματοποιημένη παλινδρόμηση — σουίτες δοκιμών επαληθεύουν ότι κάθε υπολογιστής εξακολουθεί να παράγει σωστά αποτελέσματα.
✓ Παρακολούθηση εκδόσεων — κάθε υπολογιστής εμφανίζει την έκδοση του τύπου του και την ημερομηνία τελευταίας επαλήθευσης.
✓ Παρακολούθηση ενημερώσεων — το υλικό πηγής παρακολουθείται για αλλαγές και ενημερώνεται προληπτικά.
Λυμένο παράδειγμα
Πώς επαληθεύουμε έναν τύπο
Υπολογιστής Ανατοκισμού
✓
Τύπος πηγής A = P(1 + r/n)^(nt) — από το CFA Institute, Quantitative Methods.
✓
Δοκιμή αναφοράς P=$10.000, r=7,5%, n=12, t=10 → Αναμενόμενο: $20.966,83. Το αποτέλεσμά μας: $20.966,83 — συμφωνεί σε 2 δεκαδικά ψηφία.
✓
Διασταύρωση Επαληθεύτηκε με Wolfram Alpha, Excel FVSCHEDULE και υλοποίηση αναφοράς Python. Όλα τα αποτελέσματα ταυτίζονται.
✓
Οριακές περιπτώσεις Δοκιμάστηκε: r=0% επιστρέφει το κεφάλαιο, t=0 επιστρέφει το κεφάλαιο, n=1/4/12/365 όλα σωστά, διατήρηση ακρίβειας για t=100 έτη.
Συντακτική διαδικασία
Πώς κάθε αριθμομηχανή μετατρέπεται από ιδέα σε δημοσιευμένο εργαλείο
Εντοπισμός του τύπου σε μια έγκυρη προέλευση
Κάθε τύπος προέρχεται από εργασίες με αξιολόγηση από ομοτίμους, κυβερνητικές δημοσιεύσεις ή αναγνωρισμένα πρότυπα του κλάδου. Οι δευτερεύουσες περιλήψεις δεν γίνονται δεκτές ως πρωτογενείς πηγές.
Κωδικοποίηση της λογικής σε μια απομονωμένη ενότητα
Η λογική υπολογισμού είναι γραμμένη σε μια αυτόνομη ενότητα TypeScript, ξεχωριστά από το UI και το περιεχόμενο, ώστε να μπορεί να ελεγχθεί και να επανεξεταστεί ανεξάρτητα.
Έλεγχος έναντι δεδομένων αναφοράς και ανεξάρτητων εργαλείων
Κάθε αριθμομηχανή ελέγχεται με βάση λυμένα παραδείγματα εγχειριδίων, σύνολα δεδομένων αναφοράς και τουλάχιστον μία ανεξάρτητη υλοποίηση, όπως το Wolfram Alpha ή το Excel.
Καταγραφή μεθοδολογίας, παραδοχών και πηγών
Ο τύπος, οι ορισμοί των μεταβλητών, η συμπεριφορά στρογγυλοποίησης, οι παραδοχές, τα λυμένα παραδείγματα και οι παραπομπές σε πηγές τεκμηριώνονται στη σελίδα της αριθμομηχανής.
Αυτοματοποιημένη παλινδρόμηση και παρακολούθηση πηγών
Αυτοματοποιημένες σειρές δοκιμών επαληθεύουν την ορθότητα σε κάθε έκδοση. Όταν αλλάζουν τα υποκείμενα δεδομένα, όπως οι ενημερώσεις φορολογικών συντελεστών, οι επηρεαζόμενες αριθμομηχανές ενημερώνονται και επαληθεύονται εκ νέου.
Ερωτήσεις για τη μεθοδολογία μας;
Αν βρείτε σφάλμα, διαφωνείτε με μια πηγή ή θέλετε να προτείνετε καλύτερο τύπο — θέλουμε να σας ακούσουμε.
Αναφορά προβλήματος ή πρόταση βελτίωσης