configureは終わって、makeするとエラーする。 make[2]: Entering directory `/c/Installed/polyml-github/libpolyml' /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -O3 -mthreads -I../libffi/include -DUNICODE -D_UNICODE …

FQLもQuatomaticもグラフ描画には、Java Jungを使っているようだ。 http://jung.sourceforge.net/ Jungの開発は止まっているみたい。http://stackoverflow.com/questions/6162618/java-graph-library-for-dynamic-visualisation にグラフライブラリが色々あ…

Isabelleの ./conrib/polyml-5.6-1/x86[_64]-windows/ のlibgmp*.dllは、 GNU Multi-Precision Library（GMP）のライブラリだ。

Isabelleの ./conrib/polyml-5.6-1/x86-windows/polyc を手直しして ~/bin/polyc32 とした。動くようになったが、色々とまだ不便。 #!/bin/sh IsabelleHome=/c/Installed/Isabelle2016/ PolymlVer=5.6-1 Missing=missing PolySuffix=poly prefix=${IsabelleH…

言語仕様がちゃんと定義されていて、処理系もたくさんある ( http://sml-family.org/) のに、なんか残念感がただよう。 パッケージマネージャがあるにはあるが (https://github.com/standardml/smackage)、使われている形跡がない。 パッケージングの方法が…

WikiPedia Isabelle -- https://en.wikipedia.org/wiki/Isabelle_%28proof_assistant%29 Isabelle -- https://isabelle.in.tum.de/ https://isabelle.in.tum.de/community/Main_Page http://isabelle.in.tum.de/repos/isabelle/ http://www.isa-afp.org/ htt…

2016-05-27 - 檜山正幸のキマイラ飼育記 メモ編の日からQuantomaticのメモがある。この日より前にインストールはしてるはず。日付は忘れたが、 Quantomaticをインストール Isabelleと関係ありそうだと気づく。 Isabelleをインストール Isabelleすごい！ と感…