結論と今後の課題

結論

今後の課題
- 型システムの正当さの厳密な証明
- 実際の並行プログラミング言語への適用
- 最適化などへの応用

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