研究会開催プログラム

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

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

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

トップ

戻る

前の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 沖縄県石垣市浜崎町１丁目１番２
交通案内	石垣空港からバス（東運輸バスターミナルから徒歩で約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/