今回の研究：目的とアイディア

型システムを拡張、デッドロックしない使用法を一般化

?

その項をチャネルに型として付加
その簡約により使用法の正当性を判定

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