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

まともな内容のものをあげるところ

http://ranha.kerox.info/gero ただ例に依って何時飽きるか分かりませんけど、少なくともはてなにこうやって書くよりもまだ人間的なものが書ける気がする。まとまった内容っていうか…しかしこうWikiとかよりも、テキストファイルとか、pdfを直にあげるほうが…

■

MacBook Air 11インチ欲しい！

うみねこでまなぶCoq

Section うみねこ8のメモ. Definition Pow (S : Set) : Type := S -> Prop. Variable Animal : Set. Definition animal (a : Animal) : Prop := True. Variable human : Pow Animal. Axiom 人間は1人はいてはる : exists h : Animal , human h. Theorem 人間…