昨日はSEA関西プロセス分科会に参加してきた。出席者は30人ほど。講師はイーソルの藤倉俊幸氏。前半はアシスタントの方（？）が要求分析、FSP式の記述、LTSAによるモデル検査などを説明していたが、あまりにマニュアル棒読みなので少々酷い。LTSAを初めて見…