generated at
2/18/2025, 5:28:54 PM
リアクティブシステム
from
形式手法
自律的に自動でずっと動き続けている
相互作用しながら計算の実行を継続的に行う