2012-01-01から1年間の記事一覧

Scilab画像処理(SIVP)

概要 SIVPというライブラリを用いると、Scilabで画像処理と動画処理が行える。 同様のライブラリとして、SIPもある。 両者の違いは、下記のとおり。 動画 開発 SIP × ImageMagic SIVP ○ OpenCV インストール 今回は、0.5.3をインストールする。 本家サイトか…

Scalaプログラミング

概要 スクリプト実行 Linux hello.scala #!/bin/bash exec scala -savecompiled "$0" "$@" !# println("Hello!") 後は、chmod +x で実行可能に設定すればシェルスクリプト形式で実行ができる。 #!〜!#の間は、シェルスクリプト形式で実行するのに必要。 実行…

ラムダ計算まとめ

概要 ラムダ式の定義 BNFによる定義 前提) 記号 identifier = {a,b,c,...,x,y,z,...} 1) ::= 2) ::= (λ.) (ラムダ抽象) 3) ::= () (関数適用) where, identifierは可算無限集合(自然数集合Nと濃度が同じ集合) 集合による定義 Vを可算無限個の変数の集…

Kleisli Triple

モナド(Monad) 次の性質を満たす三つ組(T,η,μ)のこと。 前提 関手 T : C→C 自然変換 η : Id → T, μ : T2 → T 以下の性質を持つ ここで、関手の合成をと書く。関手の射をと書く。 Kleisli Triple 圏C上のKleisli Tripleとは、次の性質を満たす三つ組(T,η,*)の…

GitHub

Git

参考リンク ナウなヤングのためのgithub入門講座 -基本機能からdotfiles管理まで- - tumblr

DB用ダミーデータ生成

DB用ダミーデータ生成サイト 個人情報生成 なんちゃって個人情報

Scala導入

概要 関数型言語+オブジェクト指向。 JVM上で動作する。今回は、2.9.1-finalをインストールする。 ダウンロード 本家@Download | The Scala Programming Language (scala-2.9.1.final.tgzをダウンロード) インストール パスを通せばよいらしい。 export SCA…

MRUnit導入

概要 MRUnit:MapReduceテスト用ライブラリ 今回は、0.5.0をインストールする。 ダウンロード ダウンロード(Apache):http://ftp.jaist.ac.jp/pub/apache//incubator/mrunit/stable/ インストール apache-commons-configuration apache-commons-lang がない…

Scilab導入

概要 Scilabとは、MATLABクローン(互換ではない)の数値計算システム。 Javaから呼べると聞いて導入してみた。 ダウンロード 今回は、5.3.3(Linux)をダウンロード ダウンロード(本家)@Home Page | www.scilab.org ※ OSは勝手に判断してくれるみたい イ…