2004-11-01から1ヶ月間の記事一覧

ゲーデル的問題の為のメモ。

週刊書評 柄谷行人『トランスクリティーク』 e-novels 法月綸太郎「1932年の傑作群をめぐって」 e-novels 法月綸太郎「大量死と密室」 e-novels 法月綸太郎「初期クイーン論」 この辺の法月綸太郎の文書に「ゲーデル問題」が出てくるのかな。 後は、笠井潔の…

「ゲーデル的問題」の雑話

9月迄には纏めておいて、サークルの雑誌に載せようかと思っていたのだけれども、調べるのが面倒臭かったので放り出してしまった。資料集めからもう一回始めて、Webにでもアップするかね。186.bzの方で。一回、きっちり書いた方がいいよなぁ。あぁー、けど批…

たまには本の話でも

「ベストセラーは読むべきか?」 大学に入ったら 読みたい本100選@佐賀大付属図書館 [Mystery Laboratory] 11位以下はすっげぇ普通なんだけど、なんで1位〜10位はあれなんだろう。 読んだ本を数えたら20冊。思ったより少なかった。 「リアル鬼ごっこ」は…

日常

etc

近辺に美味い飯屋があるのに、まだ全部周ってないな。なるべく周ろうと思っていたり。

<a href="http://d.hatena.ne.jp/smoking186/20041111#1100142967">2004/11/11 証明の話。</a>の続き。

やっぱり、上で平均取って倍したところのが、で近似できるっつぅ話だな。証明出来た(´ー`) 後は、細かいところの見直しだな。の部分でのアレを証明すればOK。 こういうことを書いておくと、後で色々とばれるな。適当に消すか。

WinユーザーにおけるfirefoxとOperaの利点

web

CSSで:beforeと:afterでcontentが使えること。Safariも使えるんだっけかな。 下のinsにはdatetime属性に値があるんだけど、ちゃんとそれを表示出来る。この辺が便利( ´ー`) IE6も対応すればいいのに。 で、今Operaのデフォの設定で見たら、英数文字が下付き…

最近のはてなの話 その70 - 住所登録編 その7

?DD 2004/11/10 という訳で、まず住所登録の方のパブリックコメントらしい。 プライバシーポリシーに関してはまた今度か。妥当なプライバシーポリシーが作られるという前提の元で、2かな。詳しい理由はまた後で。眠い。 住所登録に関する検討案@id:garyoって…

証明の話。

ちょっと読み込みが足らないか。との関係を見直そう。 ふと思ったのだが、n次元正方行列の行列式のオーダーってどんなもんだ? 0ははじけるとして、最悪1だぞ。g(n)-unique性を用いて評価出来んもんかね。 メモ。 断面全体でのの平均値と断面中のが、指数的…

Mozilla Firefox 1.0

web

正式版が出たようなのでダウンロードしてインストール。profileはそのまま残してくれた様子。 問題はテーマか。708090とSmokeが対応するまで待つか。で、Moz2chを削除。SageとAll-in-One GesturesとWeb Developerは大丈夫か。じゃ、拡張はいいや。 で、Sciru…

書き直し

やったことはClaimの拡張であるということ。 それだけで全体の規模が変わってくるということ。 というわけで全体の証明の概略位は書かないと困るよということ。 直していると、面倒臭い。 とりあえず第3章の方を書き直し。From Worst-case to Average-caseは…

最近のはてなについての話 その70 - 住所登録の話と削除話 その6

