2016年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
A-012ペトリネット検証ツール HiPS における on-the-fly LTLモデル検査器の実装

張江洋次朗,  和崎克己,  

A-013拡張被覆グラフを用いた無条件公平解析器のペトリネットツールHiPSへの実装

三井雄太,  張江洋次朗,  和崎克己,  

A-014劣悪な通信環境における受信信号強度の階差を探索の打ち切りに用いた発信者への駆けつけの研究

石井和行,  佐藤 直,  

A-015移動体データからの密集エリアと共通移動軌跡の同時クラスリング

史  旭,  豊田真智子,  

A-016格子気体モデルによるアユの最適放流方策

勝又雄基,  上原隆司,  一ノ瀬元喜,  伊東 啓,  吉村 仁,  泰中啓一,