研究会開催プログラム

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

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

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

トップ

戻る

前のSS研究会 / 次のSS研究会

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

★ソフトウェアサイエンス研究会（SS）
専門委員長　関浩之 (奈良先端大)　　副委員長　中島震 (NII)
幹事　高田喜朗 (高知工科大)，満田成紀 (和歌山大)
幹事補佐　鷲崎弘宜 (早大)

日時　2011年10月27日(木)　13：20～17：20
　　　2011年10月28日(金)　09：30～12：45

会場北陸先端科学技術大学院大学情報科学研究科 III棟5階共同作業室(コラボレーションルーム) 7（〒923-1292 石川県能美市旭台1-1．JR金沢駅からJRと北陸鉄道を経由して鶴来駅からシャトルバス11分（10月1日ダイヤ変更に注意）。またはJR小松駅・小松空港から予約制送迎バス。http://www.info.kochi-tech.ac.jp/sigss/programs/2011-10-trans.html．情報科学研究科鈴木正人）

議題一般

10月27日(木) 午後（13：20～14：50）

(1) 13:20 - 13:50
ソーシャルメディアにおける情報の伝播がもたらす商品の売れ行きに対する影響について～ Twitterのつぶやき数の推移とiTunes AppStoreのモバイルアプリの売れ行きの相関性～
○奥田　輔・安田孝美（名大）・水野政司（クエリーアイ）

(2) 13:50 - 14:20
サービス需給スキーマに基づく情報システム開発手法の提案
○坪田佳久・鯵坂恒夫（和歌山大）

(3) 14:20 - 14:50
DBスキーマ変更を吸収するXMLDB向けDAO設計パターンの提案
○榎本俊文・鈴木源吾・小林伸幸・山室雅司（NTT）

−−−　休憩　（ 15分）　−−−

10月27日(木) 午後（15：05～16：05）

(4) 15:05 - 15:35
ソフトウェア部品検索に適したファセット探索の一考察
○駒水孝裕・早瀬康裕・北川博之（筑波大）

(5) 15:35 - 16:05
デルタ抽出のための効率の良いアルゴリズムの開発と実装
○山根敬史・新田直也（甲南大）

−−−　休憩　（ 15分）　−−−

10月27日(木) 午後（16：20～17：20）

(6) 16:20 - 17:20
［招待講演］ソフトウェア工学研究推進の駆動力
○落水浩一郎（北陸先端大）

10月28日(金) 午前（09：30～11：00）

(7) 09:30 - 10:00
再帰プログラムに対するパラメトリック実行時間解析手法とツールの試作
○椛島和宏・中田明夫（広島市大）

(8) 10:00 - 10:30
リソース制約を持つ複数タスク動作仕様におけるタイムバジェット最適化の一手法
○倉田和哉・百々太市・中田明夫（広島市大）

(9) 10:30 - 11:00
パターンに基づくCSP記述の検査に関する考察
○張　漢明・野呂昌満・沢田篤史・吉田　敦・蜂巣吉成・横森励士（南山大）

−−−　休憩　（ 15分）　−−−

10月28日(金) 午前（11：15～12：45）

(10) 11:15 - 11:45
有限Alloy記述の段階的な構築について
○小飼　敬（茨城高専）・中島　震（NII）・上田賀一（茨城大）

(11) 11:45 - 12:15
分離論理を用いたTOPPERS/ASPの割込み動作に対する検証
○中島　崇・結縁祥治（名大）

(12) 12:15 - 12:45
2リテラル監視法で実装されたSATソルバへの基本対称節処理機能の組み込み
○日野善信・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大）

一般講演：発表 20 分＋質疑応答 10 分

◎27日研究会終了後，懇親会を予定していますのでご参加ください．
金沢マンテンホテル（JR金沢駅前）1F 「万咲」19時－21時

☆SS研究会今後の予定　[ ]内発表申込締切日

2012年1月26日(木)～27日(金)　高知市文化プラザかるぽーと　[11月16日(水)]　テーマ：一般

【問合先】
高田喜朗(高知工科大)
TEL 0887-57-2207
FAX 0887-57-2220
E-mail: