tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20150909 08:07 @ICFPContest2015 thanks!
20150909 09:02 ICFPコンテスト、最終スコアの計算方法の詳細が追記された http://icfpcontest.org/leaderboards/final/leader_board.html 48というのは平均するとトップの70%くらいのスコアとってましたという感じか
20150909 11:00 RT @goryugo: Amazonの在庫が復活したです!在庫なくなるってのは一応出版社見込みより売れてるって感じなんかな? 五藤 隆介 の チューブ生姜適量ではなくて1cmがいい人の 理系の料理 を Amazon でチェック! http://www.amazon.co.jp/gp/product/4798043664?ie=UTF8&camp=1207&creative=8411&creativeASIN=4798043664&linkCode=shr&tag=goryugohan-22&qid=1441763348&sr=8-1&keywords=%E7%90%86%E7%B3%BB%E3%81%AE%E6%96%99%E7%90%86
20150909 11:01 "チューブ生姜適量ではなくて1cmがいい人の 理系の料理" http://www.amazon.co.jp/dp/4798043664 タイトルかっこいい・・・
20150909 11:05 自分自身は任意の焼き加減任意の分量のものをまあこれはこれで旨いと言いながら食す自信があるので、「適量」とかでもあんまりフリーズはしないのだが、そうでもない人は大変だなあと想像する
20150909 11:06 @chiguri ひい
20150909 11:11 分量等の正確性よりは、「このタイミングではこの状態になっていると期待される」「現時点ではあなたが想像する最終完成形とは違う見た目かもしれないが後に続くステップによって的確に処理されるのでこれで安心してよろしい」みたいなチェックポイントの方が欲しい物感がある。
20150909 11:21 料理に限らず計算機ソフト等でも「色々賢く考慮している」のは「賢く考慮しているので大丈夫」とユーザを納得させる伝達と組でないとと思う。例えば電車ルート検索で、駅サイズまで考慮して実行可能乗換プラン出すのはいいけど、そこ考慮済みとユーザに見えないと余計な安全マージン足さざるを得ぬ的な
20150909 11:41 @septef 数ヶ月に一回突然思い立って二週間くらい自炊するが飽きるを繰り返してる(質問の意図に答えてるかどうか不明)
20150909 12:00 @sugarkeys Please!
20150909 23:38 TODOがどこからともなく多方面から湧いてくる感じなのでTODOスタックが複数あったらそりゃチューリング完全だから大変だよなあみたいなことを考えていた
20150909 23:42 正確にはスタック2本+有限状態はTMを模倣できるがそれはスタックの移し替えでテープを模倣できるからで、しかしTODOスタック間の要素移動はできなさそうだし計算能力低そう、でも適当な読替えで移動を模倣できるかな、いや逆にそのような"移動"も巧みに禁ずる計算モデル作れるかとか考えてた

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0