zur Ophase - Fachschaft Informatik

Uni und Studium
Leben erweckt werden. Wie sagte schon Alan
Kay, ein Pionier für grafische Benutzeroberflächen
und objektorientierter Programmierung:
"People who are really serious about
software should make their own hardware."
Fachschaft iST
Schneller schreiben mit eigenen
Keyboard-Layouts
Im Zuge des Informatikstudiums verbringt
man einen Großteil seiner Zeit mit dem
Schreiben von Code und Dokumenten. Dabei
ermöglicht die Tastatur mit 10-Finger-System
ein angemessen schnelles Schreiben - damit
sind jedoch die Möglichkeiten zur Optimierung
bei weitem nicht ausgeschöpft. In diesem
Workshop beschäftigen wir uns mit ergonomischen
Buchstabenanordnungen, Sonderzeichen
und Akzenten und ermöglichen
jedem Teilnehmer eine Tastatur zusammenzustellen
die auf die persönlichen Bedürfnisse
zugeschnitten ist. Dies ermöglicht z.B. eine
einfachere zweisprachige Eingabe (Akzente),
effizienteres Programmieren (Sonderzeichen)
und generell schnelleres Schreiben (Buchstabenanordnung).
Alle Betriebssysteme werden
unterstützt - Notebook bitte mitbringen.
David Falk
Lambda-Kalkül – Theorie und
Programmierung
Der Lambda-Kalkül ist ein formales System,
welches die Grundlage heutiger funktionaler
Programmiersprachen und interaktiver
Theorembeweiser bildet. Der Workshop wird
in die Theorie des Lambda-Kalküls einführen
und zeigen, wie man den Lambda-Kalkül als
Programmiersprache benutzen kann, welche
die Berechnungsmächtigkeit einer Turingmaschine
besitzt. Nach der theoretischen Einführung
wird es die Möglichkeit geben, in den
Computer-Poolräumen des Fachbereichs
selbst einige Übungsaufgaben im Lambda-
Kalkül zu programmieren.
Alexander Fuhs
LEGO Mindstorms
Mindstorms ist eine Serie von LEGO, deren
Kern ein programmierbarer Mikrocomputer
– der NXT-Baustein – ist. Er besitzt verschiedene
Eingänge (z.B. für Sensoren) und
Ausgänge (z.B. für Motoren). Es gibt für den
NXT eine spezielle Firmware mit einer Java-
VM, so daß man diesen in Java programmieren
kann (leJOS). Die Herausforderung dabei
ist, wirklich autonome Roboter zu entwerfen,
die eine bestimmte Problemstellung „selbstständig“
bearbeiten können.
Das Ziel dieses Workshops ist es, eine Einführung
in die Programmierung des NXT-
Bausteines zu geben und die gestellten Roboter
selbstständig kleine Aufgaben lösen zu
lassen. Die Teilnehmer sollen dabei in kleinen
Gruppen Java-Programme entwickeln und
diese auf einem Standard-Roboter-System
laufen lassen.
Die erworbenen Kenntnisse bilden eine gute
Grundlage für die Teilnahme am Mindstorms-Workshop
der Fachschaft Informatik
im Wintersemester 2012/13. Für den Workshop
werden grundlegende Java-Kenntnisse
benötigt, das Wissen aus dem Java-Vorkurs
ist ausreichend.
Kevin Luck, Natalie Faber, Rebecca
Schieren
http://d120.de/mindstormsgruppe/
< 14 Inforz zur Ophase 2012