tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20101026 02:05 @tanakh @sacred_fox ストレートとレモンならICFP呑みの時にでも持ってきていただければ人力で持ち運べる程度なら引き取りますですが。ただしこの写真の量は無理だ!っていうかなんで大量買いの写真撮る人はみんなミルクティー派なんですか…
20101026 02:11 @ir5 Cの長さの値の範囲が"natural number"としか書いてなかったのでこれ 0 入れたらどうなるんですかね、というのを試してみたくて、とりあえず知ってる人で試させてもらいました…(^^; // [1,1000]の範囲じゃないとinvalidと怒られました
20101026 02:28 @tanakh はい!それでよろしくお願いします。夢の午後ティーライフが始まる…!
20101026 02:37 @uwitenpen ΣXi人の人を、M個の部屋に2時間、「1時間目: i番の部屋にはXi人」「2時間目: i番目の部屋にはYi人以下」 と配置するやり方は何通りか。ただし1時間目にi番目の部屋にいた人は2時間目にはi以上番目の部屋にしか行けない
20101026 02:47 @uwitenpen ですです。二個目のサンプルは2時間目になっても動けないので3!通り。 @WtbH はい、その段落ですね。
20101026 02:48 そして僕のDはまだシステムテスト来てないけど、「一見O(N^2 M)に見えるがしかしこの怪しげな枝刈りを加えることによりやっぱりO(N^2 M)のままだ!」 という状態でsubmitしたのでTLEで落ちること確実なので寝よう
20101026 02:53 何度見てもやっぱり ikamusume を ikamuseum に空目するので、どこかの大富豪が私財をなげうって世界のイカに関する資料を集積したイカ博物館を設立すべきです
20101026 03:00 イカ娘に侵略された方々に、いか総合情報ページ http://www.zen-ika.com/ の存在をお伝えしてイカの素晴らしさを布教する必要があるのではなイカ?
20101026 14:18 ペプシモンブランびみょい
20101026 14:21 あと噂のチョコミント好きのためのチョコミントアイスがセブンイレブンで売られているのを発見したので今度買おう
20101026 22:24 【チョコミント好きのためのチョコミントアイス】 http://bit.ly/92nJBm をwktkしつつ購入&食べる→うおーこれは由緒正しくチョコミントだ素晴らしい!こんなたっぷりでこのお値段!これは流行る!→たっぷりすぎるまさかこの俺がチョコミントに途中で飽きるとは…(今ここ
20101026 22:28 @ranha 甘さはこのくらいでも僕は行けますけど、はい、量は、自分がチョコミントを美味しく食べられる量の限界は思ったより低いことを思い知りました…
20101026 22:37 自己紹介の際に「名前」「出身」「趣味」「好きなOS」「好きなエディタ」「好きなファイルシステム」「好きな言語」「好きな定理/補題/公理」「好きな代数的構造」を喋らされる新入生歓迎会を見てきた。もっとボケやすい設問を考えるべきという反省がなされていたけどまあそれはいいとして、
20101026 22:39 「好きな定理/補題/公理」って今自分が答えるとしたらなんだろな。Myhill-Nerode http://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%A4%E3%83%92%E3%83%AB-%E3%83%8D%E3%83%AD%E3%83%BC%E3%83%87%E3%81%AE%E5%AE%9A%E7%90%86 は年を追うごとに好きになってきた。
20101026 22:44 「好きな"tarでアーカイブを展開するとき tar _____ foo.tar.gz ここに入れる文字列"」は聞いてみるとやっぱりめっちゃバラバラに分かれて面白いことがわかった
20101026 22:52 ここまで9レス飛んできた内訳が xvzf:2、 xfzv:1、 xzvf:1、 zxvf:2、-zxvf:1、xzf:1、(zつけない派?):1 ですしもはやこれは擬似一様乱数として使える
20101026 23:04 おいちょっと席を外している間にリプライタブが完全に {-,f,v,x,z} の入ったツイートで埋まっているのですがww
20101026 23:09 これはしかし、例えばスタンダードなUnixコマンド入門テキストが固定されていればせいぜい2, 3通りに統一されそうなもんですけど、みんなmanなど読みながら自分で並べて覚えているということなのですかね。
20101026 23:10 「tar ___ foo.tar.gz」をトゥギャりました。 http://togetter.com/li/63096
20101026 23:25 みなさんtarのオプションはともかくとして「好きな定理/補題/公理」について語りましょう
20101026 23:32 http://twitter.com/kaminagi/statuses/28795849715 偶然のような気もするけど @kaminagi さんは見事なタイミングで相手してくれて優しいなあ
20101026 23:39 最初に習ったときはチンプンカンプンのような凄く当たり前なことを言われているような、もやもやとした気分になったなあ>準同型定理。
20101026 23:49 @nishio どうなんでしょう、そういえば。Wikipedia 見てみたけど "Completeness of the S-K basis" くらいの名前と呼べるか微妙なラインの用語しかないですね。
20101026 23:54 @masa_edw 公式も定理か公理かどっちかじゃないでしょうか。怖くないですよ!たとえばオイラーの等式 http://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E7%AD%89%E5%BC%8F なんかの話題はあがってました。
20101026 23:56 @igaris おお?お知り合いですか!僕も最近連絡とってないですが、元気なのでしょうか。
20101026 23:59 いかんSRMの時間だ

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0