{"id":2649,"date":"2008-05-22T17:24:19","date_gmt":"2008-05-22T15:24:19","guid":{"rendered":"http:\/\/blog.isnochys.de\/?p=2649"},"modified":"2008-05-22T17:24:19","modified_gmt":"2008-05-22T15:24:19","slug":"typkorrektheit-reverse-engineering-systemidentifikation","status":"publish","type":"post","link":"https:\/\/blog.isnochys.de\/?p=2649","title":{"rendered":"Typkorrektheit – Reverse Engineering & Systemidentifikation"},"content":{"rendered":"

Gerade haben der Moskaukonsultant<\/a> und ich unsere letzte Lernstunde vor der morgigen Evolutinary Computing \/Linux Klausur abgeschlossen.
\nIm Anschlu\u00c3\u0178 daran gabs eine Aufgabe zur Typenkorrektheit.<\/p>\n

\nZeigen Sie, dass der Term<\/p>\n

get(put(m,x,l), y)<\/p>\n

den Typ list(string) hat. Die Signaturen der Funktionen und Variablen sind wie folgt gegeben:<\/p>\n

get: Map(K,V) * K -> V;
\nput: Map(X, Y) * X * Y -> Map(X,Y);
\nm: Map(int, list(string));
\nx: int;
\nl: list(string);
\ny: int;<\/p>\n

Berechnen Sie die Typgleichungen und l\u00c3\u00b6sen Sie diese mit dem in der Vorlesung diskutierten Verfahren.<\/p><\/blockquote>\n

Das haben wir in den Vorlesungen nie wirklich durchgenommen. Kommt n\u00c3\u00a4chste Woche aber in der Pr\u00c3\u00bcfung dran.
\nZum Gl\u00c3\u00bcck hatten wir die Systemidentifikation in EA durchgenommen.
\nWir haben 2 Aufgaben, eine davon mit L\u00c3\u00b6sung.
\nJetzt wenden wir einen GA an und schon haben wir das Ergebnis.
\nWill hei\u00c3\u0178en, eine Aufgabe als Input, die L\u00c3\u00b6sung als Fitnesswert und schon k\u00c3\u00b6nnen wir daraus eine Formel erraten, welche uns die Aufgabe 2 errechnet.
\nUnd f\u00c3\u00bcr sowas zahlt meine Firma 500,- Studiengeb\u00c3\u00bchren?
\nJetzt mu\u00c3\u0178 ich mir nur nochmal Linux durchlesen.<\/p>\n","protected":false},"excerpt":{"rendered":"

Gerade haben der Moskaukonsultant und ich unsere letzte Lernstunde vor der morgigen Evolutinary Computing \/Linux Klausur abgeschlossen. Im Anschlu\u00c3\u0178 daran gabs eine Aufgabe zur Typenkorrektheit. Zeigen Sie, dass der Term get(put(m,x,l), y) den Typ list(string) hat. Die Signaturen der Funktionen … Weiterlesen →<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":0,"footnotes":""},"categories":[2],"tags":[],"class_list":["post-2649","post","type-post","status-publish","format-standard","hentry","category-initializing-devchaos"],"_links":{"self":[{"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=\/wp\/v2\/posts\/2649","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2649"}],"version-history":[{"count":0,"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=\/wp\/v2\/posts\/2649\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2649"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2649"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.isnochys.de\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2649"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}