第122回PRO研究発表会

日　程　：　2019年1月17日（木）～ 18日（金）
会　場　：　福山市ものづくり交流館 セミナールームC （17日），セミナールームA （18日）
     （〒720-0067 広島県福山市西町1-1-1 エフピコRiM7F）

1月17日（木） [セミナールームC]

■セッション1（10:30～12:00） 
（1）10:30-11:15　「Hastega: Elixirプログラミングにおける線形回帰のSIMD命令による並列化」
    ◯久江 雄喜,  山崎 進（北九州市立大）
（2）11:15-12:00　「Parallelization of Matrix Partitioning in Construction of Hierarchical Matrices using Task Parallel Languages」
    ◯白 正陽, 平石 拓, 中島 浩（京大）, 伊田 明弘（東大）, 八杉 昌宏（九工大）

-- お昼休み（12:00-13:15） --

■セッション2（13:15～15:30） 
（3）13:15-14:00 「Polymorphic Staged Calculus with Cross-Stage Persistence and Side Effects」
    ◯菊地 綾音,亀山 幸義（筑波大）
（4）14:00-14:45　「Buffered Garbage Collection: An Approach to Collecting Self-Created Garbage Objects」
    ◯山崎 徹郎, 千葉 滋（東大）
（5）14:45-15:30　「A Shell-like Model for General Purpose Programming」
    ◯Jeanine Miller Adkisson, 増原 英彦, Johannes Westlund（東工大）

-- 休憩（15:30-15:45） --

■セッション3（15:45～17:15） 
（6）15:45-16:30　「実行可能コ一ドを対象とするスケ一ラブルかつ部分的パス依存なバッファオ一バ一フロ一静的検知」
    ◯黒岩 将平, 荒堀 喜貴, 権藤 克彦（東京工業大学）
（7）16:30-17:15　「バイナリコードを対象とした高速かつ正確な動的Use-After-Free検出」
    ◯石山 泰地, 荒堀 喜貴, 権藤 克彦（東京工業大学）

□懇親会（19:00～）  詳細はこちら


1月18日（金） [セミナールームA]

■セッション4（10:15～11:45） 
（8）10:15-11:00　「SPINによるメモリ順序を考慮したソフトウェアモデル検査の反例可視化」
    ◯松元 稿如, 鵜川 始陽（高知工科大学）
（9）11:00-11:45　「確率密度関数を用いたソフトウェアテスティングのためのテストケース優先順位付け戦略」
    ◯齋藤 雄太, 佐藤 周行（東大）

-- お昼休み（11:45-13:15） --

■セッション5（13:15～14:45） 
（10）13:15-14:00　「Botコンピューティングと最小経路問題の解法への応用」
    ◯山之上 卓（福山大学）
（11）14:00-14:45　「プログラミング初学者向け教具の提案」
    ◯鈴木 貢, 山口 翔太（島根大）

-- 休憩（14:45-15:00） --

■セッション6（15:00～16:30） 
（12）15:00-15:30　「Javaプログラミング学習支援システムの解答状況可視化および問題推薦機能の実装 」
    ◯松本 慎平, 舩曵 信生, 栗林 稔（岡山大）
（13）15:30-16:00　「Javaプログラミング学習支援システムのコード修正問題の３つの改良 」
    ◯何 賽, 舩曵 信生, 栗林 稔（岡山大）
（14）16:00-16:30　「Three Improvements for Code Completion Problem in Java Programming Learning Assistant System 」
    ◯トゥ— トゥ— サンディ チョウ, 舩曵 信生, 栗林 稔（岡山大）,
    キン キン　ゾン（Yangon Technological University）

※1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分, 質疑・討論10分）
※◯印が登壇者です．
 

日　程　：　2019年1月17日（木）～ 18日（金）
会　場　：　福山市ものづくり交流館
     （〒720-0067 広島県福山市西町1-1-1 エフピコRiM7F）

発表申込締切　：　
  2018年11月16日（金）（通常の発表・短い発表の両方とも）

投稿論文原稿提出締切　：　
  2018年12月14日（金）

案内ページ　：　
  https://sigpro.ipsj.or.jp/pro2018-4/
  発表募集：https://sigpro.ipsj.or.jp/pro2018-4/cfp/