一般セッション・学生セッション

ソフトウェア科学・工学

一般セッション[4A会場](3月18日(水) 15:20〜17:50)
開発プロセス 座長 野田 夏子(芝浦工大)
オーディオビジュアルシステム開発におけるXDDP導入に向けた取り組み
○柴崎登紀子,渡邉亮一,尾崎安彦,玉田隆史(三菱)

既存開発チームに対してチケット管理システムを導入するためのアプローチ
○塚本良太,徳本修一,原田雅史,田村孝之(三菱)

ソフトウェア開発標準プロセスのテーラリングの管理における一考察
○葭谷 努(TIS)

因果推論に基づく開発プロセス評価に関する考察
○夏目珠規子,野々村琢人,艸薙 匠(東芝),小島昌一(東芝ソフトウェア・コンサルティング),藤田和也(東芝トレーディング)

ソフトウェアセキュリティ知識ベースを活用したセキュアなソフトウェア開発事例ベースの提案
○櫨山淳雄,齋藤大仁(東京学芸大),吉岡信和(NII),小橋孝紀,鷲崎弘宜(早大),海谷治彦(神奈川大),大久保隆夫(情報セキュリティ大)

社会インフラシステムにおける稼働情報を用いた障害原因調査ツールの提案
○山形知行,益子英昭,武澤隆之,入江直彦(日立)

一般セッション[5A会場](3月19日(木) 9:30〜12:00)
テスト 座長 松浦 佐江子(芝浦工大)
プレース/トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案
○高木智彦(香川大)

ソフトウェア品質向上を目指す高カバレッジ単体テスト設計支援ツールの改良
○斎藤正己,鎌田典彦(NEC通信システム)

ユースケーステスト技法に基づく経路抽出手法の提案
○張 暁晶,丹野治門(NTT)

モデルベーステストに基づくテスト実行スクリプト生成手法の提案
○丹野治門,張 暁晶(NTT)

5A-05
(講演取消)

データI/Oパターンに着目したテスト分析手法の提案
○湯本 剛(筑波大),松尾谷徹(デバッグ工学研究所),津田和彦(筑波大)

ビジネスルールエンジンによる自動生成プログラムの単体テスト効率化に対する提案
○小野裕美,小池賢一,大松史生(三菱)

一般セッション[6A会場](3月19日(木) 14:40〜17:10)
アルゴリズム(3) 座長 上原 隆平(北陸先端大)
列の完成を目的とするソリティアに関するひとつの仮説
○新谷敏朗(福山大)

Magic Graph の代数的考察
○杉山雅英(会津大)

最大充足可能性問題の疎な例題に対する厳密アルゴリズムの改良
○酒井隆行,玉置 卓(京大)

6A-04
(講演取消)

未知領域探索のための自律ロボットの効率的な移動経路決定法
○辻村泰寛,山地秀美(日本工大)

ナーススケジューリング問題の現状と展望
○鈴木邦成,村山要司,若林敬造(日大)

一般セッション[1B会場](3月17日(火) 9:30〜12:00)
数理モデル化と問題解決(1) 座長 吉田 哲也(奈良女子大)
離散一般化ベータ分布を仮定した研究分野マッピングの導出
○蔵川 圭,孫  媛(NII)

1B-02
(講演取消)

1B-03
(講演取消)

ECサイトの商品特性を考慮した2次元確率表による購買予測
○高野祐一(専修大),西村直樹,すけ川矩義(東工大),岩永二郎(NTTデータ数理システム),水野眞治(東工大)

産業連関表・ネットワークダイナミックス・粗視化
○田村 肇(筑波大)

モンテカルロ法を用いた生物学的要因の最適化法
○石井一夫,古崎利紀(農工大)

国際航空ネットワーク上での遅れ確率SIRモデルによる感染症伝播シミュレーション
○佐藤彰洋(京大),澤井秀文(NICT),伊藤功朗(京大),岩田健太郎(神戸大)

一般セッション[2B会場](3月17日(火) 13:00〜15:30)
開発手法 座長 玉田 春昭(京産大)
モデル駆動開発とテスト駆動開発を統合する仕様記述方法の提案
○濱野義満,銀林 純(富士通)

大規模システムに対する形式的要求記述の一方法
○山田隆弘(JAXA)

ユースケースシナリオの欠陥検知を目的とした形式手法の適用
○大坪稔房,山口 潔,岡野信保,來間啓伸(日立)

セキュリティ検証における開発情報に基づく検証項目の順序決定手法
○跡部悠太,千田修一郎,伊藤益夫,西山博仁(三菱)

組込みソフトウェア開発効率化のためのインタフェース定義言語拡張の提案
○田中宏平,森田知宏(三菱)

ゴール選択基準に基づくゴール選択アルゴリズム:gsl-dfs
○佐藤慎一(青学大)

