このモジュールはマルチスレッド(別名 軽量プロセス (light-weight processes)またはタスク(tasks)) に用いられる低レベルプリミティブを提供します -- グローバルデータ空間を共有するマルチスレッドを制御します。同期のための単純なロック(別名 mutexesま…

うーん、例外ってなんだろうなー。

threading.Thread クラスは， start() っていう関数を持ってる．なので，このクラスを継承したクラスは， start っていう名前の値を持ってはいけない． スクリプト言語というかオブジェクト指向に慣れてないので，こういうエラーがでたときに原因を探すのが…

Bisimulation は，お互いがお互いを simulate するものかと思っていたのだけど，そうじゃなかったらしい． つまり， P と Q が bisimilar であることを判定するのに， P が Q を simulate し，かつ Q が P を simulate することを確認すればいい，というわけ…