きくらげ観察日記

好きなことを、適当に。

ブログをGithub Pagesに移転しました

タイトルの通り。genkami.github.io人生で4回目のブログ移転です。ローカルで記事を編集できる + Disqus使えばコメント欄もつけることができる + ブログじゃないので全く関係ないページも作れるというのに惹かれて移転してしまいました。 このブログの記事も…

Gaucheでセッターを定義する

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

楽天で買い物した時に出るメルマガ購読のチェックボックスを自動で外す

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

PFDSを読む: Binomial Heap

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

【重要】MacBookを手に入れたら真っ先にインストールするべき最強アプリn選

Mac

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

githubにssh接続できない

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

PFDSを読む: Weight-biased Leftist Heap

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

PFDSを読む: Leftist Heapの実装

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

docker + flask の環境でホスト上にポートが公開できない

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

sudoで移行先のユーザーの環境変数を使う

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

さくらVPSでシリアルコンソールからログインできない

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

Leftist Heapの性質

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

PFDSを読む: 二分木の改良

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

正規表現エンジン制作入門(2): いろいろなDFA

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

Haskellでtest/**/*Spec.hsを全部拾ってテストしてくれるやつ

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

rsyncでポート番号を指定する

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

正規表現エンジン制作入門(1): 正規表現とDFA

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

Coqで型クラスで群論

Coq

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

Coqで型クラスでモナド

Coq

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

Coqで型クラス

Coq

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

Elmの型関連が弱すぎてつらい

Elm

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

Elm始めてみました。

Elm

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

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

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

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

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

implicit parameterによる型クラスの罠

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

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

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

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

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

OCamlの値の比較について

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

OCamlのmatch文とbegin..end

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

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

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

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

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

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

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

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

Coq

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

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

Coq

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

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

Coq

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

Ubuntuで最新のnode.jsを使う

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

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

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

Quineの書き方

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

書き初めQuineを書きました

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

さよならインクルードガード

C

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

JavaでMapの初期化を行う方法いろいろ

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

プログラミング初心者が最初に選ぶべき言語73選

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

アドホックな多相性の実現方法いろいろ

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

OCamlのFunctorという概念を知らずに自分で再発明していた話

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

機械学習でAV女優かどうかを判定するプログラムを作った

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

SWI-Prologを始めてみる

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

OCaml初心者が戸惑いそうな謎記号一覧

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

Gaucheのwriteのバグ(?)を発見した

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

nginxで特定のパスを別なポートにリダイレクトする

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

apacheのポート番号を変更する

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