発表
Upcoming SlideShare
Loading in...5
×
 

Like this? Share it with your network

Share

発表

on

  • 1,226 views

 

Statistics

Views

Total Views
1,226
Views on SlideShare
1,082
Embed Views
144

Actions

Likes
0
Downloads
4
Comments
0

1 Embed 144

http://d.hatena.ne.jp 144

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

発表 Presentation Transcript

  • 1. ranha(FLTV ATND ) 2009 8 31
  • 2. • = • • • • DS 2009 8 31
  • 3. 2009 8 31
  • 4. • id : ranha • 2009 8 31
  • 5. 2009 8 31
  • 6. 2009 8 31
  • 7. / • ? • ? 2009 8 31
  • 8. • • • 2009 8 31
  • 9. • ( ?) • 2009 8 31
  • 10. http://f.hatena.ne.jp/kumajet/ 20090701122032 2009 8 31
  • 11. • ( ) • (ICPC,TopCoder,Golf?) 2009 8 31
  • 12. • • ( ) • 2009 8 31
  • 13. 1 2 2009 8 31
  • 14. • • • 2009 8 31
  • 15. 1 2009 8 31
  • 16. 1 • • • 2009 8 31
  • 17. 2 2009 8 31
  • 18. 2 • • • • 2009 8 31
  • 19. 1 1 2009 8 31
  • 20. • ( ) • ( ) • • 2009 8 31
  • 21. • • Class • (Algebraic Data Types,Variant) • Abstract Data Types 2009 8 31
  • 22. • Parametric Polymorphism • Subtyping Polymorphism(Object Oriented) • Ad-hoc Polymorphism(Overloading) • 2009 8 31
  • 23. • (Garbage Collection) • ( ) • • • 2009 8 31
  • 24. ? • ? 2009 8 31
  • 25. • http://www.lbm.go.jp/toda/comp/struct.html • http://ja.wikipedia.org/wiki/Simula • http://ja.wikipedia.org/wiki/ALGOL • ( ?) 2009 8 31
  • 26. Abstract Data Types • http://ja.wikipedia.org/wiki/CLU 2009 8 31
  • 27. • http://ja.wikipedia.org/wiki/ALGOL • http://ja.wikipedia.org/wiki/LISP • http://ranha.tumblr.com/post/174924331 • 2009 8 31
  • 28. • http://en.wikipedia.org/wiki/ Type_polymorphism • http://ja.wikipedia.org/wiki/Simula • http://www.springerlink.com/content/ x878vn91l4763752/ 2009 8 31
  • 29. Garbage Collection • http://en.wikipedia.org/wiki/ Garbage_collection_%28computer_science %29 • http://www-formal.stanford.edu/jmc/ recursive.html • invented by John McCarthy around 1959 2009 8 31
  • 30. • • 2009 8 31
  • 31. 2009 8 31
  • 32. 2009 8 31
  • 33. 2009 8 31
  • 34. • • • 2009 8 31
  • 35. • • • • • 2009 8 31
  • 36. ry • Prolog , Curry • • 2009 8 31
  • 37. ry • PX , Nuprl • ( ) • • , = • 2009 8 31
  • 38. • • http://www.jstage.jst.go.jp/browse/jssst/ 25/2/_contents/-char/ja/ • OBJ Series 2009 8 31
  • 39. ( ) • ? • • • 2009 8 31
  • 40. • • • != • 2009 8 31
  • 41. 2009 8 31
  • 42. • • Isabelle/HOL,Coq,Agda2,PVS • 2009 8 31
  • 43. 2009 8 31
  • 44. = • • • 2009 8 31
  • 45. = • • : Agda2 QuickSort • 2009 8 31
  • 46. • ! ! • 2 2009 8 31
  • 47. • • : • / ADV 2009 8 31
  • 48. • • 2009 8 31
  • 49. 2009 8 31