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


ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 中島 震 (NII)
副委員長 結縁 祥治 (名大)
幹事 鷲崎 弘宜 (早大), 高田 喜朗 (高知工科大)
幹事補佐 小林 隆志 (名大)

日時 2013年 1月10日(木) 13:00 - 17:00
2013年 1月11日(金) 09:00 - 12:15
議題 一般 
会場名 沖縄県石垣市民会館 
住所 〒907-0013 沖縄県石垣市浜崎町1丁目1番2
交通案内 石垣空港からバス(東運輸バスターミナルから徒歩で約5分)、または、タクシー
http://www.city.ishigaki.okinawa.jp/400000/410000/410400/cityhall/city_hall.htm
お知らせ ◎1月10日の研究会終了後、懇親会を開催しますのでぜひ御参加ください。
日時:2013年1月10日(木) 18:30-20:30(予定)
会場:舟蔵の里
http://www.funakuranosato.com/
料金:2,000-3,000円程度(予定)
申し込み: https://docs.google.com/spreadsheet/viewform?formkey=dFRtUEhaNjZzTWpqd05LWHY2Tlh0bmc6MQ#gid=0

1月10日(木) 午後  論理と形式手法
13:00 - 14:30
(1) 13:00-13:30 DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題 楠 洋平阪大)・橋本健二奈良先端大)・石原靖哲藤原 融阪大
(2) 13:30-14:00 制約付き項のインスタンスを受理する制約付き木オートマトンの構成法 中野靖大西田直樹酒井正彦坂部俊樹草刈圭一朗名大
(3) 14:00-14:30 リファインメント・プランニング 中島 震NII
  14:30-14:45 休憩 ( 15分 )
1月10日(木) 午後  アルゴリズムと言語処理系
14:45 - 15:45
(4) 14:45-15:15 APIを用いた言語拡張のためのCOINSを用いた処理系実装の試み 塩出拓也川端英之北村俊明広島市大
(5) 15:15-15:45 Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用 安藤 聡酒井正彦坂部俊樹草刈圭一朗西田直樹名大
  15:45-16:00 休憩 ( 15分 )
1月10日(木) 午後  テスト
16:00 - 17:00
(6) 16:00-16:30 パラメータ値に関する制約を考慮したランダムテストの不具合検出率について 重岡大樹小島英春土屋達弘阪大
(7) 16:30-17:00 テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール“Jvis”の開発 松岡慎吾片山徹郎宮崎大
  18:30-20:30 懇親会(開始時刻の変更可能性あり) ( 120分 )
1月11日(金) 午前  文書とモデリング
09:00 - 10:00
(8) 09:00-09:30 ソフトウェア文書の抽象化に関する一考察 里中真人伊豫田善隆・○大西 淳立命館大
(9) 09:30-10:00 Simulinkモデルの保守性向上に向けたクラスタリングおよびUMLモデルとの双方向変換に関する研究 小澤貴之鷲崎弘宜深澤良彰早大
  10:00-10:15 休憩 ( 15分 )
1月11日(金) 午後  プログラム解析と開発支援
10:15 - 12:15
(10) 10:15-10:45 デザインパターン検出ツールを用いた汎化関係の追加に基づくパターン適用可能箇所検出手法 山崎康生高田喜朗高知工科大
(11) 10:45-11:15 オープンソースソフトウェアにおけるソフトウェアライセンス間の包含関係の調査 眞鍋雄貴井上克郎阪大
(12) 11:15-11:45 プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析 渥美紀寿名大)・小林隆志東工大)・阿草清滋京大
(13) 11:45-12:15 Androidアプリケーションの運用時消費電力分析 古庄裕貴久住憲嗣九大)・神山 剛稲村 浩NTTドコモ)・中西恒夫福田 晃九大

講演時間
一般講演発表 20 分 + 質疑応答 10 分

問合先と今後の予定
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 鷲崎弘宜 (早稲田大学)
TEL: 03-5286-3272
FAX: 03-5286-3272
E-:  
お知らせ ◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.washi.cs.waseda.ac.jp/sigss/


Last modified: 2012-12-20 11:49:55


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

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

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

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


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

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


IEICE / 電子情報通信学会