まろくって。。 文字列(というかchar*)は、'\0'を末尾につけることにより、値の終わりを示せるわけだが、 まろく(mmap/sbrk/brk)はそのへんどうなっているの。。 よくよく調べてみれば不思議なこと(現状理解していないところ)が多い。 mallocによる確保外の…

1) ブルームフィルタのお話。サーバsに問い合わせたいファイル名のリストxがある。このリストxに含まれる任意のファイル名のファイルfが、サーバsに全てあるわけではないらしい。全てのfを実際に一気にリクエストすると通信負荷が大きいので、「実体がsにあ…

よんだはしかたないやつだ！(それは「やんだ」である。。)(よつばとネタ) callccによる排中律の証明 - sumiiの日記 これ面白かったw寸劇の話はcallccというワードがヒントになって、わかったw おもしろい。 callccがカリーハワード同型で二重否定に当たる、…

構成的という言葉の意味がわからなくなって調べてた。調べたら、「数学的構成主義」「構成的数学」という言葉がちらちら出現。それも追っかけてたら「数学的直観主義」などなども出現。 直感主義論理は授業でやったので覚えていた。 他もろもろ。 数学的直観…