技術情報にSysML→Bメソッド自動変換ツールの情報を掲載しました