一般セッション[3B会場](3月18日(水) 9:30〜12:00)
数理モデル化と問題解決(2) 座長 棟朝 雅晴(北大)
A Learning Model of Lexicon
○西口純代(東理大)

プロセス改善のためのイベントとリソースの関係に基づく形式概念解析による手法
○池田真土里,山本章博(京大)

店舗選択モデルの構築と整数計画法による変数選択
○佐藤俊樹(筑波大),高野祐一,中原孝信(専修大)

文字列クラスタリングのための Laplace 様混合モデルに対する EM アルゴリズム
○小谷野仁,林田守広(京大)

ベイジアンネットワークへの時間的概念導入方式ー観測計画決定支援への適用とその基本評価ー
○澤田めぐみ,尾崎敦夫,渡部修介(三菱)

解が与えるインパクトを考慮したMAX-MIN Ant System with Memory
○磯崎敬志,長谷川智史,穴田 一(東京都市大)

有限フレネル変換による標本化関数系
○青柳智裕,大坪紘一,青柳宣生(東洋大)

学生セッション[4K会場](3月18日(水) 15:20〜17:50)
数理モデル化と問題解決(2) 座長 松田 健(静岡理工科大)
カッコウ探索と2opt法のハイブリッド化による巡回セールスマン問題の解法
○戸田敬太,熊谷洋佑,藤井昭宏,田中輝雄(工学院大)

非同期移民をもつ分散遺伝的アルゴリズムの解探索性能
○渋谷美月,内田 健(サレジオ高専)

粒子群最適化におけるローカル化及び寿命付きリーダーの有効性に関する研究
○佐伯 誠,坂下善彦,二宮 洋(湘南工科大)

大規模ピクロスへの部分解を利用したGAの適用方法の検討
○助川隆俊,佐藤裕二(法大)

消込処理問題へのGAの適用と探索能力の向上
○奥 由輔,佐藤裕二(法大)

形式仕様に基づくATMシステムにおけるテストケース自動生成へのGAの適用
○杉原 拓,劉 少英,佐藤裕二(法大)

進化計算を用いた歯科医師のための噛み合わせ診断支援プログラム
○武田由美,佐藤裕二(法大)

ニューラルネットによる音源の特性についての検討
○abdullah almatrafi,平松綾子,能勢和夫(阪産大)

特徴点を用いた3次元点群データ位置合わせ法の検討
○小野竜志,小野景子(龍谷大)

学生セッション[5K会場](3月19日(木) 9:30〜12:00)
数理モデル化と問題解決(3) 座長 庄野 逸(電通大)
5K-01
(講演取消)

タスク複製処理に基づく省電力タスク・スケジューリング・アルゴリズム
○栄 優介,朝倉宏一(大同大)

反復法を用いた複数の回帰直線の同時推定
○郷治 雅(お茶の水女子大)

回帰分析によるプロ野球選手起用法の最適化
○吉原直樹,岸上順一(室蘭工大)

5K-05
(講演取消)

相関のあるランダム行列を応用した時系列データのクラスタリング
○伊藤香織(お茶の水女子大)

衛星画像の時系列データを用いた再帰的土地被覆分類手法の検討
○大屋 優,金盛克俊,大和田勇人(東理大)

顕著性マップに基づく風景と調和した広告看板生成の提案
○村上拓也,日吉久礎(青学大)

局所定常的なデータにおけるインパルスノイズの検出および除去
○山口統省(国際基督教大)

学生セッション[6K会場](3月19日(木) 14:40〜17:10)
プログラミング 座長 馬谷 誠二(京大)
並列分散軽量プログラミング言語に適したブレークポイント手法
○工藤朋哉,小宮常康(電通大)

6K-02
(講演取消)

コンパイラのコード最適化に基づいたレジスタとキャッシュメモリの使用の効率化
○澄川靖信,滝本宗宏(東理大)

オフラインWebアプリケーションにおける事前データ取得の半自動化
○磯谷俊明,小宮常康(電通大)

JavaScript関数機能の拡張 -オウン変数と関数クローニング-
○柏倉 歩,谷山信行,大谷 真(湘南工科大)

デコレータの Python から Ruby への自動変換
○中山竜一,松原俊一,Duerst Martin(青学大)

日本語プログラミング言語「プロデル」におけるメソッド調査の手間の軽減
○高橋英一,筧 捷彦,馬場祐人(早大)

プログラムスライシングに基づくコーディングルール適用を行うソースコード均質化システムの提案
○下里祐介,濱川 礼(中京大)

プログラミングと性格に関する一考察
○高澤亮平(早大),坂本一憲(NII),鷲崎弘宜,深澤良彰(早大)

学生セッション[1L会場](3月17日(火) 9:30〜12:00)
メトリクスとシステム開発 座長 水野 修(京都工繊大)
ソフトウェアメトリクスを用いたソースコード検索手法の提案
○曽和寛史,尾花将輝,深海 悟(阪工大)

