ตั้งใจว่าจะเขียน blog อย่างสม่ำเสมอ แต่ในที่สุดก็ทำไม่ได้ เพราะว่าจะเขียนสักหน้านึงนี่ใช้เวลานานมาก แต่ที่เว้นไม่ได้เขียนไปสองอาทิตย์นี้ก็มีเหตุผลอยู่ หนึ่งคือเพราะว่าได้งาน
UROP ที่แล็บ
CSAIL ตอนนี้มีอยู่สอง UROP
อันแรกเป็นงานที่ใช้เวลาไปกับมันค่อนข้างมาก เพราะว่าทางกลุ่มเขาบริหารงานดี และเราก็ทำเอาตังค์ด้วย โปรเจคนี้เกี่ยวกับการต่อเติมภาษา Java ให้มี reference immutability ถ้าสนใจก็ไปดู web page ของโปรเจคได้ที่
http://pag.csail.mit.edu/javari ภาษาใหม่นี้เรียกว่า Javari ย่อมาจาก Java with Reference Immutability อาจารย์ที่คุมหวังว่าจะ implement ให้เสร็จแล้วก็ส่งเสนอให้ Java Steering Committee เพิ่ม feature นี้เข้าใน Java 6.0 บทบาทของเราในโปรเจคนี้ตอนนี้ก็ยังไม่ชัดเจนเท่าไหร่ ตอนนี้เขากำลังออกแบบไวยากรณ์กันใหม่ เราก็ไม่รู้จะช่วยยังไง เพราะว่าใจจริงแล้วก็ไม่ค่อยเห็นด้วยกับการตัดสินใจใช้ type system กับเรื่องแบบนี้ แล้วก็มี grad student คนหนึ่งทำการออกแบบมานานแล้วด้วย ก็เลยตามเขาไม่ค่อยทัน ตอนนี้กิจกรรมส่วนใหญ่คือการอ่านหนังสือเพื่อเพิ่มแบคกราวนด์ (ไม่รู้เรื่องพรรค์นี้มาก่อนเลยจริงๆ) และช่วยเขาแก้ design paper แต่ท่าทางอาทิตย์หน้าจะได้เริ่มเขียนโปรแกรมจริงๆ จังๆ แล้วล่ะ ที่จะทำอันแรกคือโปรแกรมที่ตรวจว่า object ถูก mutate หรือไม่หลังจาก run method แต่ละอันไป
อันที่สองทำกับ
Prof. David Karger แต่จะว่าไปก็ยังไม่ได้เริ่มงานเลย อาจารย์แกสนใจระบบตรวจสอบ model ที่ชื่อว่า
Alloy ที่สร้าง SAT formula จาก model แล้วเอาไป solve มันน่าแปลกตรงที่ว่า ถึงแม้ SAT จะเป็นปัญหา NP-complete แต่เขาก็ใช้ hueristic แก้ออกได้ในเวลารวดเร็ว อาจารย์แกเลยสงสัยว่า SAT formula พวกนั้นจะมี
treewidth ต่ำหรือเปล่า ที่เราต้องทำคือไปขอสูตรจากกลุ่มที่ทำ Alloy มาหา treewidth แต่นี่เขียน email ไปขอตั้งแต่อาทิตย์ก่อนแล้วเขาก็ยังไม่ตอบกลับมาเลย สงสัยวันจันทร์ต้องเขียนไปตื๊ออีกที
เหตุผลที่สองคือ
Suikoden IV ที่ออกมาเมื่อวันที่ 11 ม.ค. ที่ผ่านมา เพิ่งจะเคลียร์เมื่อวานซืนนี้เอง ใช้เวลาเล่นทั้งหมด 40 ชั่วโมง เล่นเอาตื่นไปทำงานสายไปหลายวันเหมือนกันนะเนี่ย -_-' อืม... เดี๋ยวว่างๆ จะเขียน review
ตอนนี้รู้สึกกลุ้มใจที่ตัวเอง download อนิเมมาไว้ตั้งเยอะแยะแต่ไม่มีอารมณ์ดูื แถมยังไม่มีเวลาวาดรูปแล้วก็แต่งนิยายต่ออีก เดี๋ยวเปิดเิทอมแล้วคงจะยุ่งกว่านี้อีกเยอะเลย เฮ้อ...
แก้ไขเมื่อ 22/1/2548 10:49:23
edit @ 2005/08/31 08:41:32
