2007-01-17から1日間の記事一覧
どうも細切れの時間と、本業と干渉がここのところ激しく検討が進まない。 指折り残について考えてみた。あれは結局、複数FSMを組み合わせた サブシステムとしてみたときに、ある性質ψを満たすためには、 不要なプロトコルがあるよということを指折り演算によ…
どうも細切れの時間と、本業と干渉がここのところ激しく検討が進まない。 指折り残について考えてみた。あれは結局、複数FSMを組み合わせた サブシステムとしてみたときに、ある性質ψを満たすためには、 不要なプロトコルがあるよということを指折り演算によ…