Prologならではのソートアルゴリズム
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Coqで代数的データ型の各要素についての等式を得る
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Coqで等式の左右を入れ替える
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Coqのintrosでパターンマッチング
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Ubuntuで最新のnode.jsを使う
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Amazon Dash Buttonが届いたのでとりあえずツイートボタンにしてみた
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Quineの書き方
ブログ移転しました。新しいサイトはこちら:
genkami.github.io