https://twitter.com/kinaba のログ (twilog の方が便利です。)
| http://twitter.com/masahiro_sakai/status/39469785267974144 を見てて。GADT や Nested Datatype で表現できる制約のクラス、って(例えば論理や形式言語でいうと)どういう範囲になるのかな。論文ありそう。 | |
| こういうのは @ikegami__ さんに振ると検索結果が自動で返ってくるという古代からの教えがあると言われています (他力本願) | |
| じゃなくて、まあ、そのうち暇が出来たら探そう＆考えてみよう | |
| @tsukuno フィレオフィッシュは好かん。。。 | |
| Chrome 8.0.552.215のPDF表示、インラインフレームにPDFがあるとページ全体が自動リサイズされフレームごと縮んで再度リサイズという不動点演算の結果こうなる http://gyazo.com/ef2b3cb08162d6b00dd96291e0348cd6.png | |
| http://code.google.com/p/chromium/issues/detail?id=65395&can=1&q=resize%20PDF&sort=-id&colspec=ID%20Stars%20Pri%20Area%20Feature%20Type%20Status%20Summary%20Modified%20Owner%20Mstone%20OS 9だと直っているようだ。家帰ったら更新しよう | |
| .@kmizu さんにツッコむ会 http://partake.in/events/4f8e08f7-8871-4f1c-8f2e-b96578c79d47 が404 Not Foundになっているような…？ | |
| @mayahjp ども、対応感謝です。 |