https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 日本人コミッターの書いたPhobosの英語ドキュメントを日本語訳しているとなんとも不思議な気分で楽しい | |
| .D言語のリファレンス翻訳もレポジトリ公開して大勢で回した方が良いことが色々あるような気がするんだけど、それでup-to-dateに保てる体制というのをどう作ればいいのかよくわからんのだよなー。とりあえず自分がやらなくても誰かやるかも、となると俺がやらなくなるのは間違いないですし | |
| プロジェクトとして大勢で翻訳しているもので定期更新にちゃんと着いて行ってるものが、自分がお世話になってる翻訳ではあんまりない気がするので、どうも難しいんだろうなあと勝手に想像している | |
| @lyrical_logical 自分の得だけを考えると自分一人でやる方が（Dの更新を毎ver一字一句diffを追いかけるモチベーションが得られる的意味で）プラスなので、大勢でやるなら質や速度の向上を期待するわけですけど、それで失敗すると誰も得しなくて残念だと思うんですよねえ… | |
| こういうスレタイが一番吹く http://siki420.blog45.fc2.com/blog-entry-1390.html | |
| 定理証明支援系をCall-by-Needで動かしてどうこうというする系のテクニックをでっちあげて遅延証明と名前をつけよう | |
| Primの最小全域木のアルゴリズムを書く時などstd::priority_queueの順序を勘違いして逆順に辺を取り出しちゃうことがある（最近は流石にやらない…と思ったらこの前久しぶりに間違えた）んだけど、これでできるアルゴリズムはなんか意味ある物を計算していることになるだろうか | |
| というか一般に 「アルゴリズムの実装をちょっと間違えてみた」 結果が計算するものを調べまくって何か面白い物がでてきてないか考える一日とか過ごしてみても面白い気がする。たぶん何も出ないが | |
| 副作用完了点って言わなくなったのかー http://d.hatena.ne.jp/Cryolite/20101228#p1 | |
| @tsubosaka あーこれだけで最大全域木になるのですか。そうか全く同じ証明で証明できますね。なるほど。さて次はDijkstraで同じ間違いをしたバージョン… | |
| 一桁順位とらないと確実に無理くらいにJapanさんが遠くなってしまったけど、年内最後のSRMなので悔いの無いように頑張りたいと思います！！！ （死亡フラグ | |
| ＼（＾o＾）／ | |
| うわああああああ250の入力サイズ勘違いしていたああああああああああああああ30秒で解けるじゃないかこんな問題。SRMの配列入力なんだから長さ50以下に決まっとるではないか。いや勘違いしててもなお30秒で解けよという感じですけど。死んだ。 | |
| 550 はあと10分ぶんの精神的余裕があれば15分速く正解を書けてると思うので全面的に250が敗因 #topcoder | |
| わー RT @WtbH: したいわー RT @EmKjp: SRM前にTimeTravelしたいわー | |
| 比喩でなく最下位ktkr #topcoder | |
| 新年を祝ってレート2011くらいまで落ちていいレベル #topcoder | |
| @lyrical_logical 計 画 通 り (*￣ー￣)v | |
| 2661→2488 蟻本特需が終わりを告げていつものレート帯に帰ってきた。まあ来年から心機一転がんばりませう | |
| 年末レート 2396→2373→2488 まるで成長していない… | |
| 上野久しぶりに来た。駅前の建物こわして西郷さんが交差点をまっすぐ見下ろす構図になってる。よいなあ。ここはまた何か建てちゃうのだろうか | |
| 実家に帰っています。 | |
| topolder!! http://twitter.com/#!/yak_ex/topolder | |
| あけましておめでとうございます （訳：アイコン変えた | |
| @koizuka 旧年中はお世話になりました | |
| そんなことをしていないで年賀状を書こう |