東京サブワークショップ

「開発深知」から東京サブワークショップの講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 要求工学ワーキンググループが開催している要求工学に関する研究の成果等のワークショップ「 Continue Reading →

ITプロフェッショナル・インタビュー IT業界を目指す君たちへ

「開発深知」からITプロフェッショナル・インタビュー IT業界を目指す君たちへの講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本コンテンツは、現在、IT業界で活躍されている Continue Reading →

MindStormで学ぶ、UPPAALによる時間制約の検証(全4講義)

「開発深知」からMindStormで学ぶ、UPPAALによる時間制約の検証の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本チュートリアルでは,特に時間制約を扱えるモデル検 Continue Reading →

Coqで学ぶ定理証明入門(全3講義)

「開発深知」からCoqで学ぶ定理証明入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本セミナーでは、検証技術の基本からCoqを使った関数型プログラミングのテクニックと、 Continue Reading →