| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★システム数理と応用研究会（MSS） 専門委員長 中村 祐一 (NEC) 副委員長 山根 智 (金沢大) 幹事 山口 真之介 (九工大)， 中田 充 (山口大) 幹事補佐 西脇 大輔 (NEC) ★ソフトウェアサイエンス研究会（SS） 専門委員長 結縁 祥治 (名大) 副委員長 緒方 和博 (北陸先端大) 幹事 小林 隆志 (東工大)， 鷲崎 弘宜 (早大) 幹事補佐 肥後 芳樹 (阪大) 日時 2015年 1月26日(月) 13：30～18：35 2015年 1月27日(火) 08：30～15：30 会場 プランナール三朝（〒682-0123 鳥取県東伯郡三朝町三朝388-1．※ 鳥取空港から会場の ブランナールみささ 付近までの空港連絡バスの時刻表が1月から変更され，三朝温泉までのバスは1日一便となっておりまlすのでご注意ください. 会場とJR倉吉駅間の送迎バスを依頼しています．詳細は下記のページをご覧ください．http://www.sa.cs.titech.ac.jp/sigss/programs/2015-01-access.html） 議題 一般 1月26日(月) 午後 （13：30～18：35） (1) 13:30 - 13:55 コード形状を利用したクローン抽出方式の適用評価 ○垣谷広輝・中谷和希・平山雅之（日大）・菊地奈穂美（OKI） (2) 13:55 - 14:20 派生開発ソフトウェア群に対するコードクローン分析技術の適用事例 ○肥後芳樹・堀田圭佑・村上寛明・楠本真二（阪大）・中村伸裕（住友電工）・加藤孝則・牟田幸功・西川憲二（住友電工情報システム） (3) 14:20 - 14:45 コードクローン解析に対するスーパーコンピュータ導入に向けた試行実験 ○大坂 陽・亀井靖高（九大）・堀田圭佑（阪大）・鵜林尚靖（九大） (4) 14:45 - 15:10 Just-In-Time欠陥予測支援ツール anko ○田中秀太郎・福島崇文・山下一寛・亀井靖高・鵜林尚靖（九大） −−− 休憩 （ 15分 ） −−− (5) 15:25 - 15:50 近似模倣を利用した人間機械系に存在するオートメーションサプライズの検出 ○石井大貴・潮 俊光（阪大） (6) 15:50 - 16:15 センサネットワークによるカルマンフィルタリングのためのエネルギー消費と情報量を考慮した最適サンプリング ○今井 健・潮 俊光（阪大） (7) 16:15 - 16:40 複数のShort Readセットを活用したde Bruijnグラフに基づく二段階De Novoゲノムアセンブリ手法 ○重信琢人・名嘉村盛和（琉球大） −−− 休憩 （ 15分 ） −−− (8) 16:55 - 17:20 制約付き項書換え系の停止性証明におけるナローイングの効果について ○上山智也・西田直樹・酒井正彦・坂部俊樹（名大） (9) 17:20 - 17:45 A Consideration on How to Model Check Distributed Snapshot Reachability Property ○Wenjie Zhang・Kazuhiro Ogata（JAIST）・Min Zhang（ECNU） (10) 17:45 - 18:10 例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現 ○太田浩一・濱口 毅・酒井正彦（名大）・山田晃久（産総研）・西田直樹・坂部俊樹（名大） (11) 18:10 - 18:35 An approach to Application of Inductive Logic Programming to Characterization of Reachable States ○Dung Tuan Ho（JAIST）・Min Zhang（ECNU）・Kazuhiro Ogata（JAIST） 1月27日(火) 午前 （08：30～15：30） (12) 08:30 - 08:55 区間解析を用いたハイブリッドシステムの統計的モデル検査 ○石井大輔・米崎直樹（東工大） (13) 08:55 - 09:20 木文法に基づくXML圧縮文書に対する直接更新手法の評価 ○後藤健志（名大）・尾上栄浩（奈良先端大）・橋本健二・関 浩之（名大） (14) 09:20 - 09:45 部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー） −−− 休憩 （ 15分 ） −−− (15) 10:00 - 10:25 ワークフローネットのスーパークラス抽出問題とその解法の洗練 ○西 颯麻・山口真悟（山口大） (16) 10:25 - 10:50 ワークフローネットのリファクタリングに対するimplicitプレースに着目したアプローチ ○張 佳・豊嶋伊知郎・山口真悟（山口大） (17) 10:50 - 11:15 決定表の統計的縮約法に関する考察 ○加藤裕一（島根大）・佐伯徹郎（山口大）・水野祥太郎（島根大） −−− 昼休み （ 75分 ） −−− (18) 12:30 - 12:55 Pull Request駆動型の開発を支援するツールの検討 ○齋藤雄輔・藤原賢二（奈良先端大）・井垣 宏（阪大）・吉田則裕（名大）・飯田 元（奈良先端大） (19) 12:55 - 13:20 トレーサビリティに基づくセキュリティ分析の試み ○谷津弘一（九大）・松並 勝（ソニーデジタルネットワークアプリケーションズ）・澤田壽實（考作舎）・安藤崇央・久住憲嗣（九大）・孔 維強（大連理工大）・福田 晃（九大） −−− 休憩 （ 15分 ） −−− (20) 13:35 - 14:00 事象の頻度が表現可能な形式言語の構築に向けて ○高木 理（群馬大） (21) 14:00 - 14:25 サービス指向アーキテクチャに基づくシステムの整合性検証に関する研究 ○老邑博行・宮本俊幸（阪大） −−− 休憩 （ 15分 ） −−− (22) 14:40 - 15:05 任意粒度機能モデルに基づく動的型付けプログラミング言語向けソースコード検索手法の提案 ○神谷年洋（公立はこだて未来大） (23) 15:05 - 15:30 改版履歴を用いた変更支援手法における操作履歴の活用に向けて ○山森章弘・Anders Mikael Hagward・小林隆志（東工大） 一般講演：発表 20 分 ＋ 質疑応答 5 分 ☆MSS研究会今後の予定 [ ]内発表申込締切日 3月5日(木)～6日(金) (予定) ITビジネスプラザ武蔵 [1月16日(金)] テーマ：離散事象システム及び一般、Work In Progress、計測と自動制御学会・離散事象システム部会と併催 【問合先】 山口 真之介（九州工業大学） Tel: 0948-29-7572 E-mail:   s ltc k   ☆SS研究会今後の予定 [ ]内発表申込締切日 3月9日(月)～10日(火) 沖縄県青年会館 [1月21日(水)] テーマ：一般 【問合先】 小林隆志 (東京工業大学) TEL: 03-5734-3471 FAX: 03-5743-3471 E-mail: t  ba  ◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.sa.cs.titech.ac.jp/sigss/ Last modified: 2015-01-15 20:15:44 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[MSS研究会のスケジュールに戻る] / [SS研究会のスケジュールに戻る] /
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]