2015-01-01から1年間の記事一覧
とある用事でSML#を使う必要があったのですが、自分が仮想環境で利用していたLinux MintにSML#を導入するのにかなり苦労してしまいました。というのも現在リリースされているSML#は32bit版なのに対し、SML#のコンパイルと実行に必要なライブラリがデフォルト…
とある用事でSML#を使う必要があったのですが、自分が仮想環境で利用していたLinux MintにSML#を導入するのにかなり苦労してしまいました。というのも現在リリースされているSML#は32bit版なのに対し、SML#のコンパイルと実行に必要なライブラリがデフォルト…