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