My Diary on 2012-05-27

Posted: 27th May 2012 by Prawee Wongsa in diary
Tags:
  • ตัวอย่างโปรแกรมที่เอามาใช้ในการวิเคราะห์ในหนังสือเล่มนี้คือ Larch #SoftwareAbstractions #DanielJackson #logic #Analysis #language #
  • โปรแกรมหรือภาษา ถ้าจะนำมาวิเคราะห์ เผยแพร่ ต้องเป็นภาษาที่พัฒนาขึ้นมาเอง ไม่งั้นโดนฟ้องแหลกเลย หุหุ #SoftwareAbstractions #DanielJackson #
  • ในปี 1992 ผู้เขียนไปมหาลัย Carnegie Mellon cแล้วไปเจอภาษา Z ที่ผู้คนพูดถึง ดูแล้วเกิดชอบ #Z #language #SoftwareAbstractions #DanielJackson #
  • และเขาตกใจเมื่อ Ken McMillan ได้แสดง SMV แล้วมันสามารถเช็คตำแหน่งเครื่องล้านเครื่องภายในวินาทีเดียว โดยไม่มีผู้ใดทำอะไรกับเครื่อง #Software #
  • อาบน้ำแล้วรู้สึกตัวหนาว ๆ ร้อน ๆ กินยาดักไว้เลยดีกว่า หุหุ #
  • ผัดพริกแกงใต้รวมมิตร http://t.co/MkHmWW3a #
  • มาให้อาหารเหมียว (@ Playwork) [pic]: http://t.co/clEE0KTd #
  • #dhamma http://t.co/6aOOkTO0 #
  • กลับห้องแล้ว เริ่มหิว กินข้าว ดูหนัง เล่นเกม นอน! แว๊บ #

Powered by Twitter Tools