このような問題を自動的に解決するために、我々は並行オブジェクト 指向の枠組にトランザクションや同期制約などのメカニズムを導入 することに注目し、複数ユーザでも使いやすい分散システムを構築 するための基礎研究を行っています。