電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ)
 トップ  戻る   前の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

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

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

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


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


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

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

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

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


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

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


IEICE / 電子情報通信学会