Original: http://wyvernlang.github.io Jonathan Aldrich A Wyvern egy új programozási nyelv, amelyet arra terveztek, hogy segítse a fejlesztőket abban, hogy magas szintű biztonságot nyújtó alkalmazások írásakor rendkívül eredményesek legyenek. A Wyvern első nagy újítása a típusspecifikus nyelvek, egy olyan funkció, amely lehetővé teszi a programozók számára, hogy egy adott típusú (pl. SQLQuery típusú) literálokat hozzanak létre az adott típusnak megfelelő nyelven (pl. SQL). Jelenleg a Wyvern objektummodelljén dolgozunk, és azon, hogy az építészek számára több építészeti irányítást biztosítsunk. A Wyvern folyamatban lévő megvalósítása elérhető a GitHubon. Kiáltványt és kapcsolódó beszélgetési diákat is írtunk, amelyek leírják a nyelv kialakításának céljait és alapvető gondolatait. Wyvern kipróbálása Letöltheti a legutóbbi (18. 03. 25.) kiadást, és kicsomagolás után futtassa a bin/wyvern vagy bin/wypy attól függően, hogy az értelmezőt vagy a Wyvern to Python fordítót szeretnéd. Próbálja ki a példákat a példák mappát, vagy kövesse a Wyvern útmutatót. A Wyvern felépítéséhez és a nyelvi eszközök esetleges módosításához kövesse a Wyvern Tool Architecture dokumentumban található utasításokat. A Wyvernhez kapcsolódó publikációk Szintaktikailag korlátozó korlátos polimorfizmus a meghatározható altípusokhoz. Julian Mackay, Alex Potanin, Jonathan Aldrich és Lindsay Groves. APLAS 2020. Elhatározható altípusok elérési útfüggő típusokhoz. Julian Mackay, Alex Potanin, Jonathan Aldrich és Lindsay Groves. Proc. Programozási nyelvek alapelvei (POPL), 2020. január. Képességalapú modulrendszer a hatósági ellenőrzéshez. Darya Melicher, Yangqingwei Shi, Alex Potanin és Jonathan Aldrich. Proc. Európai Konferencia
Uncategorized
Megjegyzések a posztmodern perspektívákról
Original: http://uregina.ca/~gingrich/d2f99.htm Szociológia 250 1999. december 2 Lásd Wallace és Wolf, 401–412. Oldalt az általános, bár nem teljes vita érdekében. A. Bevezetés A posztmodern megközelítés viszonylag friss és új típusú megközelítést jelent a társadalom és a szociológiai elmélet tanulmányozásában. A társadalmi világ tanulmányozásának új perspektívájaként a posztmodern írók ugyanazokkal a kérdésekkel foglalkoznak, mint a korábbi szociológusok, de megpróbálnak új meglátásokat adni. Ezek az új megközelítések részben abból fakadnak, hogy elégedetlenek a korábbi szociológiai elméletekkel, amelyek egyetemesek, de képtelenek megmagyarázni a társadalmi világ minden aspektusát. A posztmodern perspektívák szintén a huszadik század utolsó felében bekövetkezett társadalmi változások eredményeként alakultak ki. Wallace és Wolf (402. o.) Megjegyzik, hogy Észak -Amerikában a szociológia, mint fő tudományág funkcionalizmusként fejlődött ki, és nagyszabású szervezetekkel és társadalmi reformokkal foglalkozott. Az 1960 -as évektől kezdve nyilvánvalóvá vált, hogy a társadalmi változások nem felelnek meg az akkori szociológiai elméleteknek. Ennek eredményeként a szociológia új ötleteket és megközelítéseket kezdett használni és fejleszteni, és az elmúlt harminc évben a szociológia új megközelítéseinek nagy választéka volt. Ezenkívül a szociológia, mint diszciplína nem halmozódik fel a tudás fejlesztésében, mint néhány természettudomány. Ez azt jelentette, hogy a szociológia nyitottabb az alternatív perspektívákra. A strukturális megközelítések hajlamosak azzal érvelni, hogy az embereket racionális lényeknek
Videofestés tér-idő változó stílusparaméterekkel
Original: http://web.engr.oregonstate.edu/~zhange/multistyle_painting.html Mizuki Kagaya, William Brendel, Qingqing Deng, Todd Kesterson, Sinisa Todorovic, Patrick Neill, és Eugene Zhang IEEE tranzakciók a vizualizációról és a számítógépes grafikáról, köt. 17. (1), 2011, oldalakat 74–87. Papír (PDF, 3.38Mb). Videó (MOV, 197Mb). Ez az anyag a Nemzeti Tudományos Alapítvány támogatásával támogatott munkán alapul CCF-0546881. Az ebben az anyagban megfogalmazott vélemények, megállapítások, következtetések vagy ajánlások a szerző (k) véleménye, megállapításai, ajánlásai és ajánlásai nem feltétlenül tükrözik a Nemzeti Tudományos Alapítvány (NSF) véleményét. Absztrakt A művészek a stilizálás különböző eszközeivel szabályozzák a jelenet különböző tárgyainak összpontosítását. Ez lehetővé teszi számukra az ábrázolást komplex jelentést és bizonyos művészi hatásokat ér el. A videók festői renderelésével kapcsolatos korábbi munkák többsége azonban csak egyetlen festési stílus, rögzített globális paraméterekkel, függetlenül a képek tárgyaitól és elrendezésétől. Ez gyakran nem megfelelő művészi irányításhoz vezet. Ezenkívül feltételezzük, hogy az ecsetvonás orientációja mindenhol folyamatos irányú mezőt követ. Ebben a cikkben egy olyan videofestési rendszert javasolunk, amely figyelembe veszi a képeken vagy a videóban található objektumok térbeli támogatását, és ezeket az információkat felhasználva meghatározza a stílusparamétereket és a körvonal irányát a festői megjelenítéshez. Mivel az objektumok különböző képhelyeket foglalnak el, és viszonylag zökkenőmentesen mozognak egyik képkockáról a másikra, az objektum alapú festői megjelenítési megközelítésünket a térben és időben
A való világban semmi sem egyszerű
Original: http://www.dam.brown.edu/people/mumford/blog/2020/Simple.html David Mumford 2020. július 8 A matematikusoknak és a politikusoknak egy közös vonásuk van: mindketten a való világ túl egyszerűsítésével gyarapodnak. Ha van egy dolog, amire a főiskolai oktatásnak minden hallgatót meg kell tanítania, az az, hogy minden kérdésnek két oldala van, a világ nem egyszerű, a jó és a rossz nem redukálható annak ellenőrzésére, hogy ki visel fehér sapkát, ki fekete . A matematikai modellek néhány hatás elkülönítésén, a nagyon összetett valós helyzet néhány aspektusán és ezen egyszerűsítés modellezésén alapulnak. A politikai retorika nagyjából ugyanaz. Szomorú, hogy nemcsak a bal- és jobboldali aktivisták egyszerűsítik túlságosan a társadalmunk előtt álló kihívásokat, hanem az elitegyetemek radikális hallgatóit a részleges belátás annyira elragadja, hogy szem elől tévesztik a nyitott társadalom eszméit. Ebben a rövid bejegyzésben két nehéz feladatot szeretnék átgondolni, amelyek gyakran túlságosan leegyszerűsödnek: a rabszolgaság az emberi jogokkal szemben és az eugenika, amelyek megvitatása a legerősebb érzelmeket váltja ki. Összefüggésben vannak, mivel mindkettőt támogatta a rasszizmus, igazolva egy másik faj rabszolgaságát, és a kevert vérű embereket egyaránt egyenértékűnek tekintve. I Mivel mindkét téma gyökere valóban régi, érdemes az ókori görögökkel kezdeni, különösen Athénnal a Kr. E. 5. század minden dicsőségében. 1. pont: a Wikipedia szerint a város legszegényebb polgárainak
A robot által megfogott paraméteres héjak deformálható modellezése
Original: http://robotics.cs.iastate.edu/ResearchDeformableModeling.shtml Robotikai Laboratórium Számítástudományi Tanszék | Iowa Állami Egyetem A deformálódó tárgyak mindennapjainkban mindenütt jelen vannak. A manipulálás képessége a robot intelligenciájának és ügyességének fontos mércéje. Ez a készség elvárja, hogy ne csak hatást gyakoroljon az orvosi robotikára, hanem megnyitja az ajtót az otthoni robotok fejlesztése előtt is. A robotok megragadásáról és ügyes manipulációjáról szóló gazdag irodalom ellenére a deformálható tárgyak megragadása továbbra is fejletlen kutatási terület. Ez részben annak köszönhető, hogy nincs geometriai keret az ilyen típusú megfogások jellemzésére, részben pedig maga a megfogási folyamat modellezésének magas számítási költsége. Erre a nagyrészt feltáratlan területre lépve vizsgálatot végeztünk a megfogott tárgyak deformációjának modellezésével kapcsolatban. Különösen a vékony héjak deformációinak kiszámítására összpontosítottunk alkalmazott terhelések mellett. A héj két szorosan egymás melletti és ívelt felület közé zárt test. A héjak klasszikus elmélete feltételez egy paraméterezést a héj középső felületén a főgörbület mentén. Az ilyen paraméterezés, bár mindig lokálisan létezik, sok felületre nem ismert, és ennek levezetése nagyon nehéz, ha nem is lehetetlen. Kiterjesztettük mind a lineáris, mind a nemlineáris héjelméletet, hogy leírjuk az extenzív, nyíró és hajlító törzseket a geometriai invariánsok, ideértve a fő görbületeket és vektorokat, valamint a kapcsolódó irány- és kovariáns származékokat. Tudomásunk szerint ez a vékony héj törzsek első,
Felkonvertálás
Original: http://xfront.com/upconversion/ Roger L. Costello Az egyes adatok felépítésének szabályai gyakran a következők: valaki fejében, valamilyen könyvben dokumentálva, vagy eljárási törvénykönyvben temették el. Ha nincs hozzáférése a személyhez, a könyvhöz vagy a forráskódhoz, akkor nehéz lehet értelmezni az adatokat, és téves értelmezésnek van kitéve. Az átalakítás arról szól, hogy a struktúra explicit legyen ott, ahol korábban implicit volt. Vegyünk egy egyszerű példát a matematikából: a + b * c Ha matematikai könyvekben keresgél, megtalálja ezt a szabályt: Végezze el a szorzást az összeadás előtt. A fenti egyenletben ez a szabály implicit. Ha nincs hozzáférése matematikai könyvekhez (és ezt a szabályt elfelejtette a matematikaórákból), akkor helytelenül dolgozhatja fel az egyenletet. A szabály egyértelművé tehető néhány strukturáló szimbólum, nevezetesen zárójel hozzáadásával: a + (b * c) Ami korábban implicit volt, azt most egyértelművé tették, vagyis az egyenletet átalakították. Az XML világban jelölést adunk hozzá, hogy az adatok szerkezete egyértelművé váljon. Vegye figyelembe ezeket az adatokat: Origin of Wealth, Eric D. Beinhocker, 2006, 1-57851-777-X, Harvard Business School Press. Az adatok felépítésében rengeteg implicit szabály van: az első vessző előtti karakterek a könyv címét jelentik, az első vessző és a második vessző közötti karakterek a könyv szerzőjét képviselik, a második és a harmadik vessző közötti karakter
Az Idő Nyíl elmagyarázta
Original: http://www.ronaldkoster.net/arrow_of_time.html – Miért fut mindig előre az idő? Időutazás lehetséges? Ronald Koster, 1.0 verzió, 2001-01-12 Kulcsszavak: idő nyíl, idő, időutazás, entrópia, a termodinamika második törvénye Összegzés Az univerzumban az idő mindig előre halad, soha nem hátra. Ezt hívják „Az idő nyilának”. A termodinamika második törvénye az Idő Nyílának és a valószínűség törvényeinek eredménye. Ezt a következőképpen lehet levezetni (matematikai jelöléssel): (“Ok-okozati viszony” VAGY “Szerénység elve”) ⇒ “Az időben visszafelé haladni nem lehet” ⇒ “Az idő a világegyetemben soha nem figyelhető meg úgy, hogy visszafelé fut” = A (A ÉS “Amit soha nem lehet megfigyelni, az nem létezik” ⇒ “Az idő az univerzumban soha nem tud visszafelé futni” ⇔ “Az idő az univerzumban mindig előre fut” = B (B ÉS “A valószínűség törvényei”) ⇒ “A világegyetem entrópiája idővel növekszik” Az idő mindig az egész Univerzumban fut előre Univerzumunkban megfigyelhetjük, hogy az idő mindig előre fut. Einstein relativitáselmélete óta tudjuk, hogy az univerzumban nem létezik abszolút idő. Az idő az univerzumban különböző sebességgel, lassabban halad masszív tárgyak közelében és különböző sebességgel olyan keretekben, amelyek egymáshoz képest nagy sebességgel rendelkeznek. De tudjuk, hogy az idő mindenhol előre halad. Valószínűleg a termodinamika második törvényén keresztül tudjuk ezt ellenőrizni a legjobban: Egy rendszer entrópiája idővel növekszik. Valójában ez a termodinamika
TANULÁSI ANYAGOK AZ ANTROPOLÓGIÁRÓL
Original: https://anthkb.sitehost.iu.edu Ken Barger Antropológiai emeritus professzor Indiana Egyetem Indianapolis [email protected] TANULÁSI ANYAGOK AZ ANTROPOLÓGIÁRÓL Üdvözöljük! Az alábbiakban bemutatom az alábbi tananyagok fókuszának kontextusát, és szeretnék megosztani néhány hátteremet. Délen nevelkedtem, ahol a szabadságról és a demokráciáról tanítottak, és arról, hogy Isten szeretet. Beléptem a hadseregbe, és öt év aktív szolgálatot teljesítettem. Vietnámba küldtek, hogy harcoljak az amerikai útért, és megállapítottam, hogy minden, amit tettem, minden értékkel szembemegy, amellyel felneveltek. Egy nap rájöttem, hogy az „ellenség”, amelyet megpróbáltunk megölni (és aki megpróbált megölni minket) nagy része sokkal inkább érdekelt abban, hogy megvédje szülőföldjét velünk szemben, amerikaiakkal, akik betörtünk a hazájukba, mint a politikai ideológiában… arra a következtetésre jutott, hogy a háború téves volt (bár nekem még mindig részt kellett vennem benne – életem legrosszabb időszakában). Ez a tapasztalat nagy hatással volt az életemre, és kritikus gondolkodóvá tett engem… megkérdőjelezni, különböző magyarázatokat feltárni és magam is megtudni, ahelyett, hogy egyszerűen elfogadnám, amit mondtak nekem. Vietnam után otthagytam a hadsereget és visszamentem az iskolába, és csatlakoztam a vietnami veteránokhoz a háború ellen. A háborúban szerzett tapasztalataim alapján új életszemlélettel láttam először az intézményesített rasszizmust, amellyel felneveltek. Amikor a templomban, ahol jártam, a vének nem voltak hajlandók engedni az afroamerikaiaknak istentiszteletre, annyira megdöbbentem,
Egyszerű, váltakozó, tranzit labirintusok
Original: http://www.math.stonybrook.edu/~tony/mazes/satmaze.html Labirintusokon keresztül a matematikáig A legismertebb ilyen útvesztő a krétai labirintus. Rajzolható játékként. Itt van egy másik példa. Ez az útvesztő több középkori héber kéziratban jelenik meg. Bár ez az útvesztő felszínesen hasonlít a krétai útvesztőhöz, egy szoros összehasonlítás azt mutatja, hogy egészen mások. A Jericho labirintusnak 7 szintje van, míg a krétai labirintusnak 8 szintje van, és a szintek elérésének sorrendje labirintusonként eltér. Mindkét labirintusban az út közvetlenül a 3. szintre megy (a külsőt 0-nak számítva), de a krétai labirintusban ezután a duplájára duplázik a 2. és az 1. szintre, míg a jerikói labirintusban a 4. és az 5. szinten halad tovább, mielőtt visszatérne a 2. és 1. A teljes szinten szekvenciák vannak Cretan 032147658 Jericho 03452167. Azokat a tulajdonságokat, amelyekkel e két útvesztő osztozik, és amelyek egy egyszerű matematikai leírással rendelkező útvesztők osztályának meghatározására szolgálnak, összefoglalhatjuk úgy, hogy egyszerű, váltakozó útvesztőknek (s.a.t. útvesztőknek) nevezzük őket. TRANZIT labirintusok, mert az út kétirányú elágazás nélkül fut az útvesztő külsejétől a középpontig. Például ezek a labirintusok nem átmenő útvesztők: az egyikben az út ugyanazon az oldalon jön ki, ahová belépett; a másikban pedig vannak olyan pontok, ahol a labirintus futójának választania kell, hogy melyik utat választja. ALTERNATÍV, mert a labirintus
Merülés a Rarotongán
Original: http://www.ck/diving.htm MIT LÁT hat? Nos, a víz alatt nem látják őket túl gyakran, de a kecses púpos bálna a rarotongai vizeket választja, hogy borjújával nyugodjon meg, amikor visszavándorol a hidegebb déli vizekre. Sokkal több van azonban. Több mint 70 faj színes korallok, muréna, zátonyi cápák, oroszlánhalak, teknősök, maori horzsák, szellőrózsa halak, pillangós halak, angyalhalak, sas sugarak, leveles halak, trombita halak és még sok más! A Rarotongát körülvevő vizek egész évben kényelmes hőmérsékletet kínálnak, 23° C és 29° C (73° F és 84° F) között, az évszakától függően. A láthatóság szinte mindig nagyszerű, gyakran 20 méterrel felfelé. A képzett búvárok számára a kiképzés és a tapasztalat minden szintjén megfelelő helyszínek állnak rendelkezésre, a korallkertektől kezdve a leszállásokig, valamint a roncsbúvárkodásig a barlangokig. A szigeten minden minősített merülés hajóalapú merülés, mivel a környező zátony korlátozza a parti merülést a sekély lagúnába. A sziget minden oldalán merülési helyek állnak rendelkezésre, a hajók a zátonyon át a négy helyszín egyikén lépnek ki, lehetővé téve a rövid hajóutakat. A búvárkodás nagy részét hajókkal indítják, amelyek a sziget északi részén lévő fő járatokon keresztül indulnak. Ezek a fő kikötő, Avatiu és a kisebb Avarua kikötő. A sziget déli részén található merülési helyeket a Rutaki-folyosóról egy