https://twitter.com/kinaba のログ (twilog の方が便利です。)
| むかし rainbee というハンドルを使っていて、これは元々 inaber (イナバー) の並び替えだったんだけど、何となく最後のeを増やしてeeにしたので時代を先取りしていた。 http://twitter.com/tanakh/status/24386102334 | |
| モデル駆動 も ProbabilisticDB も C++流のメタプログラミング も細かい最適化とか詳細とかはさておくとすれば全部まとめて同じ枠組みで語れて作れるように見えるなーと最近発表を聞いた色々がまとまってみえてごにょごにょにょ | |
| ユークリッド距離とは限らない場合に"convex polyhedron"の定義ってなんだっけ。convexは内点どうしを結ぶ最短路が全部含まれてる、でいいのかな | |
| wikipediaにあった http://en.wikipedia.org/wiki/Convex_set#Non-Euclidean_geometry | |
| マーライオン激写してきた | |
| @camlspotter なんですと！！とりあえずマーライオン(小)とマーライオン(大)が背中合わせに立っているイベントを攻略しました。 | |
| @TKinugasa 思ったほどがっかりできなくてがっかりしました！ | |
| Coqの入門記事を書く会(2) http://d.hatena.ne.jp/hzkr/20100914#p1 | |
| うーむ上手く書けんかった。Coq in a Hurry とか、ざっと流す系の入門テキスト読んだ人がその後に読んだら通じやすいんじゃないかなー的存在になってしまっている。難しいなあ。 |