A分野 モデル・アルゴリズム・プログラミング |
|
プログラミング | |
9月15日 (火)9:30-12:00 1A会場 (講義棟2階 講23)
座長 富永浩之(香川大) |
|
A-001 | 変数値域限定による充足可能性判定効率化手法の検討 ◎中山寛己・千代英一郎(成蹊大) |
A-002 | 文法推論に基づくシステム仕様からのモデル生成高速化手法の検討 ◎金子 舟・千代英一郎(成蹊大) |
A-003 | (講演取消) |
A-004 | 混合型時間アンビアント計算のCTLモデル検査 樋口昌宏・◎稲森啓太(近畿大) |
A-005 | 混合型時間アンビアント計算の記述性; Timed Mobile Ambientとの比較 ◎藤坂吉秀・樋口昌宏(近畿大) |
A-006 | (講演取消) |
A-007 | JavaScriptへのオウン変数機能と関数クローニング機能の追加 ◎柏倉 歩・大谷 真(湘南工科大) |
アルゴリズム | |
9月15日 (火)13:00-15:00 2A会場 (講義棟2階 講23)
座長 河村 泰之(愛媛大) |
|
RA-001 | 正モジュラ関数の最適化 ○石井利昌(北大)・牧野和久(京大) |
RA-002 | 区分線形関数に対する最適合成順問題の計算量 ◎河瀬康志(東工大)・牧野和久(京大)・勢見賢人(トーア再保険) |
A-008 | 内部3連結グラフの外7角格子凸描画 ○三浦一之(福島大) |
A-009 | ZDDのトップダウン構築における変数順序付け法の実験と考察 ◎伊藤 華・井上祐馬・湊 真一(北大) |
A-010 | ビット数の大きな整数の乗算アルゴリズムの実験的性能評価 ◎橋本翔太・上土井陽子・若林真一(広島市大) |
コンピュテーション | |
9月15日 (火)15:30-17:30 3A会場 (講義棟2階 講23)
座長 河村泰之(愛媛大) |
|
A-011 | 正規表現の接頭辞及び接尾辞を用いたNFA構成法の実験的評価 ○南波龍一・宮本純平・山本博章(信州大) |
A-012 | A Semigroup of Homomorphisms Based on Vertex Connectivity of Weighted Directed Graphs ○國持良行(静岡理工科大) |
A-013 | ファジィ符号について ◎大橋由侑・荒木智行(広島工大) |
RA-003 | キャッシュの効果を考慮したルーフラインモデルの拡張によるプログラムの性能予測 ○南 一生(理研)・井上俊介(富士通システムズ・イースト)・千葉修一(富士通)・横川三津夫(神戸大) |
A-014 | ペトリネット状態空間生成器への高効率ハッシュマップの適用 ◎古市隼汰・和崎克己(信州大) |
A-015 | ペトリネット設計検証ツールHiPSにおけるOn-the-fly LTLモデル検査器 ◎張江洋次朗・和崎克己(信州大) |
数理モデル化と問題解決 | |
9月16日 (水)9:30-12:00 4A会場 (講義棟2階 講23)
座長 但馬康宏(岡山県大) |
|
A-016 | (講演取消) |
A-017 | サッカーの攻守推移のモデルからのパスの抽出 ◎佐藤祐亮・山中 亮・大塚 寛(愛媛大) |
A-018 | 観光情報源種別による旅行者の共感状態が旅行先決定過程に与える影響 ◎金子将之・中平勝子・岡本満喜子(長岡技科大) |
A-019 | 16進数コードの出現状況に着目したバッファオーバーフロー攻撃の特徴抽出 ◎南後吉秀(中大)・松田 健(静岡理工科大)・園田道夫・趙 晋輝(中大) |
A-020 | 線形分類器によるクロスサイトスクリプティング(XSS)攻撃の検知に関する考察 ◎梅原章宏(中大)・松田 健(静岡理工科大)・園田道夫(中大)・水野信也(静岡理工科大)・趙 晋輝(中大) |
A-021 | IoTに向けたシステム融合に関する一考察 ○三木良雄(工学院大) |
A-022 | Bag of Systemsを用いた運転行動解析 ○柏倉俊樹・三宮千尋・田中雄介・栗原慶典・那和一成(トヨタIT開発センター) |