研究会開催プログラム

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

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

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

トップ

戻る

前のDC研究会 / 次のDC研究会

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

[Japanese] / [English]

ディペンダブルコンピューティング研究会（DC）

[schedule] [select]

専門委員長		井上美智子 (奈良先端大)
副委員長		福本聡 (首都大東京)
幹事		吉村正義 (京都産大)，金子晴彦 (東工大)

ソフトウェアサイエンス研究会（SS）

[schedule] [select]

専門委員長		緒方和博 (北陸先端大)
副委員長		中田明夫 (広島市大)
幹事		小林隆志 (東工大)，肥後芳樹 (阪大)
幹事補佐		島和之 (広島市大)

日時	2016年10月27日(木)　11:00 - 16:45 2016年10月28日(金)　09:30 - 12:35
議題	ソフトウェアシステム, ネットワーク環境でのディペンダビリティ
会場名	彦根勤労福祉会館
住所	〒522-0074 彦根市大東町4-28
交通案内	JR彦根駅からアルプラザ前を東海道線沿いに南へ３００m.徒歩３分京都銀行で左折． http://tachibana.html.xdomain.jp/access/
会場世話人連絡先	大阪大学情報科学研究科土屋達弘 0749-23-4141（会場）
お知らせ	◎懇親会：10/27 19:00～，小間蔵彦根駅前店 https://www.hotpepper.jp/strJ001010922/
著作権について	以下の論文すべての著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

10月27日(木) 午前 11:00 - 16:45
(1)	11:00-11:25	ZDDアルゴリズムを用いた高強度テストケース生成法 SS2016-18 DC2016-20	○大橋　輝・土屋達弘（阪大）
(2)	11:25-11:50	抽象化タイムスタンプを用いたフォールトトレラントシステムのモデル検査 SS2016-19 DC2016-21	○中野伸哉・土屋達弘（阪大）
(3)	11:50-12:15	Faster Wait-free Randomized Consensus with an Oblivious Adversary for MRSW Register Model SS2016-20 DC2016-22	○Sen Moriya（Kindai Univ.）・Michiko Inoue（NAIST）
	12:15-13:15	昼食　（ 60分）
(4)	13:15-13:40	PPM圧縮におけるブロック間バースト誤りに対応する訂正手法 SS2016-21 DC2016-23	○室井拓也・北神正人（千葉大）
(5)	13:40-14:05	位数の大きい整数剰余環を用いた単一Limited-Magnitude誤り訂正符号 SS2016-22 DC2016-24	○小滝翔平・北神正人（千葉大）
(6)	14:05-14:30	スマートグリッド通信におけるフォールトトレランスとプライバシーを考慮したデータ集約に関する一考察 SS2016-23 DC2016-25	○小笠原亮太・新井雅之（日大）
(7)	14:30-14:55	モデル検査を用いたWebアプリケーションのテストケース生成 SS2016-24 DC2016-26	○笠原大和・横川智教・佐藤洋一郎・有本和民（岡山県立大）
	14:55-15:05	休憩　（ 10分）
(8)	15:05-15:30	クロック凍結機構を持つ稠密時間プッシュダウンオートマトンのゾーン構成による検証 SS2016-25 DC2016-27	○平岡　祥・結縁祥治（名大）
(9)	15:30-15:55	#SMTツールを用いた量的情報流解析手法の高速化 SS2016-26 DC2016-28	○中島聖斗・Trung Chu Bao・橋本健二・酒井正彦・関　浩之（名大）
(10)	15:55-16:20	木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法 SS2016-27 DC2016-29	○高山隆之介・橋本健二・関　浩之（名大）
(11)	16:20-16:45	OSバージョンアップ時のアプリ試験効率化手法の提案と実装 SS2016-28 DC2016-30	○浅野浩一・増田真也・小形充弘・小林和正（NTTドコモ）・楯　充史・平山　哲（SEC）
10月28日(金) 午前 09:30 - 12:35
(12)	09:30-09:55	多粒度コードクローン検出手法の提案 SS2016-29 DC2016-31	○幸　佑亮・肥後芳樹・楠本真二（阪大）
(13)	09:55-10:20	ソースコードの変更予測手法による自動プログラム修正の高速化 SS2016-30 DC2016-32	○鷲見創一・肥後芳樹・楠本真二（阪大）
(14)	10:20-10:45	バイナリコード中の文字列に着目したソフトウェアの流用検出 SS2016-31 DC2016-33	○渡辺哲士・門田暁人（岡山大）・玉田春昭（京都産大）・神崎雄一郎（熊本高専）
(15)	10:45-11:10	バイナリプログラム圧縮によるソフトウェア流用検出 SS2016-32 DC2016-34	○上村康輔（奈良先端大）・門田暁人（岡山大）・畑　秀明・松本健一（奈良先端大）
	11:10-11:20	休憩　（ 10分）
(16)	11:20-11:45	原型分析を用いたソフトウェアバグ分析 SS2016-33 DC2016-35	○瀧本恵介・門田暁人（岡山大）・尾上紗野・畑　秀明（奈良先端大）・亀井靖高（九大）
(17)	11:45-12:10	オンラインジャッジの履歴を対象としたプログラマの成長分析 SS2016-34 DC2016-36	○則行祐作・中川尊雄・畑　秀明・松本健一（奈良先端大）
(18)	12:10-12:35	共同開発環境におけるコーディングスタイルの変更に関する調査 SS2016-35 DC2016-37	○小倉直徒・柗本真佑（阪大）・畑　秀明（奈良先端大）・楠本真二（阪大）

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

問合先と今後の予定
DC	ディペンダブルコンピューティング研究会（DC） [今後の予定はこちら]
	問合先	吉村正義（京都産業大学コンピュータ理工学部） E-:cck-
	お知らせ	◎最新情報は，DC研究会ホームページを御覧下さい． http://www.ieice.org/iss/dc/jpn/index.html
SS	ソフトウェアサイエンス研究会（SS） [今後の予定はこちら]
	問合先	肥後芳樹 (大阪大学) TEL: 06-6879-4111 FAX: 06-6879-4114 E-: ist-u
	お知らせ	◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.sa.cs.titech.ac.jp/sigss/