気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
Whyインストールメモ - kencobaの日記
4 users
kencoba.hatenadiary.org
kencoba.hatenadiary.org
kencoba.hatenadiary.org
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
Whyツールの習得について( http://groups.google.co.jp/group/fm-forum/browse_thread/thread/6fbd1bc05... Whyツールの習得について( http://groups.google.co.jp/group/fm-forum/browse_thread/thread/6fbd1bc05aa8f999) ということで、 私もやってみた。 Whyというのはプログラムの検証用ツールなのだが、 プログラムコードにアサーションのように挿入したWhyのコードを もとに、プログラムを自動的に検証してくれるという、 なんだか素晴らしい仕組みを持っているのだ。 私の環境はUbuntu。 1.インストール Coq(apt-getでインストールできる)以外に必要なものは、 why-2.24.tar.gz(http://why.lri.fr/) いくつか追加でパッケージが必要。 全部sudo apt-get installでインストールしておく。 libocamlgraph-ocaml-dev(これがないとconfigur
kencoba.hatenadiary.org
kencoba.hatenadiary.org
kencoba.hatenadiary.org
kencoba.hatenadiary.org
www.roomie.jp
note.com/rosenkavalier
anond.hatelabo.jp
note.com/nobhori
togetter.com
anond.hatelabo.jp
zenn.dev/txxm
anond.hatelabo.jp
mond.how
techcommunity.microsoft.com
datsuo.side-story.net
www.nikkei.com
www.nikkei.com
2011/03/01 リンク