| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★ソフトウェアサイエンス研究会（SS） 専門委員長 中島 震 (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日(木) 午後 論理と形式手法 （13：00～14：30） (1) 13:00 - 13:30 DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題 ○楠 洋平（阪大）・橋本健二（奈良先端大）・石原靖哲・藤原 融（阪大） (2) 13:30 - 14:00 制約付き項のインスタンスを受理する制約付き木オートマトンの構成法 ○中野靖大・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大） (3) 14:00 - 14:30 リファインメント・プランニング ○中島 震（NII） −−− 休憩 （ 15分 ） −−− 1月10日(木) 午後 アルゴリズムと言語処理系 （14：45～15：45） (4) 14:45 - 15:15 APIを用いた言語拡張のためのCOINSを用いた処理系実装の試み ○塩出拓也・川端英之・北村俊明（広島市大） (5) 15:15 - 15:45 Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用 ○安藤 聡・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） −−− 休憩 （ 15分 ） −−− 1月10日(木) 午後 テスト （16：00～17：00） (6) 16:00 - 16:30 パラメータ値に関する制約を考慮したランダムテストの不具合検出率について ○重岡大樹・小島英春・土屋達弘（阪大） (7) 16:30 - 17:00 テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール“Jvis”の開発 ○松岡慎吾・片山徹郎（宮崎大） −−− 懇親会（開始時刻の変更可能性あり） （ 120分 ） −−− 1月11日(金) 午前 文書とモデリング （09：00～10：00） (8) 09:00 - 09:30 ソフトウェア文書の抽象化に関する一考察 里中真人・伊豫田善隆・○大西 淳（立命館大） (9) 09:30 - 10:00 Simulinkモデルの保守性向上に向けたクラスタリングおよびUMLモデルとの双方向変換に関する研究 ○小澤貴之・鷲崎弘宜・深澤良彰（早大） −−− 休憩 （ 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 分 ◎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 ☆SS研究会今後の予定 [ ]内発表申込締切日 3月6日(水)～7日(木) (予定) 休暇村志賀島 [1月11日(金)] テーマ：一般 【問合先】 鷲崎弘宜 (早稲田大学) TEL: 03-5286-3272 FAX: 03-5286-3272 E-mail:          ◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.washi.cs.waseda.ac.jp/sigss/ Last modified: 2012-12-20 11:49:55 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[SS研究会のスケジュールに戻る] /
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]