講演番号 | 題目/著者 |
---|---|
A-012 | ペトリネット検証ツール HiPS における on-the-fly LTLモデル検査器の実装 張江洋次朗, 和崎克己, |
A-013 | 拡張被覆グラフを用いた無条件公平解析器のペトリネットツールHiPSへの実装 三井雄太, 張江洋次朗, 和崎克己, |
A-014 | 劣悪な通信環境における受信信号強度の階差を探索の打ち切りに用いた発信者への駆けつけの研究 石井和行, 佐藤 直, |
A-015 | 移動体データからの密集エリアと共通移動軌跡の同時クラスリング 史 旭, 豊田真智子, |
A-016 | 格子気体モデルによるアユの最適放流方策 勝又雄基, 上原隆司, 一ノ瀬元喜, 伊東 啓, 吉村 仁, 泰中啓一, |