電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップ  戻る   前のDC研究会 / 次のDC研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

★ディペンダブルコンピューティング研究会(DC)
専門委員長 福本 聡 (首都大東京)  副委員長 高橋 寛 (愛媛大)
幹事 新井 雅之 (日大), 難波 一輝 (千葉大)

★ソフトウェアサイエンス研究会(SS)
専門委員長 中田 明夫 (広島市大)  副委員長 小林 隆志 (東工大)
幹事 肥後 芳樹 (阪大), 島 和之 (広島市大)
幹事補佐 林 晋平 (東工大)

日時 2019年10月24日(木) 13:00~17:30
   2019年10月25日(金) 10:00~11:40

会場 熊本大学黒髪南地区W5(工学部研究棟Ⅳ)会議室(〒860-8555 熊本市中央区黒髪2丁目39番1号)

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

10月24日(木) 午後 SS1 (13:00~14:15)

(1) 13:00 - 13:25
Bug Localizationに対して不吉な臭いを使用する有用性の解明
○高橋 碧・セーリム ナッタウット・林 晋平・佐伯元司(東工大)

(2) 13:25 - 13:50
CUIツールの開発支援サービスとしての再構築手順の提案
○宮崎 光・玉田春昭(京都産大)

(3) 13:50 - 14:15
Change Untangling結果の対話的最適化支援環境の試作
○山下 慧・林 晋平・佐伯元司(東工大)

−−− 休憩 ( 15分 ) −−−

10月24日(木) 午後 SS2 (14:30~15:45)

(4) 14:30 - 14:55
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems
○Reo Yoshimura(Nagoya Univ.)・Yoshiaki Takata(Kochi-tech.)・Hiroyuki Seki(Nagoya Univ.)

(5) 14:55 - 15:20
存在限量子付き等式を証明するための書換え帰納法の拡張
○西江一志・西田直樹・酒井正彦(名大)

(6) 15:20 - 15:45
四天王問題の一般化と継続渡しスタイルの関数型言語における非決定性計算による解法プログラム
○横本勇希・小島 渚・島 和之(広島市大)

−−− 休憩 ( 15分 ) −−−

10月24日(木) 午後 DC1 (16:00~17:30)

(7) 16:00 - 16:25
n回状態遷移被覆に基づく非スキャンオンラインテスト法
○池ヶ谷祐輝・石山悠太・細川利典(日大)・吉村正義(京都産大)

(8) 16:25 - 16:50
PPM圧縮における畳み込み符号を用いた誤り訂正手法
○阿部 巧・北神正人(千葉大)

(9) 16:50 - 17:30
フェロー受賞記念講演:LSI ディペンダビリティ - テスト、信頼性、セキュリティ -
井上美智子(奈良先端大)

10月25日(金) 午前 SS3 (10:00~11:40)

(10) 10:00 - 10:25
ソースコードメトリクスを用いたプログラミングコンテストの類似解答群の検出
○原口公輔・神田哲也・井上克郎(阪大)

(11) 10:25 - 10:50
変数に着目した変更メトリクスの有効性について ~ フォールト混入予測精度の比較実験 ~
○川上卓也・阿萬裕久・川原 稔(愛媛大)

(12) 10:50 - 11:15
複数プロジェクトから高速にコードクローンを検出するキュレーションの提案
○土居真之・肥後芳樹・楠本真二(阪大)

(13) 11:15 - 11:40
単語類似度を用いたUMLクラス図理解性メトリクスの改良
○井原輝人・内田眞司(奈良高専)

一般講演:発表 20 分 + 質疑応答 5 分


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

11月13日(水)~15日(金) 愛媛県男女共同参画センター [9月4日(水)] テーマ:デザインガイア2019 -VLSI設計の新しい大地-
12月20日(金) 南紀くろしお商工会 [10月11日(金)] テーマ:(第4回) Winter Workshop on Safety(安全性に関する冬のワークショップ) - (共催:日本信頼性学会)

【問合先】
新井 雅之 (日本大学生産工学部)
E-mail: ain-u

◎最新情報は,DC研究会ホームページを御覧下さい.
http://www.ieice.org/iss/dc/jpn/index.html

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

2020年1月14日(火)~15日(水) (予定) 広島市立大学 サテライトキャンパス [11月14日(木)] テーマ:一般

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

◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2019-10-03 06:13:52


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 

[技術研究報告冊子体販売対象研究会向け:技報の当日価格一覧] ※ 開催2週間前頃に掲載されます
 
[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[SS研究会のスケジュールに戻る]   /   [DC研究会のスケジュールに戻る]   /  
 
 トップ  戻る   前のDC研究会 / 次のDC研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会