- プログラミング
- 3173 view
Coqによる 証明駆動開発 超入門
証明駆動開発 とは証明駆動開発 とは証明によってプログラムが期待通りの性質を有しているかを確かめながら開発する手法のこと。ユニットテストの一部で使…
証明駆動開発 とは証明駆動開発 とは証明によってプログラムが期待通りの性質を有しているかを確かめながら開発する手法のこと。ユニットテストの一部で使…
elasticsearch インストール ubuntuインストールhttp://www.elasticsearch.org/over…
コマンドのみsudo vim /etc/hadoop-0.20/conf/hadoop-env.shexport JAVA_HOME=/usr/…
Goal次のことをやる。RabbitMQをUbuntuインストールする(12.04)サンプルRubyクライントを動かすWeb…
Goal既存のMongoDBをMeteor.jsで利用する。EnvironmentOSLinux versio…
Meteor.jsMeteor.jsはJavascriptのサーバサイドフレームワークの1つ。Node.jsをベースにしているが、いろ…
目的Leap Motionは手の動きを検出するデバイス。今回はJavascriptからLeap Motionを使ってみる。ソースコードはここから拝…
Target1. Webカメラで動画取得2. その動画にシンプルな背景差分を適用EnvironmentOSWindows …
TargetOBJ形式の3Dモデルの表示とそのマウス操作EnvironmentOSLinux 2.6.32-279.el6…
Target一番リツイート数が多いツイートを自動的にリツイートする。EnvironmentOSLinux 2.6.32-2…
TargetHaskellでGoogle Complete Suggestion APIの結果(XML)をパージングして、候補クエリの配列(の形を…
Background会社でWebページに設置するウィジェットの開発をしているときに、目検でチェックをしていて嫌になったからimage_matchっ…
Background会社でSelenium RCを使って自動ブラウザテストをしています。たまに手順を忘れてしまうのでメモ。Environ…
東京Node学園際2014でLTしてきた。以下そのスライド。 20141115_node_school_festival_lt from Hid…
概要Javascriptは利用方法によるけど運用が難しい言語だと思ってる。jslintを使用するとコードの品質(?)をチェックすることが出来る。開…
概要タイトルのまま。ATNDというイベント開催支援サイトからイベント情報を取り出してMySQLに入れてみる。環境OSLin…
背景最近、業務でのプログラミングにて、シェルで書いた方が動くものが楽に書ける場合が多々ある。ただシェルだとエラーハンドリング周りが若干面倒なので、…
概要Cronologを使えば手軽にログローテションができたから、その構築メモ。環境OSLinux www4322gi 3.…
概要Twitter Bootstrapを使ってページを作成するときに、navbarの色を変更したかったけど記事が見つからなくて自力でやったからその…
概要Elastic Searchクラスタが内部ネットワークからしかアクセスできないようになっていて、そのためにリバースプロキシ経由でKibanaか…