Updated:June2014 MatthieuMoy EfficientandPlayfulToolstoTeachUnixtoNewStudents
38
0
0
Texte intégral
(2) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Outline. 1. Unix Course in Ensimag. 2. Treasure Hunt. 3. (Fully Automated) Lab Exam. 4. Conclusion. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 2 / 30 >.
(3) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Context of Unix Introduction. Start of 1st year Students don’t expect to work hard (Prep. school Vs Engineering school) Few total beginners with Unix, some experienced users. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 3 / 30 >.
(4) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Context of Unix Introduction. Start of 1st year Students don’t expect to work hard (Prep. school Vs Engineering school) Few total beginners with Unix, some experienced users. Matthieu Moy (Grenoble-INP, Ensimag). Teaching material must be attractive! Let students progress at their own pace Grading is (unfortunately) needed. Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 3 / 30 >.
(5) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Target Students Experienced. Willing. Already know what they need. Don’t know much about Unix. Can help/teach others. But want to learn. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Lazy. Not interested in learning Unix. Updated : June 2014. < 4 / 30 >.
(6) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Basic Teaching Material Textbook Wiki. Linear structure. Web of articles. Beginner-oriented + remarks for advanced users. Used through 3 years of study. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 5 / 30 >.
(7) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Basic Teaching Material Textbook Wiki. Students will forget it exists. Students won’t read. Linear structure. Web of articles. Beginner-oriented + remarks for advanced users. Used through 3 years of study. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 5 / 30 >.
(8) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Outline. 1. Unix Course in Ensimag. 2. Treasure Hunt. 3. (Fully Automated) Lab Exam. 4. Conclusion. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 6 / 30 >.
(9) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Goals & Ideas Old style: I. Typical question in textbook:. Try typing the command blah. What do you see?. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 7 / 30 >.
(10) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Goals & Ideas Old style: I. Typical question in textbook:. Try typing the command blah. What do you see? I. “I already know that, I’ll skip to the next question”. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 7 / 30 >.
(11) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Goals & Ideas Old style: I. Typical question in textbook:. Try typing the command blah. What do you see? I. “I already know that, I’ll skip to the next question”. I. “I already know that, it’s boring, I’ll stop reading the book”. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 7 / 30 >.
(12) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Goals & Ideas Old style: I. Typical question in textbook:. Try typing the command blah. What do you see? I. “I already know that, I’ll skip to the next question”. I. “I already know that, it’s boring, I’ll stop reading the book”. I. types something else, sees something else, doesn’t notice. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 7 / 30 >.
(13) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Goals & Ideas Old style: I. Typical question in textbook:. Try typing the command blah. What do you see? I. “I already know that, I’ll skip to the next question”. I. “I already know that, it’s boring, I’ll stop reading the book”. I. types something else, sees something else, doesn’t notice. “Treasure hunt”-style: You’ll get the next question using command blah. See you there.. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 7 / 30 >.
(14) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Example Questions Step A1 follow this link to reach step A2 (warm up): http://www-verimag.imag.fr/~moy/jeu-de-piste/etape-A2.txt. Step A2 Good, you’ve solved the step A1. For the next step (A2), here it is, but it is rot13-encoded. At the point where you are, you should be able to find what rot13 is, and a way to decode it. Ibvyn, gur ebg13 vf qrpbqrq. Vs lbh’er fzneg, lbh’ir cebonoyl abgvprq gung gur jro vf shyy bs bayvar rapbqre/qrpbqre sbe ebg13,[...]. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 8 / 30 >.
(15) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Example Questions Step A1 follow this link to reach step A2 (warm up): http://www-verimag.imag.fr/~moy/jeu-de-piste/etape-A2.txt. Step A2 Good, you’ve solved the step A1. For the next step (A2), here it is, but it is rot13-encoded. At the point where you are, you should be able to find what rot13 is, and a way to decode it. Ibvyn, gur ebg13 vf qrpbqrq. Vs lbh’er fzneg, lbh’ir cebonoyl abgvprq gung gur jro vf shyy bs bayvar rapbqre/qrpbqre sbe ebg13,[...] ⇒ Google “rot13”, first answer is a rot13 decoder (“think outside the box”-question) Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 8 / 30 >.
(16) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Topics A Internet: search engines, wiki, email B Basics: Navigate in filesystem, manipulate files (cd, cp, mv. . . ), compile programs & LATEX, execute commands (./script.sh) C Useful applications: open files (PDF, OpenOffice, image) D Text editor: search & replace, fix syntax error in big program E Commands: extract TAR archive, hidden files, diff,. . . F Bash: redirections (>, <, |), wildcards G Remote access: SSH, sftp H Bonus questions: scripting, Git, strace, /proc/, ssh keys total = 36 steps. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 9 / 30 >.
(17) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Basic Ideas Shared by Most Steps Essentially short manipulations to get the answer Step N + 1 explains better the answer(s) of step N Obfuscate the instructions to next step I I I. Files in non-listable directory (HTTP or chmod -r dir/) Obfuscated program to compile/execute Actual information hidden in random garbage. Common obfuscation scripts grouped in an open-source “generation library”. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 10 / 30 >.
(18) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Generation Library: Example Step (Student-side). Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 11 / 30 >.
(19) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Generation Library: Example Step (Teacher-side) #! /bin/bash . ./imglib.sh echo "Congratulation, you’ve managed to open this PNG image. You can edit it with The Gimp (command gimp), view it with Eye of Gnome (command eog), for example. We’ll now continue with the part on text editing. You’ll find the next file here: http://www-verimag.imag.fr/~moy/jeu-de-piste/abc/etape_d1.adb You’ll have to fix a few errors to compile it. " | txt2img step-C3.png. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 12 / 30 >.
(20) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Pros and Cons. Pros: I I I. Students love it Students can’t skip or mistakenly think they solved one step Teachers have fun preparing it. Cons: I I. Students can be blocked on a step May divert attention from booklet and wiki. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 13 / 30 >.
(21) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Treasure Hunt: Necessary Conditions to Make it Work. Remind students about its existence I I. Frequent references in textbook Informal surveys by teacher “who started treasure hunt?”, “Who went past step B?”, .... Be pro-active helping students I I. Look over student’s shoulders Make whole-group demo to solve hardest steps. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 14 / 30 >.
(22) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Percentage of students reaching steps Big brother is watching .... Some steps are monitored (student success recorded in a database) Results: step A5 E9 F2 G2 H8. Matthieu Moy (Grenoble-INP, Ensimag). Percentage students Average grade reaching this step at exam 98% 16.2/20 90% 16.6/20 80% 16.8/20 71% 17.0/20 10% 18.8/20 (note: hardest step is E7). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 15 / 30 >.
(23) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Outline. 1. Unix Course in Ensimag. 2. Treasure Hunt. 3. (Fully Automated) Lab Exam. 4. Conclusion. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 16 / 30 >.
(24) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Lab Exam: Why?. Treasure Hunt = good for motivated students . . . . . . but most (?) students didn’t complete it Long tradition of “teammate effect” among students ⇒ Evolution towards individual exam in Ensimag. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 17 / 30 >.
(25) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Lab Exam: Goals (Student-side). Don’t penalize beginners I I I. Should be entirely doable without prior knowledge Most questions easy once the treasure hunt is done and understood All documents allowed. Test both knowledge and speed I. Many questions (28 wasn’t enough for 1h). Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 18 / 30 >.
(26) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Lab Exam: Goals (Teacher-side) Easy to maintain: I I I. Rudimentary technology (plain PHP, SQL, bash) Few dependencies Small codebase (≈ 1000 LOC of PHP+bash). Prevents cheating: I I. Give password to a friend Copy neighbor’s answers. Automatic grading: I I. Exam added without increasing teacher’s workload Unambiguous, unique answers required. Give the students no excuse to fail. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 19 / 30 >.
(27) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Lab Exam: Example. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 20 / 30 >.
(28) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Exam Generation Library $ cat exam.sh #! /bin/bash [... around 500 LOC for a 1h exam ...] EXAM_DIR=../unix-training.git/gen-exam . "$EXAM_DIR"/exam-main.sh $ ./exam.sh Generating the exam in SQL mode [...] Number of questions: 28 Total coefficients: 100 Generated files in exam/exam_genere - questions.sql - 1/ and 2/ : files to put on students account for sessions 1 and 2 - php/ : PHP files to put on the server. $ rsync -av php/ web-server:/var/www/exam/ $ mysql -h web-server < questions.sql Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 21 / 30 >.
(29) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Exam Generation Library: Example You write. . .. . . . The library takes care of. all_questions () { smart_question latex 2 [...] }. Calling functions for each student. desc_question_latex () { echo "The answer is in the file <tt>latex.tex</tt>." } gen_question_latex () { ( echo ’\documentclass{article}’ latextable echo ’\begin{document}’ echo "The answer is: $1" \ | latexencode echo ’\end{document}’ ) > latex.tex } Matthieu Moy (Grenoble-INP, Ensimag). Chosing different answer for each student Filling-in SQL database. Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 22 / 30 >.
(30) 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 65 67 69 71 73 75 77 79 81 83 85 87 89 91 93 95 97 99 101 103 105 107 109 111 113 115 117 119 121 123 125 127 129 131 133 135 137 139 141 143 145 147 149 151 153 155 157 159 161 163 165 167 169 171 173 175 177 179 181 183 185 187 189 191 193 195 197 199 201 203 205 207 209. Grade (/20). Unix Course Treasure Hunt. Matthieu Moy (Grenoble-INP, Ensimag). Lab Exam. Efficient & Playful Tools to Teach Unix Updated : June 2014. Conclusion. Lab Exam: Results in 2010. 1 hour, 28 questions / far better results than expected!. 20. 2010. 18. 16. 14. 12. 10. 8. 6. 4. 2. 0. Student. < 23 / 30 >.
(31) 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 65 67 69 71 73 75 77 79 81 83 85 87 89 91 93 95 97 99 101 103 105 107 109 111 113 115 117 119 121 123 125 127 129 131 133 135 137 139 141 143 145 147 149 151 153 155 157 159 161 163 165 167 169 171 173 175 177 179 181 183 185 187 189 191 193 195 197 199 201 203 205 207 209 211 213 215. Grade (/20). Unix Course Treasure Hunt. Matthieu Moy (Grenoble-INP, Ensimag). Lab Exam. Efficient & Playful Tools to Teach Unix Updated : June 2014. Conclusion. Lab Exam: Results in 2011. 1 hour, 5 more questions / far better results than expected!. 20. 2011. 18. 16. 14. 12. 10. 8. 6. 4. 2. 0. Student. < 24 / 30 >.
(32) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Lab Exam: Adaptation to Algorithmics Exam (Python). http://www-verimag.imag.fr/~moy/cours/infocpp-1A/demo-exam/. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 25 / 30 >.
(33) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Lab Exam: Multiple-Choices Questions. (No feedback to student, of course!). Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 26 / 30 >.
(34) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Lab Exam: Pros and Cons Pros: I. I. “Motivates” students to read textbook and finish treasure hunt Students can’t escape the “Unix” thing anymore. Cons: I I. Learning Vs Cramming Motivate Vs “Motivate”. Treasure Hunt + Exam ?. = Balance between positive motivation and forced work. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 27 / 30 >.
(35) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Outline. 1. Unix Course in Ensimag. 2. Treasure Hunt. 3. (Fully Automated) Lab Exam. 4. Conclusion. Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 28 / 30 >.
(36) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Exam and Treasure Hunt: Conclusion Treasure Hunt: very appreciated from students, but insufficient Exam: the necessary complement I had fun writing this . . . and hope to share the fun!. Download (open-source): http://gitorious.org/unix-training (Google: “unix-training Ensimag”) (Ask me if you want the complete exam). Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 29 / 30 >.
(37) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Questions?. Download (open-source): http://gitorious.org/unix-training (Google: “unix-training Ensimag”). Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 30 / 30 >.
(38) Unix Course. Treasure Hunt. Lab Exam. Conclusion. Sources http://en.wikipedia.org/wiki/File:CGIYoda.jpg ( c 2002 Lucasfilm Ltd. All Rights Reserved—fair use). http://en.wikipedia.org/wiki/File:LukeSkywalkerROTJV2Wallpaper.jpg. ( c shot from the Star Wars franchise—fair use). http://www.flickr.com/photos/starwarsblog/793008715/ (CC BY 2.0). http://fr.wikipedia.org/wiki/Fichier:Prisonlabor1.jpg (public domain). Matthieu Moy (Grenoble-INP, Ensimag). Efficient & Playful Tools to Teach Unix. Updated : June 2014. < 30 / 30 >.
(39)
Documents relatifs
« Les approches concurrentes ne représentent plus deux paradigmes irréconciliables mais deux théories rendant compte de processus distincts remplissant une même fonction
Despite the very positive feedback we got from students actually completing the textbook and treasure hunt, this turned out to be insufficient to motivate all the students to
This paper proposes a solution based on an asynchronous model (namely Promela) to encode TLM concurrent programs, that consists in modeling the asynchronous communications and
Habilitation à Diriger des Recherches High-level Models for Embedded Systems Matthieu Moy Verimag Grenoble INP Grenoble, France.. March 13th 2014 Jury: Gérard Berry Rolf Drechsler
Modeling of Time in Discrete-Event Simulation of Systems-on-Chip Giovanni Funchal1,2 and Matthieu Moy1 1 Verimag.. Grenoble INP
Modeling of Time in Discrete-Event Simulation for Systems-on-Chips Matthieu Moy Verimag Grenoble INP Grenoble, France.. Matthieu
Despite the very positive feedback we got from students actually completing the textbook and treasure hunt, this turned out to be insufficient to motivate all the students to
Le Laboratoire 3SR est une unité mixte de recherche de l’Université Grenoble Alpes, de l’Institut Polytechnique de Grenoble et du CNRS, qui fédère les forces de recherche du
