เป็ด ห่าน

ดูเหมือนว่าเป็ดกับห่านจะทนหนาวได้พอๆ กับ หมี lol

นาฬิกาปลุก

นาฬิกาปลุกเรือนใหม่ที่ซื้อมาในราคา 1 CAD หน้าตาเหมือนนาฬิกาปลุกที่บ้านมากเราพะ made in China เหมือนกัน

วิชาทฤษฎีกราฟ

เรียนกราฟเทอมนี้รู้สึกเหมือนจะเป็นวิชาที่ได้อะไรหลายๆ อย่าง

เรื่องแรกคือปกติผมจะเกลียดการพิสูจน์แบ่งกรณีมาก แต่พอเจอการบ้านเข้าไปสองอัน แตกกรณีกันเลือดสาด แต่บางครั้งมันก็ทำให้การบ้านเสร็จ แต่หลังจากแตกกรณีกันอย่างบ้าคลั่ง (เกือบทุกคน) อ.ก็ยกเลิกการบ้านสองไปเพราะแบ่งกรณีแบบไม่ elegant กรณีที่คล้ายๆ กันก็ไม่ยุบรวมเป็นกรณีเดียว (ของผมพิมพ์ใน latex เลย copy-paste เอา) ดูเหมือนว่าการแบ่งกรณีก็เป็นศิลปะอย่างหนึ่ง ความยากของการพิสูจน์แบบแบ่งกรณีอยู่ที่การเลือกเงื่อนไขในการแบ่ง ไม่ใช่การแบ่งกรณีไปเรื่อยๆ เพียงเพื่อให้บทพิสูจน์สมบูรณ์ -- ในการบ้านที่สามคือพิสูจน์ Kuratowski's theorem โดยใช้ overlapping diagram เลือดสาด ไม่มีใครแบ่งกรณีครบ --

เรื่องที่สองคือการตั้งทฤษฎีบทตั้ง เพราะเจอการบ้านที่นอกจากจะต้องใช้ทฤษฎีบทจากข้อก่อนหน้าแล้ว ถ้าไม่ตั้งทฤษฎีบทย่อยเพื่อช่วยพิสูจน์ในแต่ละข้อแล้วบทพิสูจน์ในแต่ละข้อก็จะยาวมาก เพราะมีบทพิสูจน์ที่ใช้เหตุผลใกล้เคียงแต่ไม่เหมือนกันอยู่ในแต่ละข้อ ต้องแตกออกมาเป็นบทตั้งย่อยๆ เพื่อตะได้หยิบมาใช้ได้ -- ในการบ้านสุดท้ายทำไม่ได้เลยต้องยกข้อความบางส่วนจากบทพิสูจน์ของอีกข้อลงมา เลยโดนหักคะแนนเพราะบทพิสูจน์ไม่สวย --

เรื่องที่สามก็คือไม่มีคำว่า obvious ในบทพิสูจน์ เพราะถ้า obvious, trivial, clear แล้วต้องอธิบายได้ในสองสามประโยค ไม่เช่นนั้นก็อาจจะเป็น bug ได้

นอกจากนี้ก็มีโดนหักคะแนนเรื่องบทพิสูจน์ไม่สวยเรื่อยๆ ตั้งแต่การบ้านแรก บทพิสูจน์ยาวก็โดนหักคะแนน (จาก 10 เหลือ 2)