なんだこれ。ものすごいよくまとまってそう。あとで読む

ujihisaujihisa のブックマーク 2007/11/20 02:30

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)

    筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは,「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」(円周率計算のことではない)など,多くのプログラマにと...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう