Skip to main content

Home/ SmartGuys/ Group items tagged education

Rss Feed Group items tagged

Ken Wakita

Helping kids learn via games: Microsoft donates $15 million to new education effort - G... - 0 views

  •  
    いったいどうすれば,ゲーム感覚で勉強できるんでしょうね.
Ken Wakita

あなたの家にも太陽を - 0 views

  •  
    文科省さまがこんなキャンペーンを.金環蝕も近いことだし,大判に印刷して貼っておきたいな.太陽に関する用語集もあるんだそうです.
Ken Wakita

SASyLF: An Educational Proof Assistant for Language Theory - 0 views

  •  
    LFやTwelfの流れを汲む証明系。証明木が見易いのが売りのようです。 [Types ML より] If you're planning to teach a programming language or logic foundations course and are thinking about using a proof assistant, you might consider SASyLF. SASyLF (Second-order Abstract Syntax Logical Framework) is an LF-based proof assistant that the same logical foundation and many of the same advantages as Twelf (in particular, variable binding is "built in"). However, it uses a syntax very close to that used for proofs on paper, giving the tool a much gentler learning curve--and much better error messages--than many alternatives.
Ken Wakita

Computer Science 732: Type Systems for Programming Languages (Fall 2008) - 0 views

  •  
    SASyLF を採用した CMU での型理論の講義実施例
1 - 4 of 4
Showing 20 items per page