使用法計算：正当性

使用法の正当性：

capability には対応する obligation が存在する
任意に簡約しても同様の条件が成立する

正当な例

正当でない例

前のｽﾗｲﾄﾞ次のｽﾗｲﾄﾞ最初のｽﾗｲﾄﾞに戻るｸﾞﾗﾌｨｯｸｽの表示