3月5日(木) 午後 13:00 - 14:15 |
(1) |
13:00-13:25 |
完全グラフのトポロジカルキューレイアウトの改良 |
○宮内美樹(NTT) |
(2) |
13:25-13:50 |
状態遷移モデルの学習に基づく最適LLPスーパバイザの構成 |
○梅本 聖・山崎達志(摂南大) |
(3) |
13:50-14:15 |
構造変化を伴う大規模建造物における経路探索アルゴリズムについて |
○清水智広・梅野 健(京大)・岡部亜梨子・榎本敦子・野中洋一(日立) |
|
14:15-14:30 |
休憩 ( 15分 ) |
3月5日(木) 午後 WIPセッション 14:30 - 17:25 |
(4) |
14:30-15:30 |
WIPセッション(DES)3件 |
(5) |
15:30-15:50 |
並列分散処理を用いたソフトウェア変更履歴からのコードクローンの検出 |
○茶谷 慎・櫻井孝平・山根 智(金沢大) |
|
15:50-16:05 |
休憩 ( 15分 ) |
(6) |
16:05-16:25 |
Deep Learningを用いた個別株価の予測 |
○松本和也・櫻井孝平・山根 智(金沢大) |
(7) |
16:25-16:45 |
Boolean mapping of a multivalued model using GINsim
-- A toy example -- |
○Kaori Mitani・Hiroshi Matsuno・Adrien Faure(Yamaguchi Univ.) |
(8) |
16:45-17:05 |
基礎語彙に基づく言語系統樹生成のための形質状態データの作成手法 |
○松浦佑哉(山口大)・呉 靭(山口短大)・松野浩嗣(山口大) |
(9) |
17:05-17:25 |
依存縮約による滞留なしペトリネットの等価変換 |
○水田淳史・葛 崎偉・松野浩嗣(山口大) |
3月6日(金) 午前 10:00 - 14:45 |
(10) |
10:00-10:25 |
線形ハイブリッドオートマタのCEGARを適用したSMTベースモデル検査 |
○冨坂征平・柳瀬 龍・櫻井孝平・山根 智(金沢大) |
(11) |
10:25-10:50 |
割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発 |
○小橋潤平・竹下 淳・山根 智・櫻井孝平(金沢大) |
|
10:50-11:05 |
休憩 ( 15分 ) |
(12) |
11:05-12:20 |
DESセッション(発表3件) |
|
12:20-13:30 |
昼休み ( 70分 ) |
(13) |
13:30-13:55 |
大規模グラフのノード分割と逐次集約による並列分散クラスタリングアルゴリズム |
○浅山 陸・櫻井孝平・山根 智(金沢大) |
(14) |
13:55-14:20 |
組込みアセンブリプログラムからのモデル抽出による記号モデル検査 |
○加藤友紀・公下亮佑・櫻井孝平・山根 智(金沢大) |
(15) |
14:20-14:45 |
古文書画像検索システムにおける類似部分グラフ検索手法の提案 |
○長岡弘祥・飯野雄一郎・中田 充・葛 崎偉(山口大) |