Spin: Simple Traffic Light

หลังจากเรียน Lecture มาพักใหญ่คราวนี้ อาจารย์ได้ให้ลองเขียน Promela บน Spin โดยให้จำลองการทำงานของไฟจราจรขึ้นมาครับ มันดูไม่น่ายากนะ ลองเขียน Code เลย ได้ Version แรกมาแล้วครับ 1 int redLight = 0; 2 int yellowLight = 0; 3 int greenLight = 0; 4 5 proctype simpleTrafficLight() 6 { 7 //Start with redLight 8 redLight = 1; 9 do 10 ::(redLight ==1) -> 11 redLight = 0; 12 yellowLight = 0; 13 greenLight =1; 14 ::(greenLight ==1) -> 15 redLight = 0; 16 yellowLight = 1; 17 greenLight =0; 18 ::(yellowLight == 1) -> 19 redLight = 1; 20 yellowLight = 0; 21 greenLight =0; 22 od 23 } 24 25 26 init…

[CR] เครื่องต้มไข่ SEVERIN

เครื่องนี้ผมไม่ได้ซื้อมานะครับ ของพี่ทีทำงานซื้อมาครับ โดยมีคุณสมบัติ ดังนี้ สำหรับเครื่องมีส่วนประกอบ ดังนี้ ทดสอบจริง กินจริง Reference

Line Group สามารถทำ Poll ได้แล้วนะ

จริงผมก็ไม่รู้ว่า Line มี Feature นี้เลย (ไม่เคยสนใจพวก Release Note เลยนะเรา เค้าทมาก็ไม่อ่าน) กว่าจะมารู้ว่า Line ทำ Poll ได้ เนื่องจากว่าตอนงานกลุ่มมีปัญหาในการโหวตเลือกกัน โดยมีวิธีเลือก 3 ทาง หลังจากได้ยินว่า Line น่าจะมี ผมเลยลองถาม Google ดูพบว่า มีจริงด้วยยยยยยยยยย มาดูการใช้งานกันเลยดีกว่าครับ ส่วนตัวผมว่ามีครบครันเลยนะครับ เลือกข้อเดียว เลือกหลายข้อ และมีแบบ Vote แบบไม่ประสงค์ออกนามด้วย (สงสัยเอามาป้องกันดราม่า ฮ่าๆ) ลองเอาไปใช้กันดูได้ครับ ที่ผมลองใช้ มันมีข้อดีแล้ว ลองมาดูข้อจำกัดบางครับ  Reference

Laravel 5.3 First Time

หลังจากไปทำงานเกี่ยวกับ Process ของ Business กับ จัดการตบตีกับ Legacy Code อยู่หลายปีเลย จากที่เขียน Blog ไว้ในเรื่อง สิ้นปี 2016 แล้วเหรอ ? ที่มีเรื่องที่ควรทำให้ได้ คือ การลองกลับมาเขียนภาษาฝั่ง web ครับ ตัวที่ผมเลือก คือ Laravel พอดีไปเจอสื่อการสอนของทาง SIPA ครับ ไหนๆ จะศึกษาและ ลอง Version ใหม่สุดๆ ดีกว่าครับ โดยผมได้ลอง Laravel 5.3 นะครับ ค่อยศึกษาตั้งแต่มกรา ยาวมาถึงตอนนี้เลย พอผมเรียนปริญญาโทด้วย ตอนนี้รู้สึกว่างานมันหนักมาครับ มาลองดูสิ่งที่เปลี่ยนไปดีกว่า Reference

IEEE 1074 เริ่มอ่านอย่างไร

หลังจากเปิดเทอม ป โท ได้ให้ Paper เยอะมากครับ วันนี้ผมมาสรุปตัว Paper IEEE 1074 คือ อะไร และมีวิธีการอ่านแบบ scan คร่าวๆ อย่างไรครับ IEEE 1074 คือ อะไร ผมมองว่าเป็น Check List ที่ผ่านการคิดค้นมาแล้ว หรือมองว่าเป็นกิจกรรม (Activity) มี่มีการจัดกลุ่มจัดหมวดหมู่แล้ว มาให้องค์กรต่าวๆ นำไปปรับใช้กับ SDLC ของที่ใช้อยู่ครับ (SDLC พวก Water Fall, Unifine Process, Agile ครับ) เพื่อทำให้ Software ของเราดีขึ้น อ่านคู่มือกัน ลอง Implement Implementing the standard Input Output 1.Gather requirements & Constraint for SPLCP Goal, , requirements & Constraint Mission Process Plan Old Workflow Evaluation Criteria 2.Select SPLCM requirements & Constrait SPLCM Candinate set of Model Evaluation Criteria (Update) 3.Develop SPLC SPLCM SPLC Activity List in IEEE1074 4.Establish SPLCP SPLC OPA SPLCP(Draft) 5.Validate SPLCP Evaluation Criteria SPLCP(Validate) SPLCP(Draft)

[C#] ลองใช้ Log4Net มาเก็บบันทึกของ Console App กัน

หลังจากสร้าง draft ทิ้งไว้นานมาแล้ว วันนี้มาลองรื้อบทความเก่าๆมาเขียนให้เสร็จครับ สำหรับ Blog ตอนนีเป็นการลองใช้ Log4Net กับ console app ครับ เอาหละมาลุยกันเลยครับ เตรียมตัว & ติดตั้ง สร้าง Configuration file เชี่อม config กับ Console App  

[CR] Kinniku Gyudon @ La Villa Aree

Update 2024 ร้าน Kinniku Gyudon ย้ายไปแถวย่านพัฒนาการ 63 ตามไปกันได้คร้าบ สำหรับร้าน Kinniku Gyudon ผมและน้องไปกินกับประจำครับ เวลาที่ต้องไปเข้า Site งานแุถวสะพานควายครับ โดยร้านนี้ทำเลที่ตั้งอยู่ที่ La Villa Aree ชั้น 3 ครับ ลองมาดูบรรยากาศร้านกันก่อนเลย เมนูในร้านนี้เป็นข้าวราดหน้าต่างๆ มีพวกอูด้ง และของทานเล่นอย่างเกี้ยวซ่าครับ สำหรับอาหารแนะนำสำหรับผมนะครับ มีเมนู ดังนี้ สำหรับราคาถ้าเทียบกับคุณภาพแล้ว ใช้ได้เลยครับ อาหารจานละ 150-220 บาท ถ้าสั่งเป็น Set บวกอีก 50-60 บาทครับ อ๋อแล้วร้านมีคิด Vat 10% นะครับ Facebook Page : Kinniku Gyudon

[WordPress] A google maps api key is required. please update your mappress settings

หลังจาก Update Plug-in MapPress โดยเจ้า MapPress เป็น Plug-in ที่ช่วยจัดการแสดงแผนที่ Google Map และ Mark จุดต่างๆครับ หลัง Update เสร็จปรากฏว่าแผนที่หายหมดเลย สร้างใหม่ก็ไม่ได้ครับ โดย Google หักดิบใช้ทำ API-Key ครับ ส่วนที่ยังงานมาดูขตามขั้นตอน ดังนี้เลยครับ

[C#] มาใช้ HtmlAgilityPack ดึงข้อมูลจากเว็บ

ตอนที่ผมเขียน Blog น่าจะเป็นช่วงปลายปี 2016 นะครับ พอดีวันนี้เหลือเวลาอีก 2-3 ชั่วโมงจะเลิกงาน ผมเลยลองทำ Project ง่ายๆ ดูครับ โดยดึงข้อมูลจากเว็บ เกี่ยวกับข้อมูลพื้นฐานของหุ้นนะครับ ก่อนที่จะทำ สิ่งที่ตต้องทำลอง Research Library ดูก่อนครับ ว่ามีอะไรช่วยได้ไหม เท่าที่ดูมี Library ที่เหมาะสม ดังนี้ครับ ถึงเวลาเริ่มทำ ลองมาดูวิธีใช้ HtmlAgilityPack ดึงกว่า ลองใช้งานจริง Source Code สรุปสิ่งที่ได้ทำ

Interface 500 ปี

ช่วงนี้หลังจากที่เรียนโท เสาร์ อาทิตย์แล้ว ดึกผมยังมี 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 อย่าง 📌 ทางแก้ไขหละ สำหรับเรื่อง ฮาๆ…