https://twitter.com/kinaba のログ (twilog の方が便利です。)
| "A Rewriting View of Simple Typing" http://www.lmcs-online.org/ojs/viewarticle.php?id=1098&layout=abstract これおもろいなー、Polemyでやろうとしてた型システムの実装方式これだった。そうかこの形式化で理論的な話も貫けるのか。fix/letrec入れる一般化が見たい | |
| RT @gachizei_tc: http://poj.org/chart これみるとPOJ全盛期は3年前に過ぎたことがわかる | |
| 自分が競プロ始めたころはオンラインジャッジといえばUVaで、ある時PKUが新しいの作ったのかーへぇーとなった記憶があるので栄枯盛衰という感じだ（中途半端な老害トーク） https://t.co/97QVHGZ7GK | |
| 人に勧めて初めてどうぶつ将棋やってみたんだけど想像していた以上に遥かに難しかった。考えてみれば普通の将棋でも玉と玉が超接近戦になると守る手ほとんど全てが同時に攻める手になって物凄く読みが大変になるので当然だ。おもしろい | |
| s/勧めて/すすめられて/ | |
| 懸案のタスクが片付いた通知が来たので大変解放感に満ち溢れており、朝からもはや完全に週末気分に突入して仕事と関係ないツイートを始めてしまった | |
| 上級者が初心者を自称するの、あんまり謙虚なように聞こえないというか、自分はまだ成長限界に達していないのであって俺の真の実力はこんなもんじゃない的な不遜さを感じてしまい自分に自信があって良いですねみたいに思ってしまうことがある | |
| RT @AntiBayesian: "研究室がうまくいかないのは誰のせい？" http://hontolab.org/download/casestudy-no2.pdf 序盤は飯食いながらゲラゲラ読んでたけど、中盤から胃がキリキリして真顔で読まざるを得なかった。このすれ違いマジでその、アレですね… | |
| https://t.co/2oBYKliRTY これ系、実際専門家的には十分面白い進捗が出てて、ただそれが通好み杉て学生がわかりやすく自信持てない的な状況が結構ある気が。ので、進め方指導等より、"なぜこの研究は面白いのか"のビジョンを分け合う機会を増やすとよくてそれは指導者の仕事 | |
| RT @iwiwi: ICFP-PC 2013 に関する論文のプレプリントが公開されてました → http://research.microsoft.com/en-us/um/people/nswamy/papers/calibrating-program-synthesis.pdf コンテストの舞台裏，優勝チームの戦略，結果が示唆することなんかが書いてあります． 一部笑いが止まらないレベルに楽しい． "Unagi"… | |
| まずauthorのメールアドレスがunagiな論文、やばい |