2013年01月07日のツイート - kururu

@kururu_goedel: bookkeepingは全部lotteryで書き直せそうな気がしてきて、でもやっぱり長さω_2のやつとかだとまずい気がしてきて、そこを修正できそうな気がしてきて、でも修正したら普通にbookkeepingやった方がましな気がしてきた気がしました。

@kururu_goedel: そういえば、どこかの地方新聞が、行政から公開されている情報を元に、銃所持許可を受けている人を地図上で一覧できるようなウェブサイトを作って非難轟々らしい。一件一件検索しないと出なかった情報を一覧できるようにしただけなのだけど、怒っている人も多い。

@kururu_goedel: @srb_2 存在定理はもちろん、強制法そのものも対角線論法の変形だと思っています。これは、私のオリジナルな思想かなと思っていたら、殿下がて日々でこのアイデアがすでに共有されていることを前提とした文を書いていて凹んだ覚えが。

@kururu_goedel: @srb_2 私は入ると思います。α回なにかを選択する構成をするのに、それぞれのステージでなんらか異なる要請をしていれば全て対角線論法っていうのが私の感覚。口にも文にも書いてませんが。

@kururu_goedel: なんか同じののパロディがたくさんあるらしいんだけど（軍の中ですら！）、これが一番面白いと思う。海軍学校の人たち。URL