競技プログラミング+αなブログ
競技プログラミング+αなブログ
読者になる

競技プログラミング+αなブログ

2012-01-20から1日間の記事一覧

2012-01-20

計算機科学実験及演習4「プログラム検証」

大学

OCaml演習 初めてOCamlを触った。 というか関数型プログラミング自体Scheme以来なわけで苦労した。 しかし実験資料が割と丁寧でそこまでつまづくことなくできた。 (SKIコンビネータと与えられた型を持つような関数の定義は思いっきりつまづいたが) インタ…

はてなブックマーク - 計算機科学実験及演習4「プログラム検証」
プロフィール
id:sune2 id:sune2
読者です 読者をやめる 読者になる 読者になる
このブログについて
検索
リンク
  • はてなブログ
  • ブログをはじめる
  • 週刊はてなブログ
  • はてなブログPro
最新記事
  • Lexicographically Minimal String Rotation (Booth's Algorithm)
  • AtCoderList
  • yukicoder No.78 クジ付きアイスバー
  • KUPC2014
  • Convex Hull Trick
月別アーカイブ
  • ▼ ▶
    2015
    • 2015 / 6
    • 2015 / 3
  • ▼ ▶
    2014
    • 2014 / 11
    • 2014 / 7
    • 2014 / 3
    • 2014 / 1
  • ▼ ▶
    2013
    • 2013 / 12
    • 2013 / 10
    • 2013 / 7
    • 2013 / 6
    • 2013 / 5
    • 2013 / 3
    • 2013 / 2
    • 2013 / 1
  • ▼ ▶
    2012
    • 2012 / 12
    • 2012 / 11
    • 2012 / 10
    • 2012 / 9
    • 2012 / 8
    • 2012 / 7
    • 2012 / 6
    • 2012 / 4
    • 2012 / 3
    • 2012 / 2
    • 2012 / 1
  • ▼ ▶
    2011
    • 2011 / 12
    • 2011 / 11
    • 2011 / 10
    • 2011 / 9
    • 2011 / 8
    • 2011 / 7
競技プログラミング+αなブログ 競技プログラミング+αなブログ

Powered by Hatena Blog | ブログを報告する

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる