きくらげ観察日記

好きなことを、適当に。

2017-01-01から1ヶ月間の記事一覧

ムシャクシャしたのでテトリスを作った

Elm Products

ブログ移転しました。新しいサイトはこちら: genkami.github.io

型クラスのインスタンスが複数ある場合の話(Haskell編)

Haskell

ブログ移転しました。新しいサイトはこちら: genkami.github.io

implicit parameterによる型クラスの罠

Scala

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Smith-Waterman法で配列の局所アラインメントを求める

OCaml Algorithm

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Needleman-Wunsch法により配列の大域アラインメントを求める

Algorithm Gauche

ブログ移転しました。新しいサイトはこちら: genkami.github.io

OCamlの値の比較について

OCaml

ブログ移転しました。新しいサイトはこちら: genkami.github.io

OCamlのmatch文とbegin..end

OCaml

ブログ移転しました。新しいサイトはこちら: genkami.github.io

教養としてCOBOLに触れてみる

Others

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Prologでしょぼい型推論器みたいなものを作る

Prolog

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Prologならではのソートアルゴリズム

Prolog

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Coqで代数的データ型の各要素についての等式を得る

Coq

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Coqで等式の左右を入れ替える

Coq

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Coqのintrosでパターンマッチング

Coq

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Ubuntuで最新のnode.jsを使う

JavaScript

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Amazon Dash Buttonが届いたのでとりあえずツイートボタンにしてみた

JavaScript

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Quineの書き方

Others

ブログ移転しました。新しいサイトはこちら: genkami.github.io

書き初めQuineを書きました

JavaScript

ブログ移転しました。新しいサイトはこちら: genkami.github.io