หลังจาก Update Plug-in MapPress โดยเจ้า MapPress เป็น Plug-in ที่ช่วยจัดการแสดงแผนที่ Google Map และ Mark จุดต่างๆครับ หลัง Update เสร็จปรากฏว่าแผนที่หายหมดเลย สร้างใหม่ก็ไม่ได้ครับ โดย Google หักดิบใช้ทำ API-Key ครับ ส่วนที่ยังงานมาดูขตามขั้นตอน ดังนี้เลยครับ
ตอนที่ผมเขียน Blog น่าจะเป็นช่วงปลายปี 2016 นะครับ พอดีวันนี้เหลือเวลาอีก 2-3 ชั่วโมงจะเลิกงาน ผมเลยลองทำ Project ง่ายๆ ดูครับ โดยดึงข้อมูลจากเว็บ เกี่ยวกับข้อมูลพื้นฐานของหุ้นนะครับ ก่อนที่จะทำ สิ่งที่ตต้องทำลอง Research Library ดูก่อนครับ ว่ามีอะไรช่วยได้ไหม เท่าที่ดูมี Library ที่เหมาะสม ดังนี้ครับ ถึงเวลาเริ่มทำ ลองมาดูวิธีใช้ HtmlAgilityPack ดึงกว่า ลองใช้งานจริง Source Code สรุปสิ่งที่ได้ทำ
ช่วงนี้หลังจากที่เรียนโท เสาร์ อาทิตย์แล้ว ดึกผมยังมี Job พิเศษ ที่ผมไม่อยากทำเลยครับ คือ นอนเฝ้า Database ครับ หลายคนอาจจะสงสัยทำไมต้องนอนเฝ้าหละ ของเล่า Timeline ก่อน 📌 2017-01-19 : ระบบแจ้ง IBM SQL0968C The file system is full. SQLSTATE=57011 ผมเข้าไป Clear Log ให้นะครับ📌 2017-01-20: Log เต็มอีกแล้วเหรอ ผมเริ่มสงสัยและมันต้องมีอะไรแปลกๆแน่ๆ เลย Export Log กลับมาดู📌 2017-01-21: เรียน Formal กำลังมืนได้ที่ เอ้า Log เต็มอีกแล้ว เลยรีบไปเคลียร์ Log ตอนนี้จับได้และ มันมี UAT ระบบรอบข้างของอีกบริษัท ก็เลยต้อง Process Interface ให้ Feed ย้อนหลังไป 1 ปี ผมเลยแจ้งเตือนไป ถ้าจะทำควร Duplicate Database ออกมาอีกก้อนครับ📌 2017-01-22: นึกว่าวันนี้จะปลอดภ้ย โดนอีกแล้ว Log เต็ม เข้ามาเคลียร์ต่อ คราวนี้แอบมาทำอีก ผมเคลียร์เรียบร้อยแล้ว ดูพื้นที่น่าจะเพียงแล้วเลยกลับบ้าน📌 2017-01-23: วันนี้คิดว่าจะนั่งรถเมล์ชิวๆไปทำงาน ได้แว๊นไปต่อ BTS เข้า Site แบบเร่งด่วน พอมาหาสาเหตุ รอบนี้มีแอบ Run Interface ย้อนหลังอีกแล้ววว แถม Human Error อีก ดังนี้ 📌 หลังจากจับโจรแล้ว สรุปปัญหาได้ 2 อย่าง 📌 ทางแก้ไขหละ สำหรับเรื่อง ฮาๆ…
หลังจากลง 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) ครับ เมื่อมาถึงแล้ว
