https://twitter.com/kinaba のログ (twilog の方が便利です。)
| EDBT/ICDT はKeynoteがわかりやすいチュートリアル的な講演で、門外漢には非常に助かる。probabilisticなdbと、provenanceの話と、最近やたら流行ってるなあ、と遠見に思ってたトピックの懇切丁寧なまとめが聞けてとても勉強になった。 | |
| 位相というか半群とかモノイドとかの方にとくかく興味が。蝉グループ！！！ RT @kinaba さんは位相を入れる話に興味を持っているようです。(via @ikegami__) http://twitter.com/ikegami__/statuses/10956793257 | |
| http://twitter.com/hogelog/status/10967620500 「このエレベータの[開]ボタンはbag semanticsだ…」 というジョークをさっき耳にした | |
| 世界各国のマクドナルドを巡る会の会員の崇高な義務として、ローザンヌのマクドナルドにも行ってきた。やった！ | |
| セッション開始前にスクリーンでずっと流れてるVaud州の宣伝ムービーのBGMが格好いいんですが、回線弱くて見れないんだけど http://vaud.ch/ がロードしようとするムービーは同じ物かな。 | |
| 出れそうで出れない少し出れないCodeforces | |
| うーんなかなか時間があわないな | |
| Mathematicaみたいに偏微分方程式を記号的に解いてくれるシステムで無料のってあるのかな。どなたかご存じありませんか。 | |
| @nodchip @wtakuo @natsutan 実はMaximaをダウンロードしてドキュメント読んで常微分方程式しかできそうになかったのでの質問でした…。どうやるんだろう。引き続き調べてみます。Octaveも見てみます。ありがとうございます。 | |
| 偏微分方程式シンボリックソルバーシステム俺は、昨晩使ってみてあまりの低性能さに絶望しました |