エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
edubase Streamの講座一覧 « 山本隆の開発日誌
記事へのコメント1件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
edubase Streamの講座一覧 « 山本隆の開発日誌
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