雲をつかむような話
雲をつかむような話といえば、coinductiveな証明。
You may Leave a comment or Subscribe to Comments RSS or Trackback this entry.
Leave a comment
Your e-mail will never be published.
recent comments
- pira on ダカールに行きます
- Yuuki on ダカールに行きます
- pira on 自動筆記
- 白のカピバラ on 自動筆記
- pira on 抱負refined
- pira on gitのbranchを、更新が新しい順に表示する
- pira on 江木君の無限缶詰思想
- juno on 江木君の無限缶詰思想
- pira on 数学ガール/ゲーデルの不完全性定理
- juno on 数学ガール/ゲーデルの不完全性定理
- Anonymous on 消費者センス世にはばかる
- はじめ on 消費者センス世にはばかる
- 玉子 on 知っている人とすれ違う
- Anonymous on /dev/null
- 玉子 on ぴらぴら
FriendFeed
- 線型論理で日本語を拡張する委員会 2010/3/7 Sunday
- 次回の決定不能の会(3/20)は、一般化コラッツ予想他 2010/3/3 Wednesday
- ダカールに行きます 2010/3/3 Wednesday
- 予定 2010/3/2 Tuesday
- 自動筆記 2010/2/28 Sunday
- gitのbranchを、更新が新しい順に表示する 2010/2/21 Sunday
- pirapira created gist: 310327 2010/2/21 Sunday
- 私は、16年ほどまえに大学を卒業してから、実は３分の２くらいの期間しか働いていない。数年働くと、仕事をやめて勉強したり遊んだり。そしてまた働き始めるということの繰り返しだ。基本的に好きなときに働き、好きなときに遊んでいる。いろんな国に住み、いろんなところに旅行に出かけた。 2010/2/21 Sunday
- 抱負refined 2010/2/19 Friday
- 抱負 2010/2/17 Wednesday
- 江木君の無限缶詰思想 2010/2/15 Monday
- someone's dead... from in the night stars are lighting. i know ... it's terrific. but anyone else think it's like shit.doesnt think her life 2010/2/7 Sunday
- 人力翻訳サイト myGengo 2010/2/3 Wednesday
- 雲をつかむような話 2010/1/21 Thursday
- 懐疑 2010/1/18 Monday
- 「地球から見れば、人間がいなくなるのが一番優しい自然に戻るんだという思いも分かる」 2010/1/15 Friday
- THE SKINHEAD hit me and was going to kill me ^^ so i fucked them 2010/1/11 Monday
- 実は、仕事できねえ、能率が悪いというのは、単純な仕事の処理能力の問題ではなく、それ以前に、なにも見ていないから、見ていたとしても、なにも把握していないからではないか、ということだ。 2010/1/11 Monday
- Allen Tel Distribution Ring 2010/1/10 Sunday
- コンピュータ技術・管理能力に優れて、英語・日本語がペラペラの若者たちが、6万円から9万円ほどの月給で働いていた。 2010/1/10 Sunday