2006-06-17から1日間の記事一覧

Rails 勉強会@関西 第4回

今回は勉強会もなんとか参加できました。 では、感想いきます。 日本 Ruby カンファレンス 2006 参加報告〜Rails編〜 by いまいさん Rubyカンファレンス参加報告うらやますい。買えばよかったか?しかし、あの状況ではムリだった。 写真でわれらが高橋会長の…

数学基礎論の本を読んでいるときに

少し前に購入した数学基礎論の本をRails勉強会の行き帰りで読んだのだけども しばらくぶりに構造解析だとか、超準解析だとかいう単語を見ていたら、急に、+0と-0みたいに、実数に裏表を付けたら良いように思えてきた。 それなら、(-n, 0)の上界と[0,n)の下界…