A JGEX elemi geometriai bizonyításokban segít. Három kínai matematikus, Chou, Gao és Ye fejlesztette ki a 2000-es évek elején a világhírű kínai elemi geometriai iskolai képzésre alapozva és azt tovább támogatva. A JGEX egyrészt egy geometriai rajzolóprogram, amelybe többféle, matematikailag egzakt bizonyítási módszer lett beépítve (így a Wu-módszer, egy, a Gröbner-bázisokon alapuló algebrai technika, továbbá egy adatbázis alapú, valamint az ún. teljes szög módszer). Ez azt jelenti, hogy – hasonlóan a mai mesterséges intelligencián alapuló szakértői rendszerek működéséhez – lényegében bármilyen síkgeometriai input feladatra helyes és pontos bizonyítási outputot kapunk, most már magyar nyelven is. Tanárok számára egy további funkció, hogy kézzel is létrehozhatunk magyarázó prezentációkat iskolai órák, szakkörök illusztrálására.
A honosítás mellett a fő technikai kihívás az Apache Ant-on alapuló build rendszer Gradle-re történő átírása, a táblázatszerűen megadott mintegy 500 kifejezés gettext alapra konvertálása és további 300 frázis felvétele volt. Jelen pillanatban a magyar nyelv a leginkább támogatott (az angol eredetivel egyetemben), mert az új fordítások a párhuzamosan rendelkezésre álló fárszi, kínai, német, olasz, portugál és szerb nyelvekhez még nem készültek el. Az új verzió kiadásához a programot számos helyen kisebb-nagyobb bővítésekkel kellett ellátni, néhány helyen módosítani. A munka eredményeképpen Windows, Mac és Linux rendszereken könnyen indítható telepítők is rendelkezésre állnak. A kb. 100 commitból álló módosítássorozatra 2023 novemberében és decemberében került sor.
A szerzők örömmel várják a visszajelzéseket: a JGEX Google Csoportban nagy érdeklődéssel fogadják a konstruktív és kritikus hozzászólásokat, melyeket igyekeznenk figyelembe venni a program új verzióinak tervezésekor.
A 0.80-ról 0.81-re történő verzióváltás Szilassi Lajos geometria professzor előtt tiszteleg, aki éppen most, 2023. december 10-én tölti be 81. életévét.
További részletek a JGEX programról a honosítást vezető Kovács Zoltán blogjában olvashatók.
- A hozzászóláshoz be kell jelentkezni
- 375 megtekintés
Hozzászólások
Az kemény, hogy kb. 20 éves, de még soha nem hallottam róla. Érdekes cuccnak néz ki. Jó, mondjuk Java, ami nem kedvencem, de gondolom akkoriban a platformfüggetlenséget így tudták megoldani.
“Windows 95/98: 32 bit extension and a graphical shell for a 16 bit patch to an 8 bit operating system originally coded for a 4 bit microprocessor, written by a 2 bit company that can't stand 1 bit of competition.”
- A hozzászóláshoz be kell jelentkezni
Igen, a Java abban az időben nagyon népszerű volt, de abban már az eredeti (GEX nevű) programot írták újra. A doksi szerint "GEX uses Openwin under X-Window which is no longer supported by the Linux distributions after 2000", ezért választották a Javát. Annak idején még az is nagy előrelépés volt, hogy Java appleteket weboldalba lehetett ágyazni. De ez már a múlt.
Célszerű lenne webesíteni a rendszert, ahogy annak idején ezt a GeoGebránál is meg kellett lépni. Ott a GWT volt a mentő technika.
- A hozzászóláshoz be kell jelentkezni