様々な数学定理が形式化され、定理を証明するための定理をリンクをたどることによって調べることができる。 公理系はＺＦ（ＺＦＣ？）公理系を採用？Metamath Proof Explorer Home Page 1+1=2を証明するのに凄い数の定理が必要ですね。

最近、教科書を購入する必要が薄れてきていると思った。 無料で同等の知識を得られるサイトが増えてきているから。 最近みたなかでは、ものすごく簡潔明瞭だったのはこれ：http://okawa-denshi.jp/techdoc/日本の数学教科書にフリーも公開されているから、今…

食事後に暇だったので、テレビをつけてみたら、K-1やってましたので、見ました。 長島☆自演乙☆雄一郎という選手が決勝で、若い有望な選手を、技と根性、最後はノックアウトで倒して、優勝してしまった。 思ったことがいくつかあったので書き記しておきます。…

yooseeさんがKindleでWikiの内容の部分だけを読みたいと言っていた。 masuidriveさんにそんな需要があると言ったら現在それどころではないという。 私もあったら良いけど取りかかれる環境にない。 そこでまず、既にないかを調べた。 MediaWikiで調べたかった…

半年以上前のネタだけど、最近知ったので、おためし。 はてなでも埋め込めるけど、記号などをエンコードしておかないといけない。 TeX/LaTeXは大学時代に散々使ったので違和感ないけど、エンコードが面倒くさい。 URLエンコードサイトの結果を使って埋め込ん…