サイトマップお問合せヘルプ
講義資料
  • 授業一覧から探す
    • 教養教育院
    • 文学部・人文学研究科
    • 文学研究科
    • 国際言語文化研究科
    • 教育学部・教育発達科学研究科
    • 法学部・法学研究科
    • 経済学部・経済学研究科
    • 情報学部/情報学研究科
    • 情報文化学部
    • 情報科学研究科
    • 理学部・理学研究科
    • 医学部・医学系研究科
    • 工学部・工学研究科
    • 農学部・生命農学研究科
    • 国際開発研究科
    • 多元数理科学研究科
    • 環境学研究科
    • 創薬科学研究科
    • 国際教育交流センター
    • 国際言語センター
    • G30 for everyone
    • 名古屋大学ラジオ公開講座
    • 退職記念講義アーカイブ
    • 退職記念講義2016
    • nuocwをフォローしましょう
    • 過去の特集ページ
    • 教員の方へ
    • NU OCW Podcast
      RSS を iTunes の "Podcast" にドラッグ&ドロップすると、ポッドキャストが登録されます。
      (iTunesは最新版をお使いください)
  1. ホーム >
  2. 情報科学研究科 >
  3. 並行分散計算特論 >
  4. 講義資料
授業ホームシラバス講義資料

講義ノート

第1回
概論 (PDF 文書, 159KB)
第2回
模倣関係・双模倣関係 (PDF 文書, 91KB)
第3回
等価性 (PDF 文書, 78KB)
第4回
並行計算意味論 (PDF 文書, 72KB)
第5回
並行計算意味論 (PDF 文書, 53KB)
第6回
プロセス代数(強等価性) (PDF 文書, 64KB)
第7回
プロセス代数 (PDF 文書, 60KB)
第8回
プロセス代数(弱等価性) (PDF 文書, 94KB)
第9回
プロセス代数 (PDF 文書, 46KB)
第10回
記述例、時間オートマトン (PDF 文書, 80KB)
第11回
時間オートマトンによる検証 (PDF 文書, 87KB)
第12回
時間オートマトンによる検証 (PDF 文書, 73KB)
第13回
モデル検査 (PDF 文書, 162KB)
第14回
時間様相論理 (PDF 文書, 79KB)

最終更新日:2013年01月15日
最終更新日の時点の講義内容で公開を行っております。
最新年度の講義と内容が異なる可能性がありますのでご注意ください。

ページトップへ

http://ocw.nagoya-u.jp/