その70 - 住所登録の話 その3にはてなでの質問を追加。 で、リンク集のリンク集。そうだよwikiって手があるじゃないか、と思いながら一人で作成(藁 ちょいとgaryoさんとこのwiki弄ってみたり。 id:wslash id:wslash はてな登録情報の住所追加の纏め。 2004-…

あ、

web

俺は「ぁ系」じゃないぞ。昔、ラウンジの片隅に居た人だぞ。 なんで「ぁ系」のアンテナに入ってんだ? と悩む。

最近のはてなについての話 その70 - 住所登録の話と削除話 その5

後で、また書き足す。 平成十六年十一月七日 「はてなの住所登録指令は、はてながトラブルを避けたいが爲だけにやつた事だらう?」と言つてゐる人が多いのだけれども、トラブルを避けたいのは當り前の話で、文句を言ふべき事ではないだらう。 平素匿名なり假…

うわぁ。

web

DACさんとこのアンテナが消えてる(;´Д`) 毎日使っていたので、見ていたサイトを思い出しながら履歴検索とGoogle検索して、とりあえずBookmarkに追加中。後で、アンテナも整理しよう。 とりあえず履歴から拾い集めた。奥村先生(TeXの人)のWikiも入れちゃ…

すっぽんは亀では無い。

すっぽんの解体を手伝う。鍋になるようだ。土鍋を貸したので少々役得。実に少々だが。 中華料理の筈だったのにな。 すっぽんの話。なぜだかHn氏が前の通りですっぽんを拾ったらしい。車に轢かれるのも可哀想やしなと言って保護したら、首切られてんのな、す…

png

web

最近はどんな画像だろうとpngにしているので、さっさとIEは透過pngに対応して下さい。どんだけほったらかしにしてんだ。昔IE開発チームのブログ読んだが、対応する気無さそうだったしなぁ。

log.nmbd

etc

http://team1mile.com/asarin/tdiary/?date=20020831#c log.nmbdを調べていたら、謎のログが見つかったので検索。 そういう風に直せるということをメモ。

飯。同居人5が、ほうとうを作るべくTdが買ってきたきのこが余っていたので飯を作れ、と言う。某24時間スーパーまで足を伸ばし、鮭とレモングラスを買ってきた。前に買ったナンプラーと玉葱があるので、鮭のベトナム風ホイル焼きといこうかと。そろそろ焼きあ…

最近のはてなについての話 その70 - 住所登録の話 その4

羊堂本舗 2004/11/05 インターネットマガジン11月号の「バーチャルネット法律娘・真紀奈と一緒に解決!インターネットの気になる法律相談所 掲示板の運営はちっともラクじゃなーい!の巻」をはてなの近藤氏は読んだ。に1票 実際にポルノ画像アップした人にア…

最近のはてなについての話 その70 - 住所登録の話 その3

リンク集 id:wslash id:wslash はてな登録情報の住所追加の纏め。 2004-11-02 分、その一。 id:wslashはてな登録情報の住所追加の纏め。 2004-11-02 分、その二。 id:wslashはてな登録情報の住所追加の纏め。 2004-11-02 分、その三(最終)。 羊堂本舗 ちょき…

では、論文の書き直ししてきます。 新しい情報があったらコメント欄にでも書いて下さると幸い。

宴の始末

参加してくださった皆様、ありがとうございました。 結局、?DD 2004/11/04 プライバシーポリシーの見直し、住所登録スケジュールの延期についてということで、プライバシーポリシーを改定した後、住所登録ということだそうです。

最近のはてなについての話 その70 - 住所登録の話 その2 11/03-11/04

まずリファラ飛ばし チープカさんとこの代打日記みてネタでも書いてもらうかと思ったのだが、「これで議論したら早いんじゃね?」ということでネタ出し。した割には参加しにくい纏め方でごめんなさい。 id:calmzone, id:adramine, id:nobody, id:sugio, id:y…

そのままパンダでお待ちください。

etc

著作権の話

はてな 1099570972 Yahoo 「はてな」が利用規約を変更、個人情報の登録や日記内容の利用を可能に こんなことになってるんですが、どうしませう。著作権を横取りって……そろそろはてなから手を引いたほうがよいのでせうか。 同鰯 Yahooのニュースは消えるだろ…

この項、11/04に移動しますよ。

まずリファラ飛ばし チープカさんとこの代打日記みてネタでも書いてもらうかと思ったのだが、「これで議論したら早いんじゃね?」ということでネタ出し。した割には参加しにくい纏め方でごめんなさい。 id:calmzone, id:adramine, id:nobody, id:sugio, id:y…

etc

郵便番号でよいという認識→住所までいるという認識今日は祝日ということを思い出した。しばらく陽の光を浴びてくる。とんと日光にあたった記憶が無い。こうやってキーボードを打っているとき位だ。同居人5が部屋の本の大半を読んだようだ。俺の積読まで80%は…

最近のはてなについての話 その70 - 住所登録の話 その1

はてなの良い点はですね、匿名で出来るということにあったと思うんです。 あ、はてなに住所を教えたのを思い出した。その時は、"名前がなくても届きます"って書いたんだったかな。 ?DD 2004/11/01 住所登録、ならびにはてな利用規約改定のお知らせ はてな利…

小学生向け難問?

横丁の日記 2004/10/25 算数の難問の上の題をウォーミングアップとし、下の題を四人で解いてみた。 俺 (理系) みかん@id:mikan3 (元理系) 同居人4 (元理系) 同居人5 (文系) 結論。積分を使って(ずるい)面積を求めて、「が何で出てくんの」と吠えてます。 …