条件変数のモデル化と分析の例
オンライン
イベント内容
設計を支援してくれるツール SyncStitch を使って条件変数をモデル化し，生産者・消費者問題を分析した例を紹介します．
ツールの詳細は省き，全体としてどんなことができるのかということを説明したいと思います．
申し込み締め切り後に Zoom meeting の URL を connpass のメッセージにてお知らせします．
※ 昨日（2021年5月11日）に行った「並行システムの設計と検証ツアー」と同内容です．内容により即したタイトルに替えました．
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
お問い合わせ
関連するイベント
【ハーネスエンジニアリング（Harness Engineering）入門】AIエージェントを制御するアプローチ
2026/04/22(水) 開催
【無料ウェビナー】商品開発・材料開発・生産技術…精鋭が集まっても、なぜ開発は遅れるのか。～フロントローディングができない本当の理由と、電子部品・デバイス業界のための製品開発の処方箋～
2026/04/24(金) 開催
SOLIDWORKS DAY 2026 現場から未来をつくる ～実践者が主役のリアル設計EXPO～
2026/04/24(金) 開催