chanwit.blogspot.com

CK's Blog

About anything interests me . Saturday, December 24, 2011. Learning to know Featherweight Java - An Easy Way. It's very long time since last my last post and I am still learning how to properly prove type soundness of a programming language. Here's a list of lectures. From Cornell that I've been reading and they're quite good to understand. Tuesday, February 09, 2010. Given an expression e, a type T and a dictionary TT. That maps variables to type, the notation. T = typecheck(TT, e). Q if P1 and P2 and P3.

http://chanwit.blogspot.com/

OVERVIEW OF chanwit.blogspot.com

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR CHANWIT.BLOGSPOT.COM

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

February

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Monday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 4.1 out of 5 with 17 reviews

5 star

8

4 star

6

3 star

1

2 star

0

1 star

2

Hey there! Start your review of chanwit.blogspot.com

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.5 seconds

FAVICON PREVIEW

16x16
32x32
64x64
128x128
160x160
192x192
256x256

CONTACTS AT CHANWIT.BLOGSPOT.COM

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

20

SSL

EXTERNAL LINKS

31

SITE IP

172.217.6.65

LOAD TIME

0.457 sec

SCORE

6.2

PAGE TITLE

CK's Blog | chanwit.blogspot.com Reviews

<META> DESCRIPTION

About anything interests me . Saturday, December 24, 2011. Learning to know Featherweight Java - An Easy Way. It's very long time since last my last post and I am still learning how to properly prove type soundness of a programming language. Here's a list of lectures. From Cornell that I've been reading and they're quite good to understand. Tuesday, February 09, 2010. Given an expression e, a type T and a dictionary TT. That maps variables to type, the notation. T = typecheck(TT, e). Q if P1 and P2 and P3.

<META> KEYWORDS

1 ck's blog

2 posted by chanwit

3 0 comments

4 labels language

5 type system

6 type system primer

7 roughly means

8 means

9 slide 6

10 labels type system

CONTENT

Page content here

KEYWORDS ON PAGE

ck's blog,posted by chanwit,0 comments,labels language,type system,type system primer,roughly means,means,slide 6,labels type system,to manually controlled,labels bytecode,gjit,groovy,optimisation,productivity,and gradual typing,labels groovy,language

SERVER

GSE

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

CK's Blog | chanwit.blogspot.com Reviews

https://chanwit.blogspot.com

About anything interests me . Saturday, December 24, 2011. Learning to know Featherweight Java - An Easy Way. It's very long time since last my last post and I am still learning how to properly prove type soundness of a programming language. Here's a list of lectures. From Cornell that I've been reading and they're quite good to understand. Tuesday, February 09, 2010. Given an expression e, a type T and a dictionary TT. That maps variables to type, the notation. T = typecheck(TT, e). Q if P1 and P2 and P3.

INTERNAL PAGES

chanwit.blogspot.com

1

CK's Blog: July 2009

http://chanwit.blogspot.com/2009_07_01_archive.html

About anything interests me . Sunday, July 26, 2009. Improved Complex Number in Groovy. Thank you for last comment in the previous blog. Here's the improved version of Complex Number. Number.metaClass.plus = { n -. 160; if(n instanceof Imaginary) {. 160; new Complex(r:delegate, i:n.v). Number.metaClass.getI = { -. 160; new Imaginary(v: delegate). 160; def r. 160; def i. 160; String toString() {. 160; "$r ${i}i". 160; def v. 160; def plus(n) {. Def b = 2 2.4.i. Def c = 4.2.i 2. View my complete profile.

2

CK's Blog: October 2008

http://chanwit.blogspot.com/2008_10_01_archive.html

About anything interests me . Thursday, October 02, 2008. Online Twitter App written in Grails. It is very exciting to tell you that we has now successfully used Grails to clone Twitter's Election. It seems to be a very first online Twitter application written in Grails. The most important thing is that the prototype has been done in just 2 days. It is currently hosted by our lovely cloud, Morph Appspace. Try it here: http:/ bangkok51.morphexchange.com. Subscribe to: Posts (Atom). View my complete profile.

