講演番号 | 題目/著者 |
---|---|
A-019 | 分散相互排除アルゴリズムの仕様記述言語LNTによるモデル化と検証 橋爪由道, 和﨑克己, |
A-020 | モデル規範型形式手法VDM++による組織の整合性・制約条件に対する記述と検証手法 水野 駆, 和﨑克己, |
A-021 | 形式仕様記述言語VDM++に出力結果を考慮したファジィ集合を作成する手法と推論の提案 牧田蒼斗, 和崎克己, |
A-022 | 制約数が多いホテル従業員スケジューリング問題に対する最適化法の検討 安和良祐, 岡崎威生, |
A-023 | 船舶到着時刻の不確実性を考慮したコンテナ事前整列問題 伊熊大貴, 鮏川矩義, 高野祐一, |