タグ

2011年8月3日のブックマーク (1件)

  • edubase Streamの講座一覧 « 山本隆の開発日誌

    edubase Streamの講座一覧を作った。 ソフトウェア科学・工学に関する最先端授業を無料で閲覧できるサイト「edubase Stream」。 ありがたいサービスだが、サイトの使い勝手はあまり良くない。 今回作成した講座一覧で、edubase Streamが少し使いやすくなったと思う。 基礎理論講座 基礎理論講座 第1回 命題論理 基礎理論講座 第2回 述語論理 基礎理論講座 第3回 集合、帰納的データ構造 基礎理論講座 第4回 並行プログラム 基礎理論講座 第5回 時相論理 基礎理論講座 第6回 性質の記述 基礎理論講座 第7回 オートマトン 基礎理論講座 第8回 CTL,TCTLモデル検査 基礎理論講座 第9回 PTLTモデル検査 基礎理論講座 第10回 モデル検査の実装 基礎理論講座 第11回 抽象解釈 基礎理論講座 第12回 ツール概論 Vol.1 ソフトウェア保守 Vo