研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

前のSS研究会 / 次のSS研究会

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

★ソフトウェアサイエンス研究会（SS）
専門委員長　緒方和博 (北陸先端大)　　副委員長　中田明夫 (広島市大)
幹事　小林隆志 (東工大)，肥後芳樹 (阪大)
幹事補佐　島和之 (広島市大)

日時　2018年 3月 6日(火)　11：30～17：00
　　　2018年 3月 7日(水)　10：00～16：00

会場南大東村立ふるさと文化センター

議題一般

3月6日(火) 午前（11：30～13：00）

(1) 11:30 - 12:00
STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察
○岡野浩三・小形真平・楊　盼（信州大）・岡本圭史（仙台高専）

(2) 12:00 - 12:30
凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について
○結縁祥治・平岡　祥（名大）

(3) 12:30 - 13:00
Packer identification based on Malware analyzer BE-PUM
○Mizuhito Ogawa（JAIST）

−−−　昼食　（ 90分）　−−−

3月6日(火) 午後（14：30～15：30）

(4) 14:30 - 15:00
メソッドレベルセマンティックバージョニングの提案
○林　純一・肥後芳樹・楠本真二（阪大）

(5) 15:00 - 15:30
リファクタリング支援を目的としたメソッドのインライン化事例の特徴調査
○山田悠貴・上村恭平・崔　恩瀞（奈良先端大）・吉田則裕（名大）・飯田　元（奈良先端大）

−−−　休憩　（ 30分）　−−−

3月6日(火) 午後（16：00～17：00）

(6) 16:00 - 16:30
既存コードの再利用によるユーティリティメソッドの自動生成
○松本淳之介・肥後芳樹・下仲健斗・楠本真二（阪大）

(7) 16:30 - 17:00
OSS開発における品質に関する議論の可視化に向けて
○中西駿太・崔　恩瀞・飯田　元（奈良先端大）

3月7日(水) 午前（10：00～11：00）

(8) 10:00 - 10:30
Javaプロジェクトにおける関数型イディオムの実態調査
○田中紘都・柗本真佑・楠本真二（阪大）

(9) 10:30 - 11:00
ソースコードの“自然さ”を用いたリファクタリング評価手法の検討
○有馬　諒・肥後芳樹・楠本真二（阪大）

−−−　休憩　（ 30分）　−−−

3月7日(水) 午前（11：30～13：00）

(10) 11:30 - 12:00
実行トレースの共通性分析に基づく機能開始点の特定
○中野真明貴・野田訓広・小林隆志・林　晋平（東工大）

(11) 12:00 - 12:30
局所性鋭敏型ハッシュを用いたコードクローン検出のためのパラメータ決定手法
○徳井翔梧（阪大）・吉田則裕（名大）・崔　恩瀞（奈良先端大）・井上克郎（阪大）

(12) 12:30 - 13:00
関数型言語における停止性検証のためのランキング関数の回帰推定
○村本大起・佐藤亮介・鵜林尚靖・亀井靖高（九大）

−−−　昼食　（ 120分）　−−−

3月7日(水) 午後（15：00～16：00）

(13) 15:00 - 15:30
システムテストに対するユーザの利用形態に基づく優先度付きテストケース生成手法の提案
○斎藤英美・利國　愛・中川雄一郎（日立）

(14) 15:30 - 16:00
品質保証からみた機械学習ソフトウェアの不確かさ
○中島　震（NII）

−−−　クロージング　（ 30分）　−−−

一般講演：発表 20 分＋質疑応答 10 分

☆SS研究会

【問合先】
肥後芳樹 (大阪大学)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-mail: