今日書いたストップモーション制約（と呼ぶことにする）は、もともとはご都合主義的に入れた条件だった。勝手に手で入れた条件だから、ダメなものだと思っていた。が、これは実は正しい条件だった気がする。ストップモーション制約を入れると、モノイドのテ…

Webアプリケーションは、HTTP上のRPCアプリケーションとみなすことができる。ただし、単なるRPCではなくて、ハイパーRPCだと言える。ハイパーオブジェクトが介在する点が特徴的。一般的なRPCは次の形をしている。SPは、セマンティック処理（Semantic Process…

「連休中にXXXを勉強しよう」は毎年失敗している。今年は「森田理論の勉強」と思ったが捗らず。森田コンテキストが重要（つうか、これがないとはじまらない）ことはわかった。 可換とは限らない環A, Bがあるとする。 4つ組 (M, N, φ, ψ)が森田コンテキスト。…

「時間がまったく経過しないなら、何も起きない」という原則は当たり前で重要だが名前がない。零時間制約と呼んでおこう。[追記]ストップモーション制約がいいかも。[/追記]