コード断片の不自然さの比較による保護機構の発見困難さの評価
○松田篤和,神﨑雄一郎(熊本高専),門田暁人(奈良先端大)

保護コードの自然さに着目した命令カムフラージュ
○永井晃人,神崎雄一郎(熊本高専),門田暁人(奈良先端大)

GithubにおけるPullRequestを用いた言語別のプロジェクトの特徴分析
○石田 凌,戸田航史(福岡工大)

提案データのクラスタリングによる類似提案の提示システム
○菅野久樹,新美礼彦(はこだて未来大)

API利用に関するパターンマイニング手法について
○宮里章太,岸 知二(早大)

Webサービス連携を用いた特定業務支援コミュニケーションシステムの構築と評価
○佐藤智己,中所武司(明大)

エンドユーザ主導開発を前提としたマッチングシステム構築技法 -ボランティア活動支援サービスを例題として-
○横井 悟,中所武司(明大)

日本語プログラミング言語に適したプロファイラ測定結果の提示方法
○東海林薫,筧 捷彦,馬場祐人(早大)

学生セッション[2L会場](3月17日(火) 13:00〜15:30)
要求・ソフトウェアプロダクトライン 座長 早水 公二(フォーマルテック)
LReEM: UXのリーン要求獲得方法の提案と評価
○間瀬麻実,下平侑奈,伊藤幸紀,青山幹雄(南山大)

アジャイル開発におけるステークホルダのインタレスト分析方法の提案と評価
○原 起知,青山幹雄(南山大)

RDFを用いたソフトウェア要求仕様書解析システムの提案と評価
○中根拓也,青山幹雄(南山大)

非機能要件が与えるソフトウェアの複雑さへの影響評価のためのフィーチャモデルとCDGの利用
○邵  楠,中里友昭,森谷大輔,渡辺晴美(東海大)

2L-05
(講演取消)

ソフトウェア開発プロジェクト未経験者のための要求把握能力向上トレーニング手法の提案
○齋藤大輔,山浦恒央(東海大)

機能情報を利用した仕様書-ソースコード間の機能対応方法の検討
○増田智樹,伊賀達人,平山雅之(日大)

ソフトウェア要求変更の影響分析手法の提案
○高橋 豪,野田夏子(芝浦工大)

SPLのためのフィーチャ組合せテスト手法に関する考察
○城谷まりな,岸 知二(早大)

再利用資産を利用した効率的なテストケース生成手法の提案
○北村宗大,岸 知二(早大)

学生セッション[3L会場](3月18日(水) 9:30〜12:00)
形式手法と検証 座長 岡野 浩三(阪大)
アジャイル開発において最大効率で仕様変更を行う事を目指して
○三薗義隆(広島市大),大場 充(元広島市大),島 和之(広島市大)

形式的ソフトウェア合成手法におけるモデル細分化システムの設計と構築
○福泉真隆,織田 健(電通大)

形式的ソフトウェア合成手法における部品の充足を考慮した合成手順
○熊谷 恒,織田 健(電通大)

プロブレムフレームに基づく状態マシン設計支援システム
○市川杏子,紫合 治(電機大)

形式仕様に基づくテストケース自動生成
○池田逸人(法大)

Resource Shape に基づくRDF文書の検証方法と評価
○中島啓貴,成田貴大,脇田宏威,青山幹雄(南山大)

分散OS-Plan9を用いた分散パイプシステム
○中原健志,紫合 治(電機大)

組み込みシステムにおける設計制約を検証するためのUMLモデル検査手法
○小林雅弥,松浦佐江子(芝浦工大)

学生セッション[4L会場](3月18日(水) 15:20〜17:50)
アルゴリズム(1) 座長 山内 由紀子(九大)
On r-gatherings on the Line
○赤木俊裕,中野眞一(群馬大)

SOM-TSP法についての検討と改良法の提案
○向 智也,三好 力(龍谷大)

4L-03
(講演取消)

バンディットアルゴリズムを利用したLCSやLCSTの近似計算
○森光太朗,吉仲 亮,山本章博(京大)

拡張文字列パターンによるCGモデルデータの高速構文解析手法の提案
○渡邉優太,坂下善彦(湘南工科大)

災害シミュレーションにおける目的地まで最小曲がり回数で到達する避難経路を生成するアルゴリズム
○尾崎 翔,朝倉宏一(大同大)

学生セッション[5L会場](3月19日(木) 9:30〜12:00)
アルゴリズム(2) 座長 吉仲 亮(京大)
確率的なグラフ連結性判定を用いた越境探知WSNの稼働時間最大化手法
○田頭幸宏,村田佳洋(広島市大)

西日のグレア値を考慮した経路最適化
○松田大樹,村田佳洋(広島市大)

