2009-01-10から1日間の記事一覧

来客の記録

10/25 さのま、えみりん泊まる。ベルギービール飲む。 10/26 えみりんと探偵ガリレオを見る。レールガンがよし。 10/29 再びさのま来る。忘れ物をとりに。 10/31 寮で芝居。松村他泊まる。 11/2 華ちゃん来る。ほうかしえんになる。 11/13 ホナに吉本さんと…

ペアノの公理による1+1=2の証明

ペアノの公理自然数は以下を満たす。 (1)自然数 0 が存在する。(2)任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。(3)0 はいかなる自然数の後者でもない(0 より前の自然数は存在しない)。(4)異なる自然数は異…

料理記録

鳥の唐揚げ 菜の花のオリーブ炒め 水菜とカブのサラダ