ズッキーニのプログラミング実験場

プログラミング + アカデミック + 何か面白いこと。 記載されているものは基本的に私が所属する団体とは関係がありません。

Archive for the 'プログラミング' Category


   Jul 21

[mysql]バージョン確認方法

It’s easy to check. Login Type “select version();” That’s all.

続きを読む »

   Jul 14

[Ruby][Rspec]ファイル出力のテスト

やりたいこと Rspecでファイル出力するバッチのテストを書きたい。 プログラム バッチ mongoDBからデータをcsvファイルに出力する。 Rspec

続きを読む »

   Jul 13

[Coq]証明駆動開発で2値化 part1

やりたいこと 証明駆動開発で画像の2値化(白か黒の2種類の値のみにする)をする関数を作成してみる。 Coq とりあえず2値化関数をCoqで定義する。 証明が必要そうな内容は 関数を適用する前と後で配列の要素数に変化がない […]

続きを読む »

   Jul 04

[Haskell]バナナスプリット則 part1

やりたいこと 以下のバナナスプリット則の例を実装したい。 ・(|f|),(|g|)・=(|・f”F(π1),g”F(π2)・|) スクリプト Haskellでfoldrの結果をタプルで出力させ […]

続きを読む »

   Jul 02

[Haskell]インストール Ubuntu 13.04

haskellのインストール haskellを使ってみたくなったのでインストールしてみる。 インストールは非常に簡単。 簡単なプログラム なんとなくファイルの内容をそのまま出力するプログラムを書いてみる。 これを動かして […]

続きを読む »

   Jun 29

[Go]フィボナッチ数列を出力させてみる

Go言語でフィボナッチ数列を出力させてみる。 実行。

続きを読む »

   Jun 28

[Go]ubuntuにインストールする

Go インストール インストール aptで普通にインストールできる。 テストプログラム ワークスペース作成 ワークスペースを作成・設定してプログラム作成を行うのが管理しやすい。 そのためまずは、ワークスペースを作成する。 […]

続きを読む »

   Jun 27

[Javascript][Node.js][express]mongodbと連携させてみる

mongodbを使って値の保存、読み出しを使ったプログラムを作成してみる。 まずは expressを使用してひな形を作成する。 次にmongodbとの接続に使用するモデルを作成する。 これでmongoの接続ができるように […]

続きを読む »

   Jun 23

[Javascript][node.js]jsdomを使ってみる

node.js上でjqueryを使うにはjsdomとdomToHtmlを利用するらしい。 それらを利用してjqeuryでbody以下にp要素を新たに追加するコードを書いてみた。 コンテンツとして使用するhtmlファイルは […]

続きを読む »

   Jun 21

[Coq]リストのモナドを定義してみる

Coq リスト モナド リストモナドの定義 Haskellのモナドを定義してみることを考える。 まず、モナドに必要なのは以下の三つの性質である。 f(return(A),g) = g(A) f(A,return) = A […]

続きを読む »

   Jun 17

[Hadoop][Ruby]Hadoop Streaming 練習2

適当にユーザIDが3000万件あるファイルを作成して ユニークユーザ一覧を出力してみる。 次にMapperをrubyで書いてみる。 次にReducerを書く。 Hadoopで動かす前に動きを試してみる。 問題なさそうだ。 […]

続きを読む »

   Jun 16

[Hadoop][Ruby]Hadoop Streaming 練習

どのユーザがどの検索ワードを使用したかを表すログデータを 集計して検索ワードランキング用のデータを生成することを考える。 次にMapperをrubyで書いてみる。 次にReducerを書く。 Hadoopで動かす前に動き […]

続きを読む »

   Jun 15

[Node.js][Nginx]Node.jsのインストールと起動

Node.jsのインストール Node.jsをインストールしてnginxをリバースプロキシとして動作させてみる。 まずはNode.jsをインストールしてみる。 「\[\[ -s $HOME/.pythonbrew/etc […]

続きを読む »

   Jun 12

[CoffeeScript]HTML5のCanvasでアニメーション

とある統計のアルゴリズムの動きを視覚的に確認したいがために、 それの全段階としてCoffeeScriptとHTML5のCanvasでアニメーション処理を書いてみた。 まずmain.coffee。 次に、2次元のデータ点を […]

続きを読む »

   Jun 11

[Jenkins][Nginx]インストールしてみる

jenkins nginx

JenkinsをAmazonEC2のubuntu13上で稼働させたくてインストールしてみた。 1.Javaのインストール 2.nginxのインストール 3. jenkinsをインストール 4. Access http:/ […]

続きを読む »

   Jun 08

[Processing]カメラの利用方法

概要 Processing カメラ ProcessingでARプログラムを作成するためにカメラを利用するプログラムを作ってみる。 ソースコード 以下がそのソースコード。 Processingだとものすごく簡単にかけるから […]

続きを読む »

   Jun 02

[Backbonejs][Javascript]インストール

Backbone.jsの準備 まずは必要なライブラリのダウンロード。 次は、テスト用のhtmlとjsを作成。 動作確認して準備OK! coffee scriptを加えてみる ここを 参考にしてnpmを入れる。 packa […]

続きを読む »

   Jun 01

[Scala][Play2]EC2上にインストール

なんとなくscalaが使いたくなって入れてみた。 以上。

続きを読む »

   May 31

[Hadoop][Hive]EC2上のUbuntu12.04にインストールしてみる

Hiveをインストールしてみる。 とりあえず、動くところまで。 なんとか動いた。 hive-default.xml.templateになんでこんな閉じタグミスが多いんだろう?

続きを読む »

   May 30

[Javascript][Three.js]マウス操作

前回の記事のindex.htmlに新規部分を追加した以下のmain.jsを読みこませる。 結果は次のようになる。ドラッグで立方体が回転する。 Three.js面白いな。何か作ってみよう。

続きを読む »