tw.log

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

<<newer (latest) older>>

20080712 03:40 ウルトラ眠い
20080712 03:48 Java は、目指してるモデル(思想?)に対して言語が sound かつ complete になってる感覚があって、そういう意味で書いてて楽で好きだったりする。モデル自体の表現力が大きくないのでそこが批判されるのは妥当だけど、思想から導かれる言語設計としては巧いと思う。
20080712 03:48 sound&incomplete っぽいのは OCaml 辺りかなあ。逆に complete だけど全く sound でない C++ 。 Haskell や D は complete でも sound でもない。目指してるモデル自体が、 complete 化のため鉱脈を掘 ...
20080712 03:48 Scala は、その思想を sound に言語化するのは無理と横からは見えるんだけど(型システムの停止性なんて諦めて表現力の側に全力で振っちゃえよ!みたいな) sound 化すべくすごく頑張ってる感。
20080712 03:50 とかすっごい個人的な感覚的話をしてみたねむい
20080712 03:54 http://twitter.com/nanto_vi/statuses/855760150 そうなんだよなー。 D 版は意図的に各4回くらい出すというネタだったんだけど Java 版はマジで思いつかなかったのが悔やまれる。 @t_yano さんの assert 版と組み合わせるとたぶん完璧
20080712 03:59 @kmizu 青字のコマンド列で動けば基本なんでも OK だと思いますよー。
20080712 04:00 icfpcontest.org 重い www
20080712 04:04 Task   12 頁しかない今年は短い ne
20080712 04:20 @_tad_ みんな問題読むのに熱中してて buzz らせてる暇がないというオチ
20080712 04:24 読み終わた。 2003 年の車ゲームがハードになってあとちゃんとプログラムでやれよって風味で帰ってきた感じだな…
20080712 05:15 LiveCD で動かすのだるいので server 早く欲しい。あとおなかすいた
20080712 05:16 てかまだ http://smlnj.org/icfp08-contest/simulator.html これ LiveCD に入ってるわけでもないのか。さてどうしよう
20080712 05:30 とりあえず submit 用パッケージ作る準備でも整えとくか
20080712 06:24 Submit する環境整備も終わってしまったすることがない
20080712 06:50 やっっっっっっっっっっっっっっっっっっっっっっっっっっっときたー http://smlnj.org/icfp08-contest/simulator.html
20080712 06:59 LiveCD の svn up が BusError で動かないので死にたくなってきた
20080712 07:37 LiveCD 環境が凄い勢いで壊れてきたのでリブートする
20080712 07:51 ランダムウォークするのがやっと動いた
20080712 08:01 1回 submit しとこうかと思ったけどチーム名決めないといけないのか。どうしよう。
20080712 08:20 よっし方針決まった
20080712 09:23 何故か home を器用に回避するルーチンができてしまった
20080712 09:24 ああ視界に入ったら home の情報も来るのか…っていうか今年の ICFPC 舞台が火星ということはやっぱり Digitalmars D を使わないといかんだろうか
20080712 09:37 これは本番どのくらいエグいマップが来ることを想定すればいいんでしょうかねえ
20080712 10:46 スーパー手動チューニングによりようやっと small_scatter で全部 home に戻れるようになった
20080712 10:58 ICFPC 組が沈黙を守っていてさびしいです(><)
20080712 12:40 クレーターの端を駆け抜けるのが生き甲斐みたいなルーチンになってる
20080712 12:54 パラメータを試行錯誤で適当に調整するときに「界王拳、4倍だーーーー!!」みたいなノリで4倍にあげたりしていると楽しい
20080712 12:57 界王拳4倍はクレーターに突撃しすぎることがわかった
20080712 13:08 次 @cpp_akira さんかな? http://www.ustream.tv/channel/wankuma
20080712 13:10 @yasuhito GUI でリアルタイムに画像でローバーとマップが描画されるはずです。ログは特に出ないっぽい
20080712 13:13 @nagise ust でみてます ^^; 手元では ICFP コンテストー
20080712 13:23 @nagise http://www.icfpcontest.org/ から見られます。参加は問題見て作ったプログラム送りつけるだけなのでいつからでもOKですよー
20080712 14:02 とりあえずサンプルは 13 発 13 中で home 行くようになったけど全然思った通りに動いてない←いまここ
20080712 14:11 Windows 版なしかよぅ http://smlnj.org/icfp08-contest/simulator.html
20080712 14:16 シミュレータを変えたら結果が変わったぜ
20080712 14:22 @kmizu 連続実行してもちゃんとポート使い回してくれるようになったみたいです
20080712 15:55 弄りまくってたら全然 home に戻れなくなってきたちょっともう一から考え直すか
20080712 17:04 @shichiseki これはひどい ww
20080712 18:07 だめだー8時間くらい進歩がないどころか退化してるので帰って寝る
20080712 18:08 寝る前にインターネット経由しないで VMWare とファイル共有する方法調べる

<<newer (latest) older>>

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