Beskjeder - Side 2
Gjennomgang av NSPK protokollen og ukesoppgaver 12 er n? lagt ut:)
Som vanlig, bare send mail med tilbakemelding eller forslag til oppgaver p? eirikhsa@student.matnat.uio.no
Mandagens forelesning skal i utgangspunktet v?re en bra forelesning, om sikkerhetsprotokoller. Endel p? Ifi bruker zoom til interaktiv forelesning, men selv om det teknisk funker greit, merker de ofte veldig lite interaksjon med studenter, og at forelesningen derfor blir daff (h?rer egentlig noen p??). Jeg holder veldig gjerne "live" zoom-forelesning mandag 30/3 hvis det er ?nske om det. Ellers funker sikkert opptaket fra 2019 bra (om jeg finner det). Gi beskjed: hvis en kritisk masse ?nsker "live" forelesning s? gj?r jeg det, ellers legger jeg ut opptak.
Video for gruppetimen 27.03 er lagt ut her
Videoen inneholder gjennomgang av koden i 2pc.maude og mutex.maude, og at jeg l?ser oppgave 182, 183 og 184.
Vil t?rre ? p?st? at dette er ganske relevant for obligen, spesielt andre halvdel med mutex og oppgave 184. Enjoy:)
Forh?pentligvis noe nytte for noen av dere, og som vanlig, send inn forslag til oppgaver eller temaer jeg skal gj?re!! Send meg en mail
- Eirik
Jeg har lagt p? noen "format" attributter slik at OO termer n? forh?pentligvis er mye mer leselige. Her er min modifiserte full-maude.maude fil for Maude 2.7.1. Bare bruk denne i stedet for den gamle full-maude.maude filen (for eksempel, putt den i omr?det hvor dine maude-programmer holder til). Det som er forandret er at noen format attributter er lagt til modulen CONFIGURATION som begynner p? linje 346 i filen. Hvis du vil ha en annen formattering av OO termer, s? kan du bare modifisere disse format-attributtene.
Vi trenger en gladnyhet i disse corona-tider. Derfor kan jeg glede dere med at Oblig 3 endelig er ute. To klassiske distributerte algoritmer og kan l?ses etter denne ukes (ikke-)forelesning. Frist 17. april.
Basert p? feedback fra noen av dere (tusen takk!) blir det ikke "interaktiv" forelesning 23/3. Ser ikke bort fra at jeg pr?ver det senere. Stay safe og nyt opptaket fra forelesningen (fra 2019) og jobb godt med uke-oppgavene!
Fredag kveld fikk jeg info fra Ifi om hva som forventes:
"Det er en del personvernhensyn hvis det skal gj?res opptak av Zoom-forelesning med studenter. Sammen med mulighet for tekniske utfordringer osv, ville jeg nok i f?rste omgang anbefalt rent asynkront opptak n?r det gjelder forelesninger, og s? synkron Zoom-undervisning n?r det gjelder gruppetimer."
Jeg ser tre alternativer:
A. Jeg spiller inn en forelesning (igjen), og studenter f?lger ikke forelesning (anbefalt over)
B. Liten vit...
Vi skal tydeligvis undervise (online) neste uke. Jeg har etterlyst, men per idag (midnatt onsdag/torsdag) ikke f?tt, retningslinjer for hvordan undervisningen skal foreg?. Vet ikke om det blir "synkron" forelesning hvor vi m?tes (online) i "real time" eller om det blir "asynkront" ved at jeg legger ut ette eller annet ... Stay tuned and stay safe!
Jeg er ikke s? godt inne i dette, men for Piazza (sml og svar, ofte fra meg, om kurset og oppgaver) s? skal man signe opp p? piazza.com/uio.no/spring2020/in2100
S? er selve kurssiden piazza.com/uio.no/spring2020/in2100/home
Fremdeles uklart hvorvidt/hvordan vi skal undervise denne uken. Gitt min mangel til tilgang til scanner, undervisningsrom med opptaksmuligheter, osv., er kanskje det beste alternativet at jeg legger ut screencast fra den tilsvarende forelesning i 2019. Pga noen utenlandske studenter som fulgte forelesning i fjor var slidene p? engelsk, men forelesning ble holdt p? norsk fordi de utenlandske ikke m?tte opp p? denne forelesningen ... Ignorer praktisk informasjon fra forelesningen; det gjelder opplagt for ifjor. Tror universitetet jobber med noen enhetlig opplegg for undervisning, men jeg tror dette er greit nok for ?yeblikket. Jeg f?r som sagt ikke skannet ting, som illustrasjoner/tegninger, etc.
Da er video av "gruppetimen" lastet opp!
Legger ogs? under timeplanen for gruppetimer. Hvis du har sp?rsm?l/forslag, send til eirikhsa@student.matnat.uio.no
Som de fleste sikkert har f?tt med seg, er UiO bom stengt, s? jeg f?r ikke kommet inn p? Ifi eller kontoret mitt f?r p?ske. Jeg lovet opptak av forelesningen neste mandag, men hvis jeg ikke kommer inn p? Ifi er det langt fra sikkert at jeg kan spille inn noe som helst. Kanskje det finnes et opptak fra tilsvarende forelesning ifjor? Kanskje min 2013-laptop klarer ? lage screencast? Beklager at jeg ikke garantere noe opptak. Uansett: les pensum og gj?r oppgavene, s? kjeder dere dere ikke mens dette p?g?r. Og husk ? minimere sosial kontakt og ikke benytte offentlig transport hvis man ikke trenger det. Stay safe!
Basert p? student-feedback har Eirik og jeg besluttet f?lgende "eksperiment" for fredagens gruppe?velse: (i) Gruppetimen utg?r; (ii) Eirik gjennomg?r noen oppgaver fra oppgavesettet og legger ut opptak av sine forklaringer p? kurssidene; (iii) Jeg legger ut l?sningsforslag p? fredag; (iv) Vi oppmuntrer dere til ? jobbe mye med oppgavene og skal pr?ve ? v?re kjappe med ? besvare sp?rsm?l p? Piazza. Ingen vet veldig mye om corona, men tidshorisonten er sannsynligvis rundt et ?r. Man kan ikke suspendere livet i ett ?r, og pensum b?r l?res. Samtidig m? man forhindre en ekstrem topp i smittede, som etter de fleste modeller og observasjoner vokser eksponentielt (R0 > 1; estimert til rundt R0=2-2.5, hvor R0 angir angir nye som blir smittet av en smittet person) hvis ikke drastiske metoder blir gjort. Visstnok er poenget at ved ? bruke drastiske metoder s? f?r man R0 ned til 1 (holde antallet smittede me...
Der kom den (dessverre n?dvendig): /om/hms/koronavirus/aktuelt/tiltak-for-a-forebygge-smitte-ved-uio.html
S?vidt jeg forst?r det er det ingenting i veien for et vanlig undervisningsopplegg for IN2100, med f?rre enn 100 studenter. Imidlertid tror jeg det er greit/n?dvendig ? v?re med p? denne "nasjonale dugnaden". N?r det gjelder forelesninger, er kanskje det beste at jeg ser om det er mulig ? lage screencast med lyd og legge den ut p? vanlig m?te. Helst uten at folk m?ter opp p? opptaket/forelesningen. Dette er selvsagt ikke et fullverdig undervisningstilbud, men slik er det. N?r det gjelder gruppeundervisningen er det mer vrient ? gj?re den elektronisk. Jeg har bedt Ifi-ledelsen om IFI-spesifikke retningslinjer for dette. Vi har vel to valg: (1) vanlig gruppeundervisning, eller (2) dr...
Planen som er satt opp er basert p? forskningsopphold i Nur-Sultan i april og konferanse i USA i mai. Som alle skj?nner ligger det i kortene at disse planene kollapser som b?rsen i disse dager. S? f?lg med p? kursplanen for sannsynlige endringer.
Maude for Windows har ikke v?rt problematisk tidligere, men instruksjoner er fjernet fra Maude's hjemmeside. Siden Maude for Windows fra Univ. Politecnica Valencia beskriver hvordan man kan kj?re Maude 2.7.1 (v?r versjon) p? Windows-maskiner. Merk at vi ikke skal bruke CVC-4 eller noen annen SMT solver i kurset, s? man trenger ikke ? laste opp CVC-4 (eller Yices). Carolyn Talcott skriver at "I believe Windows 10 can run Maude linux binaries. There is some kind of uni...
For ? komme godt i gang, blir det forelesning fredag 17. januar p? det tidspunktet og stedet hvor gruppeundervisingen foreg?r. (10.15-12.00 i Seminarrom C)