MongoDBの日時（date型）は、UNIXエポックからのミリ秒だそうです。 http://docs.mongodb.org/manual/reference/bson-types/#date より： the number of milliseconds since the Unix epoch (Jan 1, 1970). ミリ秒はちょっと珍しいかな。UNIXエポックからの…

2,3日前に、Catyのスキーマ処理系がスタックを使い尽くす現象が起きました。僕はバグかと思っていたのですが、そうではなくてホントにスタックが足りないのでした。バグでないとは言え、計算資源を使い過ぎるという問題があるので、これはKuwataさんが修正（…