2008-04-28から1日間の記事一覧
まあフツーの型付けの話.そりゃあそうでしょうとしか.いまいちピンと来なかったのは,Core Calculusだけだったからか,ちゃんと証明を読んでないからか.先日,バイオリンを近所で評判の工房で診てもらったんですが,そのときそこのおっさんが言ってたのが…
なんでそこに食いつくんだよ.
まあフツーの型付けの話.そりゃあそうでしょうとしか.いまいちピンと来なかったのは,Core Calculusだけだったからか,ちゃんと証明を読んでないからか.先日,バイオリンを近所で評判の工房で診てもらったんですが,そのときそこのおっさんが言ってたのが…
なんでそこに食いつくんだよ.