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

FMPとFEP

wikipedia:en:Finite model property wikipedia:en:Craig's theorem

順群(quasigroup)とラテン方陣(Latin square)

wikipedia:en:Quasigroup wikipedia:en:Latin square wikipedia:ラテン方格 wikipedia:en:Problems in loop theory and quasigroup theory wikipedia:en:Small Latin squares and quasigroups wikipedia:en:Latin hypercube sampling wikipedia:en:Design of…

最近の調べもの

http://www.scholarpedia.org/article/Triangular_norms_and_conorms wikipedia:en:Loop_(algebra) wikipedia:en:Universal_property wikipedia:en:Free_object

OCaml関連の情報

http://ocaml.jp/FrontPage http://www.ocaml-tutorial.org/ja

三沢さんが……

ううう……

予言者エゼキエル

本当にこんなだったのでしょうか。凄すぎる。http://www.artbible.info/art/large/216.html