はてなブックマーク

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

ビルド結果の通知等を行ないたい場合は、werkecr stepからnotifyを含むstepを探してみるといいと思います。個人的にはwercker-step-http-notifyがオススメです:D。 おまけ: カスタムboxの作り方 werckerは非常に自由度が高いので、今回のように独自の処理系をインストールした環境をあらかじめ作っておくことができます。 これはCreating your own boxes with Bashにあるようにwerkecr-box.ymlを書くことで実現できます。 今回は、以下のようにUbuntu 12.04の上に依存パッケージ(libc6とgmp)を導入し、SML#のサイトで配布しているdebからSML#コンパイラのインストールを行なっています。 name: smlsharp-box version: 1.0.0 inherits: wercker/ub

http://hal.archives-ouvertes.fr/docs/00/40/77/78/PDF/RT-367.pdf のざっくりした訳 方針 正確な訳にするよりも、意味がつかめる訳に。(時間がないので) パラグラフは崩さない 訳語の統一とかはあとで考える tacticもtacticsもタクティクスと訳してしまってるのは、あとでなんとかします。 イントロダクション ssreflectはCoqをベースにした言語です SSreflectはCoqをベースにした証明を行なうための形式言語です。Coqを定義言語と使いつつ、追加のタクティクス(推論や長い証明を書くのに便利なやつ)を提供します。 また既にこの拡張は非常に効果的であると実証されています。(参考: ssreflectを利用した4色定理の証明) ssreflectの追加したタクティクスはほとんどありません。ただし各タクティクスを組合せ

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

RubyはともかくCで書かれた拡張ライブラリになるとかなりOS固有の部分がでてきます。 例えばfoo_ext.bundleとbar_ext.bundleが同名の関数fを定義していると、シンボルの束縛がうまくいかず、意図したfが呼ばれないことがあります。 確認方法 DYLD_PRINT_BINDINGS環境変数をYESにして実行すると、各シンボルがどのように解決されているかを確認できます。 $ DYLD_PRINT_BINDINGS=YES ruby app.rb 2>&1 | grep _f dyld: lazy bind: foo_ext.bundle:0x105C55010 = foo_ext.bundle:_f, *0x105C55010 = 0x105C54E90 dyld: lazy bind: bar_ext.bundle:0x105C88010 = foo_ext.bundl

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?