温州蜜柑

ラムダ計算まとめ

概要 ラムダ式の定義 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,η,*)の…

MRUnit導入

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

Asakusaインストール

概要 インストール 本家スタートガイド@Asakusa Framework スタートガイド — Asakusa Framework v0.2.6-r1 documentation

Groovy導入

概要 ダウンロード http://groovy.codehaus.org/ 今回は、groovy-1.8.5をダウンロード インストール ダウンロードしたファイルを解凍後、適当なフォルダに配置。 環境パスの設定 GROOVY_HOME=設置したパス/groovy-1.8.5 PATH=$PATH:$GROOVY_HOME/bin # Java…

Maven+Mahout+Eclipseインストール

概要 ※ 今回は、3.0.3をインストールした。 Mavenダウンロード Maven本体@Maven – Download Apache Maven Maven to Eclipse(M2E)@http://m2eclipse.sonatype.org/archived-releases.html M2E直リン@http://m2eclipse.sonatype.org/sites/m2e/0.12.1.20110…

MapReduceデザインパターン

目次 概要 in-mapper conbinerパターン 参考サイト TODO テンプレ 概要 Hadoop MapReduce デザインパターン ―MapReduceによる大規模テキストデータ処理の3章の簡単なまとめ。 in-mapper combinerパターン 処理の概要 Mapper ↓ ローカル(各ノード) ---------…

HSearchライブラリ

目次 概要 ダウンロード Eclipseからの利用 使い方 参考 TODO 概要 NoSQLサーチエンジン。 ビッグデータのリアルタイムサーチ。 プロジェクト目標:1000億以上のレコードのインデックス。 HBase利用。 要は、HBase利用の為のライブラリ。 現行Ver.0.90(2011/…

Seasar2プログラミング

目次 事始め(Eclipse) プログラミング インジェクション コンストラクタインジェクション メソッドインジェクション セッターインジェクション OGNL 参考 TODO 事始め(Eclipse) インストール=>Seasar2インストール - オボエガキ用Eclipseの【Doltengプロジェ…

HBaseプログラミング

目次 テーブル操作 テーブル作成 注意 参考サイト テーブル操作 // 設定ファイル関連の読み込みとかを行う。 // HBaseの設定ファイル(hbase-site.xml)情報を、Hadoopの設定ファイル情報(Configuration)に追加する。 Configuration conf = HBaseConfiguration…

束論まとめ

束論まとめ 束 が束(lattice)であれば、下記の1,2を満たす。 二元の結びの存在(結び半束(join-semilattice)) , は二元集合 二元の交わりの存在(交わり半束(meet-semilattice)) , は二元集合