Personal memorandum for studying functional languages, theorem proving, and formal verification. But other topics might be included. Written in Japanese (Shift-JIS Encoding). sbt (simple-build-tool) は Scala で書かれたビルドツールです。 これもscalaで書かれたDSL的なツールであり、プロジェクトのビルドの設定などをscalaで記述する事が出来たりします。 試しに使ってみて、使い方が判ったら追記していこうと思います。 ★インストール Setupのページに従い作業します。 私は MacOS ユーザなので Unix の指示に従い作業。 まずsbt-launcher-0.5.1.jar をダ