使用法計算:能力と義務
capability と obligation の概念を導入
capability(能力) I/O を実行すれば必ず成功する
(実行しなくてもよい)
obligation(義務) I/O を実行しなければならない
(必ずしも成功しない)
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示