M2022SC008中尾 瑠以双方向変換フレームワークBIRDSにおけるデータのアクセス権限を指定する制約のひな型の提案 M2022SC012鈴木 雄久不完全情報表現を用いた三方向マージ可能な複製データ型の提案