2007-02-22から1日間の記事一覧

浅草の近くに行ってきた

野暮用の為。通りが現代的で、路地に入ると途端に昔の日本の面影を残した住宅地があって、なかなか興味深かった。

「計算論」まだやってますよ

亀の歩みの如き進み具合ですが。これは主に自分向けの捕捉なんだけど、しょっぱなから「」なんて記法がでてきて戸惑ったけど、プログラム言語に置き換えてみてやっと分かったのだが、Nは自然数の集合と定義されているので、つまりという関数は、自然数の集合…