| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2014年度)
「from:2015-01-26 to:2015-01-26」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2015-01-26 13:30 |
鳥取 | ブランナールみささ | コード形状を利用したクローン抽出方式の適用評価 ○垣谷広輝・中谷和希・平山雅之（日大）・菊地奈穂美（OKI）  MSS2014-69 SS2014-33 |
コード内の文字数・行数といった形状の特徴や処理に関連した文字の出現回数などの処理の特徴に関する情報を利用し，コードクロー... [more] | MSS2014-69 SS2014-33 pp.1-6 |
| MSS, SS (共催) |
2015-01-26 13:55 |
鳥取 | ブランナールみささ | 派生開発ソフトウェア群に対するコードクローン分析技術の適用事例 ○肥後芳樹・堀田圭佑・村上寛明・楠本真二（阪大）・中村伸裕（住友電工）・加藤孝則・牟田幸功・西川憲二（住友電工情報システム） MSS2014-70 SS2014-34 |
近年盛んにコードクローンの検出および分析技術について研究が行われている が，その技術の適用結果が報告されるのはオープン... [more] |
MSS2014-70 SS2014-34 pp.7-12 |
| MSS, SS (共催) |
2015-01-26 14:20 |
鳥取 | ブランナールみささ | コードクローン解析に対するスーパーコンピュータ導入に向けた試行実験 ○大坂 陽・亀井靖高（九大）・堀田圭佑（阪大）・鵜林尚靖（九大） MSS2014-71 SS2014-35 |
[more] | MSS2014-71 SS2014-35 pp.13-18 |
| MSS, SS (共催) |
2015-01-26 14:45 |
鳥取 | ブランナールみささ | Just-In-Time欠陥予測支援ツール anko ○田中秀太郎・福島崇文・山下一寛・亀井靖高・鵜林尚靖（九大） MSS2014-72 SS2014-36 |
ソフトウェア開発において，効率良くレビューやテストを行うためにソースコードファイルの変更，つまり版管理システムに対するコ... [more] | MSS2014-72 SS2014-36 pp.19-24 |
| MSS, SS (共催) |
2015-01-26 15:25 |
鳥取 | ブランナールみささ | 近似模倣を利用した人間機械系に存在するオートメーションサプライズの検出 ○石井大貴・潮 俊光（阪大） MSS2014-73 SS2014-37 |
人(ユーザ) がユーザインタフェースを通じて機械を操作する系を人間機械系と呼ぶ．人間機械系において，ユーザインタフェース... [more] | MSS2014-73 SS2014-37 pp.25-29 |
| MSS, SS (共催) |
2015-01-26 15:50 |
鳥取 | ブランナールみささ | センサネットワークによるカルマンフィルタリングのためのエネルギー消費と情報量を考慮した最適サンプリング ○今井 健・潮 俊光（阪大） MSS2014-74 SS2014-38 |
[more] | MSS2014-74 SS2014-38 pp.31-36 |
| MSS, SS (共催) |
2015-01-26 16:15 |
鳥取 | ブランナールみささ | 複数のShort Readセットを活用したde Bruijnグラフに基づく二段階De Novoゲノムアセンブリ手法 ○重信琢人・名嘉村盛和（琉球大） MSS2014-75 SS2014-39 |
本稿では、de Bruijnグラフに基づく二段階アセンブリング手法を提案する。 提案手法は同一ターゲットに対して複数の... [more] |
MSS2014-75 SS2014-39 pp.37-41 |
| MSS, SS (共催) |
2015-01-26 16:55 |
鳥取 | ブランナールみささ | 制約付き項書換え系の停止性証明におけるナローイングの効果について ○上山智也・西田直樹・酒井正彦・坂部俊樹（名大） MSS2014-76 SS2014-40 |
[more] | MSS2014-76 SS2014-40 pp.43-48 |
| MSS, SS (共催) |
2015-01-26 17:20 |
鳥取 | ブランナールみささ | A Consideration on How to Model Check Distributed Snapshot Reachability Property ○Wenjie Zhang・Kazuhiro Ogata（JAIST）・Min Zhang（ECNU） MSS2014-77 SS2014-41 |
[more] | MSS2014-77 SS2014-41 pp.49-54 |
| MSS, SS (共催) |
2015-01-26 17:45 |
鳥取 | ブランナールみささ | 例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現 ○太田浩一・濱口 毅・酒井正彦（名大）・山田晃久（産総研）・西田直樹・坂部俊樹（名大） MSS2014-78 SS2014-42 |
本論文では，例外処理を含む関数型プログラムの停止性証明法のひとつである 条件付き依存対法の実現について議論する. こ... [more] |
MSS2014-78 SS2014-42 pp.55-60 |
| MSS, SS (共催) |
2015-01-26 18:10 |
鳥取 | ブランナールみささ | An approach to Application of Inductive Logic Programming to Characterization of Reachable States ○Dung Tuan Ho（JAIST）・Min Zhang（ECNU）・Kazuhiro Ogata（JAIST） MSS2014-79 SS2014-43 |
[more] | MSS2014-79 SS2014-43 pp.61-66 |
| MSS, SS (共催) |
2015-01-27 08:30 |
鳥取 | ブランナールみささ | 区間解析を用いたハイブリッドシステムの統計的モデル検査 ○石井大輔・米崎直樹（東工大） MSS2014-80 SS2014-44 |
[more] | MSS2014-80 SS2014-44 pp.67-71 |
| MSS, SS (共催) |
2015-01-27 08:55 |
鳥取 | ブランナールみささ | 木文法に基づくXML圧縮文書に対する直接更新手法の評価 ○後藤健志（名大）・尾上栄浩（奈良先端大）・橋本健二・関 浩之（名大） MSS2014-81 SS2014-45 |
XMLはデータ蓄積・交換書式として定着しており，XML文書に対する様々なデータ圧縮法が提案されている．その中で木文法に基... [more] | MSS2014-81 SS2014-45 pp.73-78 |
| MSS, SS (共催) |
2015-01-27 09:20 |
鳥取 | ブランナールみささ | 部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー） MSS2014-82 SS2014-46 |
部分観測のもとでの離散事象システムのスーパバイザ構成アルゴリズムは指数時間であることが知られて いる．部分観測のもとで... [more] |
MSS2014-82 SS2014-46 pp.79-84 |
| MSS, SS (共催) |
2015-01-27 10:00 |
鳥取 | ブランナールみささ | ワークフローネットのスーパークラス抽出問題とその解法の洗練 ○西 颯麻・山口真悟（山口大） MSS2014-83 SS2014-47 |
複数のワークフローの共通の振舞いは，それらの振舞いを継承するスーパークラスとしてモデル化できる．筆者らはワークフローネッ... [more] | MSS2014-83 SS2014-47 pp.85-90 |
| MSS, SS (共催) |
2015-01-27 10:25 |
鳥取 | ブランナールみささ | ワークフローネットのリファクタリングに対するimplicitプレースに着目したアプローチ ○張 佳・豊嶋伊知郎・山口真悟（山口大） MSS2014-84 SS2014-48 |
ワークフローネットをその振舞いを保ったままサブクラスのネットへ変換することをリファクタリングという．アサイクリック拡張自... [more] | MSS2014-84 SS2014-48 pp.91-96 |
| MSS, SS (共催) |
2015-01-27 10:50 |
鳥取 | ブランナールみささ | 決定表の統計的縮約法に関する考察 ○加藤裕一（島根大）・佐伯徹郎（山口大）・水野祥太郎（島根大） MSS2014-85 SS2014-49 |
[more] | MSS2014-85 SS2014-49 pp.97-102 |
| MSS, SS (共催) |
2015-01-27 12:30 |
鳥取 | ブランナールみささ | Pull Request駆動型の開発を支援するツールの検討 ○齋藤雄輔・藤原賢二（奈良先端大）・井垣 宏（阪大）・吉田則裕（名大）・飯田 元（奈良先端大） MSS2014-86 SS2014-50 |
[more] | MSS2014-86 SS2014-50 pp.103-108 |
| MSS, SS (共催) |
2015-01-27 12:55 |
鳥取 | ブランナールみささ | トレーサビリティに基づくセキュリティ分析の試み ○谷津弘一（九大）・松並 勝（ソニーデジタルネットワークアプリケーションズ）・澤田壽實（考作舎）・安藤崇央・久住憲嗣（九大）・孔 維強（大連理工大）・福田 晃（九大） |
現在のシステム開発においては，セキュリティ分析は，ソースコードの静的解析や実行されるバイナリコード上での脆弱性判断等，実... [more] | |
| MSS, SS (共催) |
2015-01-27 13:35 |
鳥取 | ブランナールみささ | 事象の頻度が表現可能な形式言語の構築に向けて ○高木 理（群馬大） MSS2014-87 SS2014-51 |
[more] | MSS2014-87 SS2014-51 pp.109-114 |
[研究会発表申込システムのトップページに戻る]