- プログラミング
- 284 view
[Coq]証明駆動開発で2値化 part1
やりたいこと証明駆動開発で画像の2値化（白か黒の2種類の値のみにする）をする関数を作成してみる。Coqとりあえず2値化関数をC…
- 最近の記事
- ランキング一覧
- 要素技術
- 2223 view
[Haskell]反転画像の生成
やりたいこと前回まででPGM形式の画像の出力、読み込みができるようになったから、今度は画像処理をやってみる。今回は一番簡単な、反転画像を作る。…
- 要素技術
- 273 view
[Haskell]PGMファイルを読み込む part2
やりたいこと昨日まででヘッダーは読み込めるようになったため、今度はピクセルの情報を読みだす。プログラムプログラムは以下の感じ。…
- 要素技術
- 232 view
[Haskell]PGMファイルを読み込む part1
やりたいことHaskellでPGMファイルを生成することができたから、今度は入力出来るようにしてみたい。プログラムとりあえずヘ…
- 要素技術
- 1117 view
[Haskell]PGMファイルを生成する part3
やりたいこと昨日まででランダムな配列を作成することが出来るようになったから、出力の形式を整えてPGMファイルを生成する。プログラム…
- 要素技術
- 1108 view
[Haskell]PGMファイルを生成する part2
昨日の続きでHaskellでPGMファイルを生成してみる。今日は、乱数列を生成してみた。import System.IOimport System…
- 要素技術
- 286 view
[Haskell]PGMファイルを生成する part1
やりたいこと今後Haskellで画像処理をするためにPGMファイルを生成させてみる。プログラムまずはヘッダを出力するところまで…
- プログラミング
- 253 view
[Haskell]バナナスプリット則 part1
やりたいこと以下のバナナスプリット則の例を実装したい。・(|f|),(|g|)・=(|・f"F(π1),g"F(π2)・|)…
- 機械学習・AI
- 1073 view
[R]k-meansでirisをクラスタリングしてみる
やりたいことRという統計処理用の言語を使ってデータを適当にグループ分けしてみる。準備Rをubuntu13.04にインストールす…
- プログラミング
- 263 view
[Haskell]インストール Ubuntu 13.04
haskellのインストールhaskellを使ってみたくなったのでインストールしてみる。インストールは非常に簡単。$sudo …
- プログラミング
- 781 view
[Go]フィボナッチ数列を出力させてみる
Go言語でフィボナッチ数列を出力させてみる。package mainvar ch = make(chan int)var array int…
- プログラミング
- 287 view
[Go]ubuntuにインストールする
Go インストールインストールaptで普通にインストールできる。$ sudo apt-get install golang-g…
- プログラミング
- 521 view
[Javascript][Node.js][express]mongodbと連携させてみる
mongodbを使って値の保存、読み出しを使ったプログラムを作成してみる。まずはexpressを使用してひな形を作成する。$express …
- プログラミング
- 3026 view
[Javascript][node.js]jsdomを使ってみる
node.js上でjqueryを使うにはjsdomとdomToHtmlを利用するらしい。それらを利用してjqeuryでbody以下にp要素を新たに追加するコー…
- プログラミング
- 347 view
[Coq]リストのモナドを定義してみる
Coq リスト モナドリストモナドの定義Haskellのモナドを定義してみることを考える。まず、モナドに必要なのは以下の三つの性質である。…
- プログラミング
- 529 view
[Hadoop][Ruby]Hadoop Streaming 練習2
適当にユーザIDが3000万件あるファイルを作成してユニークユーザ一覧を出力してみる。cat uu_input/inputuser_id | hea…
- プログラミング
- 205 view
[Hadoop][Ruby]Hadoop Streaming 練習
どのユーザがどの検索ワードを使用したかを表すログデータを集計して検索ワードランキング用のデータを生成することを考える。ナス,193032お弁当,3…
- プログラミング
- 294 view
[Node.js][Nginx]Node.jsのインストールと起動
Node.jsのインストールNode.jsをインストールしてnginxをリバースプロキシとして動作させてみる。まずはNode.jsをインストールし…
- 機械学習・AI
- 670 view
[CoffeeScript]多次元尺度構成法
やりたいこと多次元尺度構成法とは多次元のデータを少ない次元で表現する方法。データ間の距離の関係だけを見て決める。この多次元尺度構成法のデモ…
- プログラミング
- 10628 view
Google Calendar API で自分のカレンダーの予定を取得する方法
トップのスクリーンショットにあるように、自分の Google Calendar にある直近の予定を Bot (Python) で取得しようと思いやり方を調べて…
- プログラミング
- 10153 view
SSL 自己証明書の作成と AWS Application Load Balancer への設定
たまに、技術検証用として、openssl コマンドで自己証明書（RSA）を作成して Web サーバ等に設定したりしています。しかし、コマンドが覚えられ…
- プログラミング
- 5386 view
[Node.js]バッチスクリプトの書き方
はじめにこの記事はNode.js Advent Calendar 2016の16日目の記事です。やりたいことごくたまにNode…
- 機械学習・AI
- 5220 view
Tensorboardを使ってニューラルネットワークと学習の状況を可視化する
はじめにtensorflowやtflearnでモデルを作っていると、ネットワークを図にしたり学習の進み具合をさくっとグラフにしてくれるツールがあると便…
- プログラミング
- 4955 view
[Ruby][Rspec]ファイル出力のテスト
やりたいことRspecでファイル出力するバッチのテストを書きたい。プログラムバッチmongoDBからデータをcsv…
- プログラミング
- 4839 view
[Shell][Bash]BashでTry Catch Finally
背景最近、業務でのプログラミングにて、シェルで書いた方が動くものが楽に書ける場合が多々ある。ただシェルだとエラーハンドリング周りが若干面倒なので、Tr…
- 要素技術
- 4548 view
[PCL][Python][CPP]Python PCL (Point Cloud Library)のインストールとサンプル実行
概要PCL（点群処理ライブラリ）のが出たということで触って見た。まだ python pcl でできる部分は少ないみたい。EnvLinu…
- プログラミング
- 4448 view
[Nginx][Cronolog]手軽にログローテションする
概要Cronologを使えば手軽にログローテションができたから、その構築メモ。環境OSLinux www4322gi 3.…
- プログラミング
- 4143 view
[Hive]rankを使ってカテゴリごとに上位数件を抽出するクエリ
hiveでタイトルのようなことを実現するクエリを紹介する。これにはrank関数という関数を利用することで実現できる。rankを利用しない場合は以下のように複数の…
- プログラミング
- 4065 view
[Python] python urllib 2のインストール
本のコードを写経していて python urllib 2が必要なのだが、なぜかpipでurllib2を検索しても出て来なくて、urllib3しかないっぽいから…
- プログラミング
- 3919 view
Coqによる 証明駆動開発 超入門
証明駆動開発 とは証明駆動開発 とは証明によってプログラムが期待通りの性質を有しているかを確かめながら開発する手法のこと。ユニットテストの一部で使用可…
- プログラミング
- 3709 view
LeetCode で解いた問題数が 300 を超えました
去年に転職をしたのですが、選考の過程でコーディングの面接や Web テストがあるかもしれないと思い、LeetCode というコーディングの問題を解いて腕試しで…
- プログラミング
- 3509 view
[Play][Scala]PlayFrameworkでリクエスト駆動のバッチを作る
はじめにこの記事はScala Advent Calendar 2016の21日目の記事です。解決したい問題PaaSをよく利用す…
- プログラミング
- 3381 view
[Test][ShellScript]シェル(Bash)で shunit2 shcov を使ってテストを書いてC0カバレッジを測る
概要シェルスクリプトでもTDDするためにテストコードを書いてカバレッジ測定をする。テストにはshunit2を使用し、カバレッジ測定にはshcovを利用…
- 要素技術
- 3307 view
Excel2010を使って t検定 で新手法と旧手法の差を統計的に調べる
統計的に新手法が既存手法に比べて優れているかどうかを確認するのにはt検定を使う。 t検定はExcelで簡単に実行することができるためその方法を紹介する。ABテ…