https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 「@pepshiso さんの id を見るたびに @kinaba (以下略」カウンタが久々にカウントアップされた http://twitter.com/mayahjp/status/26848904572 | |
| ねよう | |
| やっぱりそうなりますよねえ… http://twitter.com/todesking/status/26876177745 | |
| Type Inference in Contextの対象読者になるには 1)王道：TaPL http://amzn.to/aYwJvW 2)速攻：ML型推論の光と影 http://www.nicovideo.jp/watch/sm8094110 3)奇襲：高橋メソッドで型推論 http://www.kmonos.net/wlog/sub/typeinf.html | |
| 高橋メソッドの奴の最後の「代入代入代入」フェーズがデリカシーのカケラもなく集まった型情報に内在する構造を破壊しながら突き進んでいくので、そうじゃなくて、この「＝で結ぶ」がどこにどう影響するかというスコープ構造を考えることで見える世界が…という趣旨、なんだけど、まあ慣れてる人向けだ | |
| ここ数ヶ月、やたらと「若く見える」と言われる機会が多い。欧米人ならわかるけどアジア人にも言われるのはなんでじゃろう、っていうかどう考えても挙動が子供じみてるとかそういうあれですね。ひょー | |
| http://sei.pku.edu.cn/~liuxzh/workshop.htm というのに居て、ソフトウェアエンジニアリングの話ってかなりアウェイ感強いんですけど、たまーに唐突にアルゴリズムな話が現れて結構面白い。 | |
| "Efficient QoS-aware..."の、「どうみても整数計画なスケジューリングだけど確率p%でこっちのスケジュールq%でこっち、とかで運用すれば平均で緩和解が動くだろ！」とか"Distributed Schemes..."の線形計画をローカルな二乗最小化に落とすのとか | |
| ところで何も考えず勢いでリンク貼ったけどよく考えたら俺はTAPL読んだことないような気がする。ATTAPLは輪講で読んだ。 | |
| http://www.ipsj.or.jp/50anv/shogi/press3.html 空港からダッシュすれば14時くらいには…と思ったけど定員500名なんて絶対埋まってるに決まってるなあ。誰かが2chに棋譜貼ってくれるの期待とかそんな感じでいる | |
| 「正規表現は単なる有限モノイドへの準同型の逆像だよ。何か問題でも？」 | |
| そういえば、ポイントカードとかマイレージとかああいうのが嫌いで仕方がないので滅びないかなあとずっと思ってるんだけど滅びないなあ。せめて"ポイントカードはお餅ですか？"て客に聞いたら死刑くらいの法律ができてくれれば滅びなくても僕からは観測できなくなるので許せるんだけど | |
| @notogawa そう、で、仮にそこが完全に等価な交換だとしても、例えばカードを登録する・持ち運ぶ・提示する等々等々、の完全に無駄な手間を多数の人に薄くのばして押しつけて少しだけ不幸にすることでマージン創出してるようにしか感じられないのだよなーという | |
| @wraith13 さすがにここ一ヶ月の海外行きの間隔は異常でした…。いちおうお仕事として来ているので、旅費は自費ではないところからです。 |