研究会開催プログラム

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

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

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

トップ

戻る

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

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

[Japanese] / [English]

★ソフトウェアサイエンス研究会（SS）
専門委員長　小林隆志 (東工大)　　副委員長　岡野浩三 (信州大)
幹事　島和之 (広島市大)，林晋平 (東工大)
幹事補佐　小形真平 (信州大)

★ディペンダブルコンピューティング研究会（DC）
専門委員長　高橋寛 (愛媛大)　　副委員長　土屋達弘 (阪大)
幹事　新井雅之 (日大)，難波一輝 (千葉大)

日時　2020年10月19日(月)　13：00～17：15

会場オンライン開催

議題ソフトウェアシステムとディペンダブルコンピューティングおよび一般

10月19日(月) 午後セッション1 （13：00～14：30）
座長: 新井雅之（日本大学）

(1) 13:00 - 13:25
実行ログの比較によるシェルスクリプト振る舞い検証
○桐生仁司（信州大）・須田　聡（三菱電機）・小形真平・岡野浩三（信州大）

(2) 13:25 - 13:50
LTL Model Checking for Register Pushdown Systems
○Ryoma Senda（Nagoya Univ.）・Yoshiaki Takata（KUT）・Hiroyuki Seki（Nagoya Univ.）

(3) 13:50 - 14:15
不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法
○金　浩・土屋達弘（阪大）

−−−　休憩　（ 15分）　−−−

10月19日(月) 午後セッション2 （14：30～16：00）
座長: 林晋平（東京工業大学）

(4) 14:30 - 14:55
言語モデルに基づくDockerfileコード補完システムの提案
○華山魁生・柗本真佑・楠本真二（阪大）

(5) 14:55 - 15:20
コンテナ仮想化技術におけるSelf-Admitted Technical Debtの調査
○東　英明・柗本真佑（阪大）・亀井靖高（九大）・楠本真二（阪大）

(6) 15:20 - 15:45
プルリクエスト型開発への統合を目的としたコードクローン修正支援システムの提案
○中川　将・肥後芳樹・楠本真二（阪大）

−−−　休憩　（ 15分）　−−−

10月19日(月) 午後セッション3 （16：00～17：15）
座長: 小形真平（信州大学）

(7) 16:00 - 16:25
現実的な設定に基づいたバグ予測モデルの構築及び精度評価
○荻野　翔・肥後芳樹・楠本真二（阪大）

(8) 16:25 - 16:50
コードレビュー向けコメント行位置予測ツールの試作
○神谷年洋（島根大）

(9) 16:50 - 17:15
継続渡しスタイルの関数型言語における非決定性プログラムに関する考察
○佐野勇樹・横本勇希・小島　渚・島　和之（広島市大）

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

☆SS研究会今後の予定　[ ]内発表申込締切日

2021年1月26日(火)～27日(水)　オンライン開催　[11月16日(月)]　テーマ：一般

【問合先】
林晋平（東京工業大学）
TEL: 03-5734-3213
E-mail:

◎最新の情報はSS研究会ホームページでご確認ください．
https://www.ieice.org/iss/ss/

☆DC研究会今後の予定　[ ]内発表申込締切日

11月17日(火)～18日(水)　オンライン開催　[9月7日(月)]　テーマ：デザインガイア2020 -VLSI設計の新しい大地-
12月11日(金)　洲本市文化体育館（淡路島）　　テーマ：(第5回） Winter Workshop on Safety（安全性に関する冬のワークショップ） - （共催：日本信頼性学会）

【問合先】
新井雅之（日本大学生産工学部）
E-mail: a