https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 6じ20ふん | |
| @finalfusion ねむい | |
| 名前にハートマーク入った橋が話題になってたので渡りたく思って調べてたら近くに楽しそうな橋あった http://www.yomiuri.co.jp/photograph/zoomup/20140224-OYT8T00843.html いや現地の人には笑い事ではないのだろうけど | |
| https://t.co/21CKUVIP2G 見てWikipedia見てたんだけど英語版 http://en.wikipedia.org/wiki/Turing_reduction でstronger reductionと呼んでる物が日本語版 http://ja.wikipedia.org/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E9%82%84%E5%85%83 でより弱い還元になってるのなんで | |
| @kinaba 何かがreducibleであるという命題が強い(AがBより強い iff A=>B)という意味でstrongと英語版は言ってると思うんだけど、弱いと言いたい気持ちもまあわかる(t-reducibleだからといってmany-oneできるかわからない的な)けどまあしかし | |
| カノムチン ナムギョウというタイ料理が異常なうまさで http://www.blueceladon.com/Siam_Celadon_ocyanomizu.html で食べるたびに進化している気がする |