Tech Tips

  1. 最近の記事
  1. プログラミング
  2. 655 view

ScalaとSbtのインストール

Scala Sbt インストールScalaはオブジェクト指向言語と関数型言語の両方の特徴を併せ持つハイブリッドな言語。SbtはScalaのビルドツール。プロジ…

  1. プログラミング
  2. 3915 view

Coqによる 証明駆動開発 超入門

証明駆動開発 とは証明駆動開発 とは証明によってプログラムが期待通りの性質を有しているかを確かめながら開発する手法のこと。ユニットテストの一部で使用可…

PAGE TOP