お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 結縁 祥治 (名大)
副委員長 緒方 和博 (北陸先端大)
幹事 小林 隆志 (東工大), 鷲崎 弘宜 (早大)
幹事補佐 肥後 芳樹 (阪大)

日時 2014年10月23日(木) 14:00 - 16:45
2014年10月24日(金) 09:30 - 11:00
議題 一般 
会場名 高知市文化プラザかるぽーと 
住所 高知県高知市九反田2-1
交通案内 高知駅より 土佐電鉄 はりまや橋下車 徒歩5分 / 菜園場下車 徒歩3分 (詳細は下記Webを参照)
http://www.bunkaplaza.or.jp/access/index.html
著作権に
ついて
以下の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

10月23日(木) 午後 
14:00 - 15:00
(1) 14:00-14:30 Javaプログラミング学習のための空欄語選択アルゴリズムの提案 SS2014-25 塔 娜舩曵信生石原伸也岡山大
(2) 14:30-15:00 テストケースを利用したJavaプログラムのアクセス修飾子過剰性分析手法 SS2014-26 大西理功阪大)・小堀一雄NTTデータ)・松下 誠井上克郎阪大
  15:00-15:15 休憩 ( 15分 )
10月23日(木) 午後 
15:15 - 16:45
(3) 15:15-15:45 リポジトリシステムとソフトウェア信頼性モデルを用いた欠陥数予測 SS2014-27 本田 澄鷲崎弘宜深澤良彰早大
(4) 15:45-16:15 UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成 SS2014-32 荒川 洸結縁祥治名大
(5) 16:15-16:45 木文法による圧縮XML文書に対する問合せと更新手法 SS2014-28 尾上栄浩奈良先端大)・橋本健二関 浩之名大)・伊藤 実奈良先端大
10月24日(金) 午前 
09:30 - 11:00
(6) 09:30-10:00 XMLスキーマのもとでのXPath問い合わせの型振る舞い等価性を判定する多項式時間アルゴリズム SS2014-29 二神 司石原靖哲藤原 融阪大
(7) 10:00-10:30 有界な時区間におけるコスト制約問題としての電力消費解析 SS2014-30 中島 震NII
(8) 10:30-11:00 離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出 SS2014-31 廣田 樹結縁祥治名大)・東道徹也デンソー

講演時間
一般講演発表 25 分 + 質疑応答 5 分

問合先と今後の予定
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 小林隆志 (東京工業大学)
TEL: 03-5734-3471
FAX: 03-5743-3471
E--mail: tba 
お知らせ ◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2014-10-20 22:24:58


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

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[研究会発表・参加方法,FAQ] ※ ご一読ください
 

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


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

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


IEICE / 電子情報通信学会