zuqqhi2のIT日記

プログラミング + アカデミック + 何か面白いこと

   Mar 25

Proof Driven Development with Coq

by zuqqhi2 at 2015年3月25日
Pocket

Under construction…

Related Posts

  • 2013年6月21日 [Coq]Try to define Monad of list Coq リスト モナド リストモナドの定義 Haskellのモナドを定義してみることを考える。 まず、モナドに必要なのは以下の三つの性質である。 f(return(A),g) = g(A) f(A,return) = A f(f(A, g),h) = […]
  • 2014年6月15日 [Algorithm]Solve Maze By Depth-First Search 目的 深さ優先探索 […]
  • 2013年7月13日 [Coq]Binarize with Proof Driven Development part1 やりたいこと 証明駆動開発で画像の2値化(白か黒の2種類の値のみにする)をする関数を作成してみる。 Coq とりあえず2値化関数をCoqで定義する。 […]
  • 2013年3月29日 [gitflow]How to install home directory git-flowのインストール 以下のようにやるとうまく動いた。 git-flowの参考URL http://qiita.com/items/b4d9331ec3952dbe5205 git-flowのインストール It seems to work […]
  • 2013年6月15日 [Node.js][Nginx]Install and boot Node.js Node.jsのインストール Node.jsをインストールしてnginxをリバースプロキシとして動作させてみる。 まずはNode.jsをインストールしてみる。 「\[\[ -s $HOME/.pythonbrew/etc/bashrc […]
  • gitweb2013年8月28日 やりたいこと Ubuntu 12.04 LTS上にGitの共用リポジトリを作成して、 gitwebをWebUIとして入れて複数人でプライベートで共同開発したい。 Gitのリモートリポジトリの作成 Gitのインストール Gitのインストールは単純に […]
Pocket

You can follow any responses to this entry through the RSS 2.0 feed. Both comments and pings are currently closed.