発表
Upcoming SlideShare
Loading in...5
×
 

発表

on

  • 1,210 views

 

Statistics

Views

Total Views
1,210
Views on SlideShare
1,067
Embed Views
143

Actions

Likes
0
Downloads
4
Comments
0

1 Embed 143

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

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

    • ranha(FLTV ATND ) 2009 8 31
    • • = • • • • DS 2009 8 31
    • 2009 8 31
    • • id : ranha • 2009 8 31
    • 2009 8 31
    • 2009 8 31
    • / • ? • ? 2009 8 31
    • • • • 2009 8 31
    • • ( ?) • 2009 8 31
    • http://f.hatena.ne.jp/kumajet/ 20090701122032 2009 8 31
    • • ( ) • (ICPC,TopCoder,Golf?) 2009 8 31
    • • • ( ) • 2009 8 31
    • 1 2 2009 8 31
    • • • • 2009 8 31
    • 1 2009 8 31
    • 1 • • • 2009 8 31
    • 2 2009 8 31
    • 2 • • • • 2009 8 31
    • 1 1 2009 8 31
    • • ( ) • ( ) • • 2009 8 31
    • • • Class • (Algebraic Data Types,Variant) • Abstract Data Types 2009 8 31
    • • Parametric Polymorphism • Subtyping Polymorphism(Object Oriented) • Ad-hoc Polymorphism(Overloading) • 2009 8 31
    • • (Garbage Collection) • ( ) • • • 2009 8 31
    • ? • ? 2009 8 31
    • • http://www.lbm.go.jp/toda/comp/struct.html • http://ja.wikipedia.org/wiki/Simula • http://ja.wikipedia.org/wiki/ALGOL • ( ?) 2009 8 31
    • Abstract Data Types • http://ja.wikipedia.org/wiki/CLU 2009 8 31
    • • http://ja.wikipedia.org/wiki/ALGOL • http://ja.wikipedia.org/wiki/LISP • http://ranha.tumblr.com/post/174924331 • 2009 8 31
    • • http://en.wikipedia.org/wiki/ Type_polymorphism • http://ja.wikipedia.org/wiki/Simula • http://www.springerlink.com/content/ x878vn91l4763752/ 2009 8 31
    • 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
    • • • 2009 8 31
    • 2009 8 31
    • 2009 8 31
    • 2009 8 31
    • • • • 2009 8 31
    • • • • • • 2009 8 31
    • ry • Prolog , Curry • • 2009 8 31
    • ry • PX , Nuprl • ( ) • • , = • 2009 8 31
    • • • http://www.jstage.jst.go.jp/browse/jssst/ 25/2/_contents/-char/ja/ • OBJ Series 2009 8 31
    • ( ) • ? • • • 2009 8 31
    • • • • != • 2009 8 31
    • 2009 8 31
    • • • Isabelle/HOL,Coq,Agda2,PVS • 2009 8 31
    • 2009 8 31
    • = • • • 2009 8 31
    • = • • : Agda2 QuickSort • 2009 8 31
    • • ! ! • 2 2009 8 31
    • • • : • / ADV 2009 8 31
    • • • 2009 8 31
    • 2009 8 31