หลังจากลง Spin และตัว Graphviz (เพิ่งรู้ว่ามันเอามาช่วย Spin ทำพวก Automata) มาลองเขียนโปรแกรมกันเลย ก่อนอาจารย์สอนพรุ่งนี้อีกที แปะ Code ไว้ก่อนนะครับ init{ printf(“Hello world \n Promela \n”); } สำหรับผลลัพธ์ก็ตามนี้ครับ เข้าสู่โลกของ Formal Verification ไปอีกขั้น
จบไปแล้วสำหรับ Module BOTDMS (DataSet กับ DataFile) ที่ผมรับผิดชอบอยู่ มาสรุปดีกว่า ว่ามันมีอะไรที่ควรบันทึก ทั้งจุดเด่น และจุดด้อยครับ จุดเด่น จุดด้อยที่ควรปรับปรุง ตอนนี้เข้าสู่ช่วง MA เรียบร้อย น่าจะมีการ Change จากการลอง Test บน Production แต่ไม่ยอมแจ้งตอนเก็บ Requirement
ตัว DreamSpark เป็นโครงการใช้เราใช้ Software แบบมีลิขสิทธิ์จาก Microsoft ครับ ลองไปถามๆ Google ดู คณะวิศวะจุฬา มีโครงการด้วยครับ สำหรับการขอสิทธิ์มีขั้นตอน ดังนี้ สำหรับผม เห็นแบบฟอร์ม มันมี Google App ให้เลือกด้วย เอาแถมไปเลยครับ Reference
หลังจากตอนที่แล้วได้ลง Spin มาแล้ว แต่ผมเหลือบในเห็นใน List ของ Tools ที่จำเป็นในวิชา Formal Verification เห็นมีลง Graphviz ด้วย ผมเลยเอามาเขียนอีก Blog แยกดีกว่าครับ เตรียมตัวก่อนลง ลง Graphviz ทำให้ Graphviz ใช้กับ dos command ทดสอบ Graphviz ผูก iSpin Reference
สำหรับใน Blog ตอนนี้ผมเน้นไปทางสาวกหน้าต่างนะครับ Microsoft Windows นะครับ สำหรับบันทึกการลง Spin ในวิชา Formal Verification เตรียมตัวก่อนลง ลง Cygwin ทำให้ Cygwin ใช้กับ dos command ลง SPIN ลง ActiveTcl ผูก iSpin ถ้ามีเวลาเพิ่มเติม ผมอยากลองลงกับตัว Ubuntu Sub-System ที่มากับ Windows10 นะครับ แต่ต้องทำ VM แยก คราวก่อนลอง Docker ไป คอมเปิดไม่ติดเลย 5555 Reference
หลังจากกิข้าวเที่ยงแล้ว ไม่ยากกินขนม อ้วนและ 555 เลยลองมาส่องๆหาผลไม้ใน 711 ไปเจอกัน ส้มจีนเล็กครับ ลองถามราคาพนักงานดู ราคา 29 บาท ลองมาชิมกันดีกว่าครับ Reference
วันนี้เป็นวันเปิดเทอมสำหรับการเรียนรปริญญาโทนะครับ ยอมรับว่ามากันอย่างมืนๆ ตัวห้องเรียนขึ้นเป็น ENG4 (AR) ครับ เมื่อมาถึงแล้ว
คำนี้ผมเพิ่งได้ยินจากจากการเรียนปริญญาโทครับ โดยในคาบเรียบอาจารย์ให้แบ่งกลุ่ม และลองศึกษา Keyword ต่างๆ ประมาณ 20 นาที แล้วมานำเสนอครับ ของกลุ่มผมมี 3 คำครับ (เดี๋ยวมาอธิบายต่อไปเลย) Control Hierarchy คือ อะไร ? เป็นแผนภาพที่แสดงโครงสร้างของระบบ โดยมองในมุมของ Components (ผมเข้าใจว่ามองลงได้ถึงในระดับ Class/Method ได้นะ) ว่ามี Components มีความสัมพันธ์กับ Module อื่นๆ อย่างไร จากแผนภาพตรงนี้ เรามาค้นหาความสัมพันธ์ที่ซ่อนในโครงสร้างนี้กัน Fan-in & Fan-out คือ อะไร ? – ความหมาย – ทำไมต้องมาดู Fan-in & Fan-out หละ ให้ Code มัน Maintain ได้ง่ายไง – แล้วที่ดี คือ อะไร ? ส่วนใหญ่จะเน้น High fan-in & Low fan-out Structure Type พอเราดูสิ่งที่ค้นพบจาก Control Hierarchy ต่อมาเป็นการจัดการโครงสร้างกัน ว่าเราจะบริหารแบบไหน สำหรับผมมองว่าเรื่อง Control Hierarchy + Fan-in & Fan-out เป็นตัวช่วยหนึ่งที่ทำให้เราไม่ออกแบบระบบ โดยไปยึดติดกับ Keyword ต่างๆ จากมากเกินไปครับ เช่น Coupling หรือ Cohesion Reference
อยู่มาวันนึง อยู่ Post ที่ตั้งเวลาไว้ให้ Public จาก WordPress ไป Facebook ภาพไม่ขึ้นซะงั้น คำถามแรกที่ผมคิด มันเกิดอะไรขึ้นหว่า แต่การที่เราจะไม่หาสาเหตุได้ เราต้องรู้พื้นฐานก่อนครับ ว่าไอ้ที่ Facebook มันดูดไป มีลักษณะอย่างไรครับ อย่างแรกที่เราต้องรู้จักเลย อ่านมาถึงตรงนี้แล้ว อยากให้เว็บมี Open Graph หละ ? มาถึงปัญหาของผมบ้างหละ เจอแล้วต้นตอของมัน ทดสอบอีกครับ สรุป
มาเขียน Blog จดไว้ก่อนครับ เพราะปีที่แล้วไปแก้ชง แล้วก็ลืม 555 เรื่องแบบนี้ไม่ค่อยเข้ากันผมที่เป็นสายงาน IT เท่าไหร่เลย ที่มาไหว้ เพราะปีนี้มีการเปลี่ยนแปลงเยอะอยู่ แถมได้ข่าวว่า ปีนี้ปีเกิดผมปีมะเมียมีโอกาสโดนลูกหลงครับ กันไว้ดีกว่าแก้ครับ ทำไมถึงเลือกวัดนี้ วัดนี้อยู่ทีไหน เข้ามาแล้วผมทำอะไรบ้าง สิ่งที่ไม่ชอบ มาเขียน Blog เจออะไรเพิ่มบ้าง หลังไหว้เสร็จทำอะไรต่อ Reference
