https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 撃墜大会になる予感・・・ | |
| 250 n≦1000000 だから普通に全探索するだけじゃないか何を考えているんだ俺は＆多くの撃墜された皆さんは | |
| RandamCoderStats先生にお前はGreedyが苦手だと言われたので必死にGreedyっぽく解こうとして死亡 | |
| @tsukuno 先頭以外全部0だと-1 | |
| 500もだいたいそんな感じでやったからひどく自信がない | |
| @naoya_t 他の方は知りませんが私は手動です。どうせいつでもPCから数mの距離にいるので、3時間前になったなーと思ったらすかさず | |
| @tsukuno http://twitter.com/wata_orz/statuses/1382699290 wataさんでも同じ間違いを犯すくらい間違えやすいところなんだよ！！！！ | |
| http://www.emu.edu.tr/aelci/Courses/D-318/D-318-Files/plbook/types.htm この中だと、自分は"値に対して可能な操作を表す制約 (Type Checker)" と "メモリレイアウトを規定する物 (Compiler)" の並立した概念で、後者は一段低レイヤから見れば結局前者なので、そっち派で | |
| わりと物を考えている。http://d.hatena.ne.jp/lethevert/20051224/p1 この辺を思い出した。 | |
| ただ、"Type" という言葉はそういうものと思うんけれど、（C++のテンプレートがおおいに"乱用"されているのと同じように）、今や "型システム" は大いに乱用されて何か別のものになってきててて、それはもう "Type" と呼ばずに別の新しい概念として再構成されるべきなんじゃ | |
| という風に考えている←いまここ。see also http://twitter.com/kinaba/statuses/853243354 http://twitter.com/kinaba/statuses/853244091 | |
| それで ikegami さんの提案が面白そうだなーと思って今どういう形にするのがいいか考えてるところです http://atnd.org/events/451 | |
| パネルディスカッションみたいにしてみるとか | |
| んがががこれおもしろい！知らなかった… http://twitter.com/ikegami__/status/1385928489 | |
| @shelarcy http://atnd.org/events/451 で勝手に発表枠を仮アロケートしちゃったのですが(^^;、OK でしょうか？ | |
| @shelarcy どもども。よろしくお願いします。 | |
| @omo2009 僕も難しすぎてよくわからなくなりそうなので共に頑張りましょう… | |
| [アスカ] http://www.kmonos.net/wlog/sub/pako.jpg パコ来た。場所替えあかり大部屋水がめなしだけどこれは上手い人なら余裕でクリアできるレベル… | |
| 心を落ち着けるためにセーブしてしばらく他の作業などする |