10月19日(木) 午後 SS-1 13:15 - 15:15 |
(1) |
13:15-13:45 |
動的型付き手続き型言語の変更影響分析と振る舞い同定のためのラムダグラフ書き換え系に向けて |
○山本晃治(富士通研) |
(2) |
13:45-14:15 |
トップ木に基づく圧縮データに対する直接更新法 |
○西村 卓・橋本健二・関 浩之(名大) |
(3) |
14:15-14:45 |
XQuery問合せを圧縮XML文書上で評価するための変換手法 |
○小椋寿希也・石原靖哲・藤原 融(阪大) |
(4) |
14:45-15:15 |
離散時間実行環境におけるYampaプログラムの振舞いモデル |
○市橋友樹・結縁祥治(名大) |
|
15:15-15:25 |
休憩 ( 10分 ) |
10月19日(木) 午後 SS-2 15:25 - 16:25 |
(5) |
15:25-15:55 |
Javaプログラミング学習支援システムのコードクローン除去問題におけるメソッド生成課題の改善 |
○石原信也・舩曵信生・栗林 稔(岡山大) |
(6) |
15:55-16:25 |
An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System |
○Khin Khin Zaw・Nobuo Funabiki(Okayama Univ.) |
|
16:25-16:35 |
休憩 ( 10分 ) |
10月19日(木) 午後 SS-3 16:35 - 18:05 |
(7) |
16:35-17:05 |
パターンマッチングのためのデータフローグラフ抽出器の実装 |
○新山祐介・荒堀喜貴・権藤克彦(東工大) |
(8) |
17:05-17:35 |
組織属性観点でのログレコード出現偏りに着目するシステム機能スリム化分析手法の提案 |
○伊藤秀朗・三部良太(日立)・大須賀浩二・保井 努(日立公共システム) |
(9) |
17:35-18:05 |
組込みシステムの要求仕様書に対する修正候補の定量的調査 |
○山本椋太・吉田則裕・高田広章(名大) |
|
- |
一日目の研究会終了後に懇親会を予定しています.懇親会については別途アナウンスいたします. |
10月20日(金) 午前 DC-1 09:30 - 11:30 |
(10) |
09:30-10:00 |
SMTを用いた制約付きロケーティングアレイの生成について |
○金 浩(阪大)・崔 銀惠(産総研)・土屋達弘(阪大) |
(11) |
10:00-10:30 |
Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks |
○Michiko Inoue・Fukuhito Ooshita(NAIST)・Sebastien Tixeuil(UPMC) |
(12) |
10:30-11:00 |
デューティサイクル動作を行う無線センサーネットワークにおけるワームホール攻撃とその対策 |
王 文揚・○蓑原 隆(拓殖大) |
(13) |
11:00-11:30 |
遅延耐性ネットワークとクラウドソーシングを用いたトップ-kリストの作成 |
○唐口翔平・酒井和也・福本 聡(首都大東京) |