OCamlの値の比較について
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
OCamlのmatch文とbegin..end
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
教養としてCOBOLに触れてみる
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Prologでしょぼい型推論器みたいなものを作る
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Prologならではのソートアルゴリズム
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Coqで代数的データ型の各要素についての等式を得る
ブログ移転しました。新しいサイトはこちら:
genkami.github.io
Coqで等式の左右を入れ替える
ブログ移転しました。新しいサイトはこちら:
genkami.github.io