Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
OCaml
OCaml Meeting 2010
id:yoshihiro503

@yoshihiro503
   ocaml-nagoya
   ProofCafe(     )

   Fomal Method

            Scala, CSNagoya, RWH
OCaml

INRIA

        : Xavier Leroy, Jacques Garrigue,...
OCaml             Haskell
 Scheme
             Standard ML
javascript       SML#


             Scala   F#    haXe
: ocaml

             : ocamlc

          : ocamlopt
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
  |
  |
  | let   match    if
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
  |
  |
  | let   match    if
  |
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
  |
  |
  | let   match    if
  |
  |
λterm ::=
  | x
  | λterm λterm
  | fun x -> λterm
  |
  |
  | let   match    if
  |
  |
  |                   ←   !
OCaml


null



       Coq
OCaml Twitter

ocamltter (http://github.com/yoshihiro503/ocamltter)
ocaml                  Twitter

           bot
http://ocaml.jp/

 @dico_leque
IT

          OCaml




     24
OCaml



        (Coq)
Coq

13:15 - 17:30



                 9F
Ocamlmeeting2010
Upcoming SlideShare
Loading in …5
×

Ocamlmeeting2010

1,419 views

Published on

  • Be the first to comment

Ocamlmeeting2010

  1. 1. OCaml OCaml Meeting 2010
  2. 2. id:yoshihiro503 @yoshihiro503 ocaml-nagoya ProofCafe( ) Fomal Method Scala, CSNagoya, RWH
  3. 3. OCaml INRIA : Xavier Leroy, Jacques Garrigue,...
  4. 4. OCaml Haskell Scheme Standard ML javascript SML# Scala F# haXe
  5. 5. : ocaml : ocamlc : ocamlopt
  6. 6. λterm ::= | x | λterm λterm | fun x -> λterm
  7. 7. λterm ::= | x | λterm λterm | fun x -> λterm | | | let match if
  8. 8. λterm ::= | x | λterm λterm | fun x -> λterm | | | let match if |
  9. 9. λterm ::= | x | λterm λterm | fun x -> λterm | | | let match if | |
  10. 10. λterm ::= | x | λterm λterm | fun x -> λterm | | | let match if | | | ← !
  11. 11. OCaml null Coq
  12. 12. OCaml Twitter ocamltter (http://github.com/yoshihiro503/ocamltter) ocaml Twitter bot
  13. 13. http://ocaml.jp/ @dico_leque
  14. 14. IT OCaml 24
  15. 15. OCaml (Coq)
  16. 16. Coq 13:15 - 17:30 9F

×