3

CK's Blog: Application-Specific Performance Tuning for Groovy

http://chanwit.blogspot.com/2008/01/application-specific-performance-tuning.html

About anything interests me . Sunday, January 06, 2008. Application-Specific Performance Tuning for Groovy. You all know that if we bypass meta-layer of Groovy, the performance will be boosted. I have 1 class, 1 closure (as an inner class) and 3 method calls in the following codes (System#currentTimeMillis, times, and println):. Package org.codehaus.groovy.aop. Static void main(args) {. Def s1 = System.currentTimeMillis(). Int i = 10. Def s2 = System.currentTimeMillis(). Public aspect TestBooster {.

4

CK's Blog: Analysis of static Groovy claims

http://chanwit.blogspot.com/2009/11/analysis-of-static-groovy-claims.html

About anything interests me . Saturday, November 14, 2009. Analysis of static Groovy claims. Continued from my last post. I think I will be in the neutral point of view. Enough to do the analysis for these claims. All of this analysis are solely based on my opinion, so discussion is always welcome. It is possible to write a statically typed compiler for Groovy keeping all goodies of the beautiful language. Would be possible to help this issue. It is possible to support Scala-like traits (also knows as in...

5

CK's Blog: Groovy and AOP Metaclass

http://chanwit.blogspot.com/2007/04/groovy-and-aop-metaclass.html

About anything interests me . Sunday, April 15, 2007. Groovy and AOP Metaclass. I've recently found John McClean's last year article. About AspectJ-like AOP model implemented in Groovy. In its comments, his readers posted that he should have a custom MetaClass to support his approach. I'm sure he probably did it because he's going to talk about AOP in Groovy at Grails Exchange. Probably after the Grails Exchange event, I can see his AOP code somewhere. Package org.plaop;. Def after = [:]. Def before = [:].

UPGRADE TO PREMIUM TO VIEW 15 MORE

TOTAL PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

aspect-chanwit.blogspot.com

การโปรแกรมเชิงลักษณะ: April 2008

http://aspect-chanwit.blogspot.com/2008_04_01_archive.html

บล๊อกเพื่อโปรโมตการพัฒนาซอฟต์แวร์ด้วย AOSD ในทุกขั้นตอนของการพัฒนา. Thursday, April 10, 2008. ตอนนี้ผมพยายามที่จะศึกษา formal definition ของภาษา AOP โดยใช้ภาษา MiniMAO. แต่ MiniMAO0 มีจุดพิเศษเพราะแยกความหมาย (semantics) ของ call และ execution ออกจากกัน เพื่อให้สะท้อนความหมายของ join point ให้ได้ดีขึ้นกว่าภาษาอื่น ๆ เช่น FGJ เป็นต้น. Subscribe to: Posts (Atom). Manchester, United Kingdom. View my complete profile.

grailsframework.blogspot.com

Groovy on Grails: May 2008

http://grailsframework.blogspot.com/2008_05_01_archive.html

Random experiences and discoveries using Groovy on Grails. Enjoy :). Thursday, May 29, 2008. This threw my brain for a loop. Groovy code using a " Execute Around Method. Date date = new Date("11/15/2007"). Closure date, "Your day is filled with ceremony". Closure date, "They're features, not bugs". You can curry to avoid sending date repeatedly. PostFortune = closure.curry(date). PostFortune "Your day is filled with ceremony". PostFortune "They're features, not bugs". TellFortunes() { date, fortune -.

roofimon.wordpress.com

เจ้าชายเลือดผสม กับ ผมตอนจักรยานคว่ำ | An Official Roofimon's Weblog

https://roofimon.wordpress.com/2009/07/18/เจ้าชายเลือดผสม-กับ-ผมตอ

An Official Roofimon’s Weblog. Wimbledon 2009 เด กไทยได แชมป. ครบสองป เตร ยมย ายออกจากเว ร ดเพรสและส งล กไปเน ร ซเซอร. เจ าชายเล อดผสม ก บ ผมตอนจ กรยานคว ำ. เอาเร องจ กรยานคว ำก อน ค นว นพ ธไ ด ร บโทรศ พท ให จ ดหา Storage ขนาดมหาเทพให เพ อนโดยม เง อนไขมาให ส ห าข อตอนแรกก หาเองทางอ นเทอร เน ทแต พบว าเป นเร องยากมากเลย ต องอาศ ยผ เช ยวชาญและอ กคร งต องขอบค ณ twitter ท ทำให ผมได มาซ งคำตอบ. อย างไรก ตาม “ไม ว าจะทำอะไรก ตาม อย าประมาท จงม สต ”. Filed under: จ กรยาน. Feed for this Entry. ร หร อเปล าว า.

aspect-chanwit.blogspot.com

การโปรแกรมเชิงลักษณะ: สรุปนิยามการโปรแกรมเชิงลักษณะ 2552

http://aspect-chanwit.blogspot.com/2009/01/2552.html

บล๊อกเพื่อโปรโมตการพัฒนาซอฟต์แวร์ด้วย AOSD ในทุกขั้นตอนของการพัฒนา. Thursday, January 29, 2009. สรุปนิยามการโปรแกรมเชิงลักษณะ 2552. Aspect-oriented programming หรือ AOP หรือที่ผมเรียกเป็นภาษาไทยว่า การโปรแกรมเชิงลักษณะ. นั้นเป็นแนวคิดที่สร้างขึ้นบนการโปรแกรมเชิงวัตถุหรือ OOP (หรืออาจจะบนการโปรแกรมเชิงโครงสร้างก็ได้) โดยมีจุดประสงค์หลักเพื่อแก้ปัญหาท&#...แปลและเรียบเรียงจาก Wikipedia. ที่สามารถทำให้อธิบายโปรแกรมได้อย่างชัดเจนด้วย. บน Onjava.com ของ Graham O'Regan ที่เขียนไว้เม&...Aspect-Oriented Programmi...

aspect-chanwit.blogspot.com

การโปรแกรมเชิงลักษณะ: การศึกษาความหมายของ proceed

http://aspect-chanwit.blogspot.com/2008/04/proceed.html

บล๊อกเพื่อโปรโมตการพัฒนาซอฟต์แวร์ด้วย AOSD ในทุกขั้นตอนของการพัฒนา. Thursday, April 10, 2008. ตอนนี้ผมพยายามที่จะศึกษา formal definition ของภาษา AOP โดยใช้ภาษา MiniMAO. แต่ MiniMAO0 มีจุดพิเศษเพราะแยกความหมาย (semantics) ของ call และ execution ออกจากกัน เพื่อให้สะท้อนความหมายของ join point ให้ได้ดีขึ้นกว่าภาษาอื่น ๆ เช่น FGJ เป็นต้น. Subscribe to: Post Comments (Atom). Manchester, United Kingdom. View my complete profile.

aspect-chanwit.blogspot.com

การโปรแกรมเชิงลักษณะ: Groovy และเมต้าคลาสที่สนับสนุน AOP

http://aspect-chanwit.blogspot.com/2007/04/groovy-aop.html

บล๊อกเพื่อโปรโมตการพัฒนาซอฟต์แวร์ด้วย AOSD ในทุกขั้นตอนของการพัฒนา. Sunday, April 15, 2007. Groovy และเมต้าคลาสที่สนับสนุน AOP. Subscribe to: Post Comments (Atom). Manchester, United Kingdom. View my complete profile.

aspect-chanwit.blogspot.com

การโปรแกรมเชิงลักษณะ: การโปรแกรมเขิงลักษณะในอีก 10 ปี

http://aspect-chanwit.blogspot.com/2007/04/10.html

บล๊อกเพื่อโปรโมตการพัฒนาซอฟต์แวร์ด้วย AOSD ในทุกขั้นตอนของการพัฒนา. Thursday, April 12, 2007. การโปรแกรมเขิงลักษณะในอีก 10 ปี. Panelists จากการประชุมวิชาการ AOSD 07 พูดเสนอมุมมองที่น่าสนใจหลาย ๆ อย่างเกี่ยวกับ AOP ในอีก 10 ปีข้างหน้าว่าจะมีรูปแบบอย่างไร ผมเลยสรุปและรวมเข้ากันกับแนวคิดที่เสนอโดย Keynote Speakers 2 คนจาก AOSD 07 เช่นกันคร&#3...Crosscutting Concerns ไม่จำเป็นต้องตัดขวางเฉพาะการไหลของโปรแกรม - ประเด็นนี้ค่อนข้างตรงใจผมครับ เนื...จุดหลัก ๆ อีกประเด็นที่ผมจ&...Subscribe to: Post Comments (Atom).

aspect-chanwit.blogspot.com

การโปรแกรมเชิงลักษณะ: March 2008

http://aspect-chanwit.blogspot.com/2008_03_01_archive.html

บล๊อกเพื่อโปรโมตการพัฒนาซอฟต์แวร์ด้วย AOSD ในทุกขั้นตอนของการพัฒนา. Wednesday, March 26, 2008. การใช้ Groovy AOP เพื่ออธิบายตรรกเชิงธุรกรรมในเกรลส์. เนื่องจากผมจะไปร่วมการประชุม AOSD '08 และไปนำเสนองานวิจัยใน SLAT 2008 workshop วันนี้ได้รับการบ้านมาหนึ่งชิ้นจากผู้จัด workshop โดยให้เตรียมการอธิบายสถานการณ์ในการพัฒนาซอฟต์แวร์ที่เจอมา ว&#365...การใช้ Groovy AOP เพื่ออธิบายตรรกเชิงธุรกรรมในเกรลส์. Def list = {. Def books = Book.list(). Render(view:'book', model:[books: books]). Def show = {. Def update = {.

aspect-chanwit.blogspot.com

การโปรแกรมเชิงลักษณะ: February 2008

http://aspect-chanwit.blogspot.com/2008_02_01_archive.html

บล๊อกเพื่อโปรโมตการพัฒนาซอฟต์แวร์ด้วย AOSD ในทุกขั้นตอนของการพัฒนา. Monday, February 11, 2008. ภาษา AOP ที่ใกล้ตัวเรามากที่สุด. เคยนั่งคิดเล่น ๆ กันมั้ยครับว่าภาษา AOP ที่เราใช้กันมากที่สุด คือภาษาอะไรและอยู่ในแอพพลิเคชั่นประเภทใด. ภาษา AOP ที่เราใช้กันมากที่สุดก็คือ CSS. ครับ และแน่นอนว่าอยู่ใน web browser นั่นเอง. Subscribe to: Posts (Atom). Manchester, United Kingdom. View my complete profile.

UPGRADE TO PREMIUM TO VIEW 22 MORE

TOTAL LINKS TO THIS WEBSITE

31

SOCIAL ENGAGEMENT

chanwit

OTHER SITES

chanwingyee.blogspot.com

無標題

View my complete profile. 32838;聽測驗. Thursday, May 26, 2005. Http:/ www.uhhooh.com/? Posted by 儀 @ 8:14 PM. Thursday, May 19, 2005. Http:/ www.liquidgeneration.com/sabotage/hearing sabotage.asp. Posted by 儀 @ 4:37 AM. Friday, May 13, 2005. Http:/ aero.ycis.edu.hk/ luijt/friends/a.htm. Posted by 儀 @ 7:14 PM.

chanwingyeefansclub.org

咏儀之友

請下載及填妥以下表格，電郵至這個 E-mail 地址已經被防止灌水惡意程式保護，您需要啟用 Java Script 才能觀看或郵寄至. Powered By Market-Pro Associates.

chanwinnie.com

Winnie Chan - Home

2013 - 2016 Worldly Possessions. 2012 - 2016 Wishlist. 2014 - 2016 Objects. 2007 - 2008 Still Life in Penzance. 8203;Winnie Paintings, clips and Biography. Create a free website.

chanwismaail47.skyrock.com

Blog de chanwismaail47 - Blog de chanwismaail47 - Skyrock.com

Mot de passe :. J'ai oublié mon mot de passe. Mise à jour :. Abonne-toi à mon blog! Ce blog n'a pas encore d'articles. Poster sur mon blog.

chanwit-nakhonsri.blogspot.com

Chanwit-Nakhonsri

เผยแพร่สาระเรื่องราวเพื่อสังคมจากการบันทึกของ.ชาญวิทย์-นครศรีฯ. ยินดีต้อนรับครับ. บล็อกนี้เป็นเป็นศูนย์รวมการเชื่อมโยง เว็บไซต์ และ บล็อก ที่พิจารณาแล้วว่าเป็นประโยชน์กับผู้เข้ามาเยี่ยมครับ. วันอาทิตย์ที่ 22 สิงหาคม พ.ศ. 2553. ศูนย์รวมบล็อกและเว็บไซต์ของ ชาญวิทย์นครศรีฯ. สวัสดีครับ สำหรับ Webblog นี้ จะเป็น Web ต้นทาง รวบรวม Blog และ Website ที่สร้างเอง และลิ้งไปยัง Web หรือ Blog ที่น่าติดตาม. เส้นทางเรียนรู้อันยาวไกล. กระบวนการจัดการความรู้. ลางสุก ผลไม้เทือกเขาหลวง. มังคุดคัด. คงต้องลัดข&#3...เว็...

chanwit.blogspot.com

CK's Blog

About anything interests me . Saturday, December 24, 2011. Learning to know Featherweight Java - An Easy Way. It's very long time since last my last post and I am still learning how to properly prove type soundness of a programming language. Here's a list of lectures. From Cornell that I've been reading and they're quite good to understand. Tuesday, February 09, 2010. Given an expression e, a type T and a dictionary TT. That maps variables to type, the notation. T = typecheck(TT, e). Q if P1 and P2 and P3.

chanwit.idt.rmutr.ac.th

Dr.Chanwit Boonchuay

Keep looking. Don't settle". Steve Job, 2005. AsstProf.Dr.Chanwit Boonchuay. ผศดรชาญว ทย บ ญช วย. Center for Electrical and Embedded System Technology (CEEST). Department of Electrical Engineering Technology,. Rajamangala University of Technology Rattanakosin, Thailand. Address: Petchkasem RD, Km 242, Nongkea, Hua Hin, Prachuap Khiri Khan, Thailand, 77110. Phone: 66 32 618 500 # 4039, Fax: 66 32 618 570,. DEng (Electric Power System Management), Asian Institute of Technology (AIT), Thailand, 2011.

chanwit36.blogspot.com

หลักธรรมทางพระพุทธศาสนา

อริยสัจ 4. พระพุทธศาสนาเป็นศาสนาที่บังเกิดขึ้นเพื่อช่วยเหลือมนุษย์ในโลกนี้. ให้หลุดพ้นจากความทุกข์. เพราะมนุษย์ต้องอยู่เป็นกลุ่มในสังคมที่ทุกคนยอมรับว่าเป็นสังคมที่มีความเจริญรุ่งเรือง. เพียบพร้อมไปด้วยอุปกรณ์อำนวยความสะดวกสบายในการดำรงชีพ. แต่ขณะเดียวกันก็เกิดความไม่สงบขาดความมั่นคงด้าน. ขาดหลักที่พึ่งทางใจทำให้มีปัญหาต่อการดำรงชีวิตของตนเองและส่วนรวม. และมีแนวทางการประพฤติปฏิบัติที่จะทำให้เกิดมงคลแก่ชีวิต. พุทธธรรมเพื่อชีวิตและสังคม. หลักธรรมทางพระพุทธศาสนามีเป็นจำนวนมาก. อริยสัจ ๔. ผู้น&#3...กิเ...

chanwitblog.blogspot.com

PB-LearningBlog

วันอาทิตย์ที่ 27 มิถุนายน พ.ศ. 2553. ติดตามการใช้ moodle e-Learning พิบูลวิทยาลัย. ท่านสามารถติดตามเทคนิค การใช้ moodle LMS สร้างบทเรียนผ่านอินเทอร์เน็ตได้จาก หัวข้อรายวิชา moodle pibul. ไม่มีความคิดเห็น:. วันพฤหัสบดีที่ 25 มีนาคม พ.ศ. 2553. อบรมเชิงปฏิบัติการ. Computer Notebook จะใช้ระบบ Wireless ของกลุ่มสาระการเรียนรู้วิทยาศาสตร์เชื่อมต่ออินเทอร์เน็ต. แบบทดสอบ เพื่อใช้ในการวัด/ประเมินผล การจัดการเรียนรู้. ไม่มีความคิดเห็น:. วันอาทิตย์ที่ 13 ธันวาคม พ.ศ. 2552. วันนี้ได้ทำ server ...

chanwitearth.blogspot.com

Knowledge Management System( KM ) Chanwit_Earth

Knowledge Management System( KM ) Chanwit Earth. โดย นาย ชาญวิทย์ อ้นสำราญ รหัส 52116940150 ตอนเรียน C1. ศัพท์น่ารู้เกี่ยวกับ KM. การเรียนรู้การดำเนินการ. การวิเคราะห์ข้อผิดพลาด. การติดต่อสื่อสาร. ที่ปรึกษาภายนอกองค์กร. สัญญาการเรียนรู้ร่วมกันระหว่างผู้เรียนกับผู้สอน. ผู้ที่คอยแนะนำและให้คำปรึกษา (พี่เลี้ยง). ประวัติส่วนตัว. 0 ความคิดเห็น. ส่งอีเมลข้อมูลนี้. แชร์ไปที่ Twitter. แชร์ไปที่ Facebook. คือ กลยุทธ์การจัดการความรู้. แบ่งออกเป็น 2 ประเภท ดังนี้. 2 สถานที่. คนทำงานที่มีภูม&...องค์กรที&...Explicit ...

chanwitelernning.blogspot.com

chanwit.elernning/การสร้างบล็อกของนักศึกษามหาวิทยาลัยสุวรรณภูมิ ศูนย์สุพรรณบุรี

Chanwit.elernning/การสร้างบล็อกของนักศึกษามหาวิทยาลัยสุวรรณภูมิ ศูนย์สุพรรณบุรี. วันจันทร์ที่ 23 มีนาคม พ.ศ. 2552. ประวัติบุคลากร. บุคคลากรประจำสาขาวิศวกรรมอิเล็กทรอนิกส์และโทรคมนาคม. ประวัติบุคลากรประจำสาขาวิศวกรรมอิเล็กทรอนิกส์และโทรคมนาคม(คลิกอ่าน). ไม่มีความคิดเห็น:. ประวัติสาขาวิศวกรรมอิเล็กทรอนิกส์และโทรคมนาคม. ประวัติสาขาวิศวกรรมอิเล็กทรอนิกส์และโทรคมนาคม. แผนกอิเล็กทรอนิกส์นั้นตั้งอยู่ที่มหาวิทยาลัยเทคโนโลยี...เท่านั้นและในปัจจุบันได้มีการพัฒน...ต่อเนื่อง ภาคปกติ เปิ...ต่อเนื่อง...ต่อเน&#36...