南山大学大学院 数理情報研究科 2013年度 修士論文・OJL報告書要旨集

修士論文要旨

青山　幹雄　研究室

OSLCに基づく分散リソースに対する統一的変更管理方法の提案と評価 (M2012MM002 朝倉 知也)

ユーザ観点からの利用品質に基づくソフトウェア要求仕様書のインスペクション方法の提案 (M2012MM022 森下 月菜)

データマイニング手法を用いたプロダクトメトリクスの類似性に基づくソフトウェアインスペクション方法の提案 (M2012MM028 西川 雅彦)

コンテキストの類似度を用いた動的コンテキストアウェアサービス提供アーキテクチャの提案と評価 (M2012MM040 鈴木 健太)

TOSCAを用いたハイブリッドクラウド上でのアプリケーション分散構築の自動化基盤アーキテクチャの提案と評価 (M2012MM043 高木 裕之)

野呂　昌満　研究室

フォールトのパターン化によるモデル検査支援に関する研究 (M2012MM014 川瀬 進吾)

横森　励士　研究室

コードクローンを利用したソフトウェア部品の評価手法についての考察 (M2012MM038 千賀 英佑)

横山　哲郎　研究室

命令型プログラミング言語におけるプログラム可逆変換の形式化 (M2012MM016 前林 達也)

奥村　康行　研究室

パンクチャリング付き誤り訂正符号によるOCDMA伝送特性の改善効果 (M2012MM026 中野 直史)

適応フィルタを用いたOFDMA-PONにおける偏波回転補償の研究 (M2012MM030 岡田 真人)

人体近傍に配置された2線式折り返しダイポールアンテナの広帯域化に関する研究 (M2012MM034 榊原 拓馬)

非接地型ウェアラブル機器間の伝送特性の測定方法に関する研究 (M2012MM044 高橋 知秀)

複数の迂回パスを考慮したトラヒック推定に基づく帯域設計法 (M2011MM056 大野 祐史)

河野　浩之　研究室

OFFスケジューリングにおけるパケットのバースト確率 (M2012MM017 松原 正悟)

車両構成比に基づくChandlerモデルを用いた最適速度とエネルギー削減 (M2012MM018 松原 宗太)

SVMを用いたハッシュタグを持つTwitter日本語文書に対する皮肉文判別 (M2012MM020 水野 陽介)

段階的通信制限システムを実現するOpenflowコントローラとスイッチの試作 (M2012MM041 鈴木 雅喬)

無線通信ネットワークにおける結合スケジューリングによる遅延評価 (M2012MM048 山本 裕哉)

市川　朗　研究室

2つの代数リッカチ方程式とフォーメーションフライト (M2012MM051 吉田 賢司)

大石　泰章　研究室

多項式によるモデル予測制御器の設計法とその性質 (M2012MM008 市原 寛之)

佐々木　美裕　研究室

大学の定期試験時間割編成モデルの研究 (M2012MM032 小野内 雄一)

連結制約と被覆制約を持つ施設配置問題に対する発見的解法 (M2012MM049 山之内 亮介)

電力価格のリアルタイム・プライシングを考慮したスマートハウスの運用最適化 (M2012MM050 保田 将弘)

鈴木　敦夫　研究室

時空間ネットワークを用いた旅客流動の再現 (M2012MM027 二宮 翔平)

ホームセンターにおける売場の効率性の指標についての研究 (M2012MM033 太田 貴文)

ハイパーキューブモデルを用いた救急車の最適配置問題の研究 (M2012MM039 祖父江 裕介)

高見　勲　研究室

Robust H2 Control with Polytopic Observer for MIMO Descriptor System (M2011MM026 板倉 圭佑)

Robust Control with Adaptive Law for the System Including Unobserved States (M2012MM013 桂山 成也)

磁気浮上に対する3つの変動パラメータを考慮したH∞ゲインスケジューリング制御 (M2012MM024 内藤 和貴)

ロバスト性を考慮した位置決め制御系におけるH∞ループ整形を用いた摩擦補償 (M2012MM025 内藤 正和)

三浦　英俊　研究室

ホームセンターにおける在庫削減を目的とした発注と棚割り (M2012MM012 加藤 勇輝)

ホームセンターにおける野菜苗の発注・在庫振替について (M2012MM015 小林 亮太)

社内便の配送計画立案支援システムの作成と導入 (M2012MM036 櫻井 裕)

徒歩誘導を考慮した一斉帰宅時の鉄道利用帰宅シミュレーション (M2012MM042 鈴木 成美)

木村　美善　研究室

τ推定量に基づくロバスト・リッジ回帰の研究 (M2012MM045 塚原 一翔)

汚れのあるデータのもとでの統計的検定 (M2012MM046 山元 一輝)

小藤　俊幸　研究室

常微分方程式のシンプレクティック数値解法について (M2012MM019 宮川 雅有)

佐々木　克巳　研究室

整数の性質を証明するアルゴリズム (M2010MM046 安江 彰悟)

領域「図形」における証明の構想の数理的考察 (M2012MM005 原田 直樹)

推論を適切に選択するための数理的手法 (M2012MM007 堀場 康行)

個別の事例を対象としたモデル検査 (M2012MM023 長谷 康宏)

松田　眞一　研究室

カーネル主成分分析を用いた判別分析の研究 (M2012MM001 荒切 彰太)

データ構造を拡張したSN比の分布に関する研究 (M2012MM003 藤井 裕之)

テューキー・クレーマー法の中間点の評価に関する研究 (M2012MM006 日比野 真之)

応答曲面の観点からみた最適計画の比較 (M2012MM031 奥村 和也)

引き分けを考慮したBradley-Terryモデルの適用法の研究 (M2012MM035 坂巻 翔太)

OJL報告書要旨

野呂　昌満　研究室

SOAに基づくシステムのためのマルチプラットフォーム対応のアーキテクチャの妥当性確認 (M2012MM004 花井 萌)

SoPLにおける動的再構成の実現に関する研究 -代替サービス検索のための枠組みの提案- (M2012MM010 岩田 繁)

操作対象の制約と操作の関係の明確化に関する研究 (M2012MM011 鹿島 一彦)

コード検査ツールの開発における検査のためのプログラムの自動生成に関する研究 (M2012MM021 水谷 誠孝)

SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究 -実行可能な仕様モデルの構築- (M2012MM029 岡田 大輝)

アスペクトの優先度を考慮したアプリケーション仕様に基づくアスペクトの織込みに関する研究 (M2012MM037 澤田 康太)

携帯端末プラットフォームにおけるアプリケーションアーキテクチャ設計に関する研究 (M2012MM047 山本 幸法)