蒸発率の変更を導入したACO法の制約条件付きタスクスケジューリングの問題への適用
○KHALID ALQURASHI,平松綾子,能勢和夫(阪産大)

One-way jumping finite automata
○千川原寛之,ファゼカス ゾルト,山村明弘(秋田大)

非多様体における有限要素補間の研究
○黒木省吾,日吉久礎(青学大)

学生セッション[6L会場](3月19日(木) 14:40〜17:10)
モデルとアーキテクチャ 座長 丹野 治門(NTT)
UML要求仕様における関心事の分離によるモデル駆動開発手法
○川合 怜,松浦佐江子(芝浦工大)

情報共有と意思決定の為の実用的なモデル差分比較ツール
○池田滝飛,松浦佐江子(芝浦工大)

スマートフォンアプリケーション設計に特化したUMLおよびGUIビルダによる相互的なモデリング手法
○松井浩司,松浦佐江子(芝浦工大)

検証ルールの記述による拡張可能なUML図間の整合性検証ツール
○名川裕樹,小形真平,香山瑞恵,海尻賢二(信州大)

WebアプリケーションのGUIを対象としたMBT手法の提案
○ALI HOKROH,岸 知二(早大)

オブジェクト図のアニメーション
○山崎 翔,久保田吉彦,紫合 治(電機大)

Arisco: コンポーネント指向型マルチエージェントシミュレータの提案
○多田龍之介,和泉信生(崇城大)

予約管理システムの開発を素材としたPlay Frameworkの評価
○谷山信行,大谷 真,柏倉 歩(湘南工科大)

Enhanced Web Speech API:ブラウザ非依存なエンジン選択・拡張が可能なHTML5用音声ウェブアプリケーション開発用プラットフォームの提案と実装
○小本勇貴,中野鐵兵,小林哲則(早大)

学生セッション[1M会場](3月17日(火) 9:30〜12:00)
数理モデル化と問題解決(1) 座長 但馬 康宏(岡山県大)
複数分布形状を考慮した駐車時間モデルの開発
○榎 優一(名工大),金森 亮(名大),伊藤孝行(名工大)

野球の勝利確率上昇を目的とした、シミュレーションモデルの開発と研究
○木山翔太(兵庫県大)

時間制限付き優勢領域図によるサッカーの攻守推移モデルの評価
○山中 亮,大塚 寛(愛媛大)

人ー環境ー情報相互作用により生起される旅行者の旅程意思決定プロセスの記述
○金子将之,中平勝子,岡本満喜子(長岡技科大)

実データへの適合を目指した友人関係ネットワークモデルの構築
○井村祐太,武藤敦子(名工大),松井藤五郎(中部大),犬塚信博(名工大)

待ち行列システムの解析結果を利用した公共交通システムにおけるマナー教育
○冨山侑子,宇都宮陽一,奥田隆史(愛知県大)

国際金融危機における市場相関の動的解析
○石野真隆,陳  昱(東大)

ファンダメンタル分析とテクニカル分析を組み合わせた投資戦略の提案
○長尾将宏,長尾智晴(横浜国大)

ランダム行列におけるモーメントのゆらぎに基づく時系列パラメータの検定
○長谷川彩子(お茶の水女子大)

学生セッション[6S会場](3月19日(木) 14:40〜17:10)
数理モデル化と問題解決(4) 座長 林田 守広(京大)
ファイル情報の可視化による分類法の検討
○大谷康介,野口俊樹,大沢泰貴,菅沼義昇,松田 健(静岡理工科大)

ファイル情報の可視化による特徴抽出の検討
○大沢泰貴,大谷康介,松田 健(静岡理工科大)

楽天市場レビューデータにおけるRを用いたデータマイニングの実践
○大楠拓也,徐 海燕(福岡工大)

URL埋め込み型クロスサイトスクリプティング攻撃の特徴検出
○海寳貴人(中大),松田 健(静岡理工科大),園田道夫,趙 晋輝(中大)

線形分類器によるクロスサイトスクリプティング(XSS)の検知に関する考察
○梅原章宏(中大),松田 健(静岡理工科大),園田道夫,趙 晋輝(中大)

アクセスログデータの区間分割に基づくユーザ行動分析
○山岸祐己,斉藤和巳,武藤伸明(静岡県大)

ソーシャルメディアでの信頼リンク生成における媒介者影響の時間減衰分析
○高橋浩規,八田圭斗,熊野雅仁,木村昌弘(龍谷大)

潜在曲線を用いた着色によるSQLインジェクション攻撃の特徴の可視化
○藤岡あやか(中大),松田 健(静岡理工科大),園田道夫,趙 晋輝(中大)

Max-SATソルバーを用いた単語帳作成手法
○杉山幹太,岡本圭史(仙台高専)



footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会