2007-01-07から1日間の記事一覧

POPL 2007

実は、そのPOPLに2泊5日の強行日程で行く予定です(去年は行けなかったので、今年はスケジュールがきつくても行きたかった)。ここで内容を報告する時間の余裕があるか、約束はできませんが努力します。前日の朝に着いて(併設ワークショップあり)、2日目…

配列のサイズの推論

http://homepage3.nifty.com/mogami/diary/d0701.html#06t3コメントがつけられない(or 僕がつけ方がわからない)のでこちらで。何か自分の知らない背景や別の意図があったらすみません。 まず、一般に「データのサイズが静的にわかる」ことと「そのデータを…