基幹理工学研究科/graduate school of fundamental science and

2015年度　基幹理工学研究科　修士論文題目

数学応用数理専攻/ Department of Pure and Applied Mathematics

Master's Thesis Title / Graduate School of Fundamental Science and Engineering (AY 2015)

青木　琢哉 A Class Number Problem for the Cyclotomic Z_2-extension of Q(sqrt{5})

大塚　まり子 A subring of the group ring of the modular group over a field

加瀬　叶純粋交換経済における戦略的操作性

宮澤　亮ある実二次体の単数について

泉　啓太高次元時系列の共分散構造の推定

一宮　佳右キャッシュバック戦略と携帯事業者各社の競争

エスカレーターのフロアフィールドモデルの構築

今村　隼人単位閉区間上の連続写像の族に関する射影的極限について

岩井　秀輔全ユーザのクラスタが未知の場合におけるマルコフ決定過程を用いた推薦システムについて

延東　和茂保存量を有する確率セルオートマトンの基本図

小副川　陽平特定の基本対称式の漸近挙動

影山　優太統計的決定理論に基づく有限バッファHybrid Selective Repeat ARQ の最適制御方式に関する研究

風間　皐希 array-error通信路における復号に関する一考察

角谷　俊之介投票力指数への非対称性の導入について

金子　拓郎混相流シミュレーター検証のためのモデル実験

釜　国明高次元従属時系列の共分散構造の解析

上條　寛司ある特異性を持った常微分方程式系の解の精度保証付き数値計算法の構築

櫛田　昂矢 Shortley-Weller近似の差分法の3次元領域への適用

1/20 ページ




久保　航汰グラフの構造とメッセージ更新に注目したストリーム暗号に対する統計的決定理論に基づく最適な鍵推定攻撃法について

国分　隼 4を含む仮因子をもつ代数体の構成

小林　弘典 Thresholdingによる高次元時系列の共分散行列の逆行列の推定

小松　勇斗 affine arithmeticにおけるダミー変数削減について

齋藤　大樹宇宙のインフレーション理論

斎藤　優臣ダブルオークション市場における注文数分布のmean field game的考察

坂井田　要無限群のCayleyグラフと拡大級数について

佐々木　荘介与えられた位数8のGalois群をもつ虚二次体上の最大不分岐2-拡大について

佐々木　貴広 Banding Sample Covariance Matrix in High-Dimensional Time Series

佐藤　尚倫 Richard Thompson群Fとその性質

谷田　義行 Regularized estimation of large autocovariance matrices for non-Gaussian stationary process

田端　利紀ゲルファントの超幾何関数について

富久　拓磨 nearly Kaehler多様体上のゲージ理論とR^7上のG_2-instantonについて

長土居　俊孝 Global stability for a predator-prey system in two-patch environments with refuge

中野　美枝子新しい界面モデルを用いた液中粒子の動的シミュレーション

中原　悠太グラフの局所構造を生かした最適化手法の改良のためのグラフ構造の解析や設計に関する研究

中村　紀翔代数方程式の解の精度保証付き数値計算法

中村　充伸円対称銀河による重力レンズ効果

2/20 ページ




野上　時生ある種の代数体におけるLeopoldt's Conjectureの別証

野澤　優介 GPGPUによる行列積の包含

野田　ふみ QR分解を用いた連立一次方程式の数値解に対する精度保証付き数値計算法

平塚　勇気ネットワーク上の投票力指数-バンザフ指数の再評価-

広川　未流 SHGH conjecture and the irrational of Seshadri constants

COVARIANCE MATRIX ESTIMATION OF HIGH-DIMENSIONAL TIME SERIES

槙　友佳里変形Bessel関数の精度保証付き数値計算法

増井　秀之プライバシー保護機能を持つ分散型正則化ロジスティック回帰に関する研究

WordNetを利用したフレーズ抽象化に基づく統計的機械翻訳

三沢　昂非圧縮Navier--Stokes方程式に対するEuler近似特性曲線/射影有限要素スキームの誤差評価とその応用

守屋　貴司区間で定常なパラメータをもつ無記憶情報源に対するオーバーフロー確率のしきい値の評価

山口　俊樹区間演算における数学関数の数値計算

山口　弘晃線形計画法を用いた精度保証付き区間演算

吉井　平八郎 H行列を用いた精度保証付き数値計算法の改良とスパースM行列の高精度な最小固有値の精度保証付き数値計算法

米本　茉利恵半無限区間のFourier型積分に対する精度保証付き数値計算法

渡部　芳奈子聴覚印象による日本語単音節連想色の分析

3/20 ページ


情報理工学専攻/ Department of Computer Science and Engineering


藤田　哲治入力画像の違いによる画像フィルタの優劣に関する考察

菅原　裕太 OpenCV for Android の並列処理方式による性能評価

Partial MaxSAT 問題における局所解の求解に対する並列 SAT ソルバの有用性の評価

4/20 ページ


機械科学専攻/ Department of Applied Mechanics


小嶋　伸弥非アブレーション熱防御システムの熱構造性能に関する研究

磁力支持天秤装置を用いた火星探査カプセルの動的安定性に関する研究

秋山　亮定電流カソード水素チャージ下の水素侵入特性に及ぼす電流密度と硫黄量の影響

明比　建基線長拘束条件付きRTK測位を用いた小型マルチコプターの高精度姿勢推定

朝日　拓真 PC鋼材の腐食挙動と水素侵入に及ぼすNi添加の影響

天野　雄祐極超音速統合制御実験用エンジンの設計及び性能取得試験

有馬　大気象および経済データの時系列分析

生駒　大貴多重衝突パルス噴流による航空宇宙用エンジンの圧縮レベルに関する研究

石田　広之自由ピストン二段膜衝撃波管の改良と発光分光計測を用いた気流診断

板垣　雄太ターボ機械における非定常渦の挙動と発生機構に関する研究

稲村　健太表面テクスチャがスラスト軸受の潤滑特性に及ぼす影響

稲荷　秀太火星環境における電気集塵

薄　功大平面配置電極駆動による電場応答性エラストマーの屈曲変形を用いた発色素子

岡　俊介二段軸流圧縮機におけるサージ･旋回失速共存系に関する研究～条件付二重位相固定平均法を用いた非定常内部流動の調査～

小方　亮平 PV出力抑制下における家庭用エネルギー管理システムの運用成績評価手法の構築

岡本　拓馬多重衝突パルス噴流圧縮型ロケットエンジンの数値解析研究

小川　貴史アブレシブウォータージェットによるコンクリート切削に関する研究～切削深さのリアルタイム推定手法～

5/20 ページ




小口　陽平単一の駆動機構による1対の支持梁を持つMEMSスキャナの3次元駆動

奥村　優太不完全膨脹ベーン形モータの効率改善に関する研究

小澤　憲人射出成形ガラス長繊維強化ポリアミドの衝撃引張特性に及ぼす繊維径の影響

小田　哲郎水素化物生成・分解に着目したNi-Ti超弾性合金の水素放出挙動解析

梶江　雄太相反転式潮流発電タービンの流体励振力予測手法と構造強度評価手法の確立

糟谷　宏樹航空エンジン用軸流圧縮機の耐ディストーション性能に及ぼす前方スイープ動翼の影響～非一様流入条件下における内部流れ場の数値解析～

上遠野　雄太誘電アクチュエータを用いた月レゴリスの振動搬送

要田　航前方スイープ動翼を有する軸流圧縮機の耐ディストーション性能に関する研究～インレットディストーション条件下における失速余裕と内部流れ構造の調査～

川島　惇 T字分岐管における気液二相流の相分離特性に関する研究

川原　拓真無閉塞ポンプの内部流れと紐挙動の解明による設計最適化

川本　大輔誘導結合プラズマ加熱器により生成されるプラズマ気流の超音速化と気流計測

菊田　耕平 WC-Al2O3セラミックス複合材料の作製

北内　征士郎相反転式潮流発電タービンの軸系安定性評価

木村　拓幹スクイーズフィルムダンパにおける液膜係数の検討

古賀　悠斗デブリ除去衛星の姿勢変動実験及び数値シミュレーション

小島　健太郎 Octagon型衝突パルス噴流圧縮のダブルピストンエンジンの燃焼実験研究

小島　拓未静電力を利用した小惑星上のレゴリスのサンプリング

6/20 ページ




後藤　夏実視線入力によるコンピュータ操作支援システムの研究・開発～ユーザビリティの向上～

小林　航機体干渉を考慮したインテークに関する数値的研究

小松　啓樹水力機械羽根車翼端隙間におけるキャビテーション強さの評価とエロージョンの予測

小峯　隼人高張力鋼板の応力緩和特性にひずみ速度とひずみが与える影響

権藤　詩織高炭素鋼極細線の機械特性評価方法の確立および最適伸線条件による延性の改善

齋喜　雅仁標準ネットワーク理論に基づく人工脳の基礎研究

齋藤　健斗確率論的手法を用いた粗さを持つメカニカルシールの潤滑特性

齊藤　瑞樹半溶融状態を用いた発泡A2024合金作製における初晶粒子が気孔安定性に及ぼす影響

坂本　武吸収器の熱・物質同時移動現象に関する研究

坂本　勇樹極板形状の非対称化による静電容量型ボイド率計の精度向上に関する研究

佐々木　敬 HC + HFC系混合冷媒のPVTx性質に関する研究

繁田　彬磁気力と振動を利用した月・火星上のレゴリスのサンプリング

21Crフェライトステンレス鋼の耐発銹性に及ぼすNi添加の影響

城　裕一朗硫黄が第1世代Ni基単結晶超合金TMS-1700の高温特性に及ぼす影響の解明

シング　彰産業用ヒートポンプに用いる遠心圧縮機内部流れの三次元数値解析

杉本　駿小型月着陸実験機(SLIM)用能動型蛍光X線分光計の熱設計

航空機のモーフィング機構の研究

武田　翔馬熱処理による金属疲労き裂の自己修復及び修復過程における熱応力解析

7/20 ページ




田中　亮極超音速航空機における強制冷却構造の設計検討

陳　駿逸エレクトロスピニング法によるCA-PEIナノファイバー作製およびNi,Pd,Ag,Auの捕集性評価

塚越　貴哉 N災害発生現場のための遠隔無人車両偵察システムの開発～PPP/NDT-SLAM/INS複合によるロバスト性の高い位置推定～

柘植　紫苑層間高靱性化厚肉CFRP積層板の面外方向疲労特性に及ぼす応力比の影響

津田　啓史折紙構造物の安定性とエネルギー特性

中井　琢也 Bi-octagon型衝突パルス噴流圧縮による航空宇宙用エンジンの燃焼実験研究

中島　峻浩円筒ディフューザ内に生じるキャビテーションサージの発生および脈動周波数に寄与するパラメータの評価

中村　紘大液中プラズマ処理による白金ナノ粒子担持グラフェンの創成および電気化学特性評価

中村　利樹定電位試験法による二相ステンレス鋼のすき間腐食優先溶解挙動の遷移

中村　揚平ターボチャージャの脈動流下における非定常特性の解明

沼尻　朋大大気圧プラズマによるグラファイト表面の改質

葉賀　祐一朗月レゴリスの静電分級

長谷川　顕也 Tri-octagon型衝突パルス噴流圧縮のシングルピストンエンジンの燃焼実験研究

原　昇太郎過給機用遠心圧縮機における非定常流動現象に関する研究　～段失速の発生構造および圧縮機性能に及ぼす影響～

東野　嵩風洞実験と数値解析による極超音速統合制御実験機の空力特性評価

兵頭　達也低温排熱駆動アンモニア吸収式ヒートポンプとガスヒートポンプを組み合わせたシステムの年間運用評価

平林　遥介ひれ付伝熱管によるプリクーラ伝熱面への着霜遅延化に関する研究

8/20 ページ




平松　英人遠心形ディフューザポンプの低流量域における内部流れの解明と不安定特性の改善

平山　拓入口非一様流下におけるターボジェットエンジン性能に関する研究

伏野　友之空調空間と空調機の連成シミュレーションに関する研究

藤山　大樹加圧溶浸法によるCNF強化Al基複合材料の作製および評価

古田　育生溝形状が気体潤滑ヘリングボーンスラスト軸受の軸受特性に及ぼす影響

細川　陽平水平微細円管内蒸発伝熱特性に関する研究

堀江　貴将左右のパラメータの異なる油潤滑へリングボーン型ジャーナル軸受の潤滑特性

堀野　剛史櫛型プラズマアクチュエータを用いた翼型後縁の剥離抑制効果に関する研究

真木　小太郎エジェクターの数値流体解析と設計手法に関する研究

正木　亮高含水廃棄物を対象としたヒートポンプ式蒸発脱水システムの研究～バイオマス燃料を用いた発電設備の熱交換器網最適設計～

三浦　史大確率的手法を用いたスタートアップ企業の価値評価

森岡　勇太遠心送風機を含む管路系のサージングに関する実験・研究～管路長の短い系におけるサージング現象の無次元による解析～

森山　真幸ウインドミル状態が斜流圧縮機に与える影響に関する数値解析

山岸　幹多重衝突パルス噴流圧縮エンジンの液体燃料噴霧・燃焼の数値解析研究

山本　姫子ジェットエンジン燃焼器の燃料噴射条件に対する排出物特性に関する数値解析

山本　佑一郎上昇角傾向に基づく航空機速度モデルの線形補間を用いた到着時間予測に関する研究

吉井　悠貴多段遠心ポンプの軸方向振動低減に向けたバランスディスクの安定性および内部流れの評価

9/20 ページ




黒鉛化処理による高剛性無撚カーボンナノチューブ糸の創製

吉田　隼 CPGを有する腕振り二足歩行モデルのゆらぎ制御による構築

吉田　拓 ISS用CO2吸脱着装置における水分がゼオライトのCO2吸着に与える影響

渡邉　太一繰返し負荷下におけるCFRTP積層板のトランスバースクラック発生評価

古志　知也伸縮基板上金属配線に生じるき裂の自己修復

10/20 ページ


電子物理システム学専攻/ Department of Electronic and Physical Systems


池田　悠馬ニューラルネットワークを用いた材料特性予測

石原　広識神経細胞のパターニングによるモジュール構造型神経回路の構築

糸川　卓志 3d遷移金属を添加したSrTiO3の電子状態解析

井下　匠マルチフェロイクス物質Bi1-xSmxFeO3におけるモルフォトロピック相境界付近での誘電状態

岩田　亮 Er添加Sr2SnO4のフォトクロミック特性評価

内田　潤一 Fe添加BaZrO3におけるFeの局所環境解析

加瀬　絢也無機フォトクロミック物質BaMgSiO4:FeにおけるFeの局所環境解析

加藤　亮太自律移動ロボットの障害物回避手法に関する研究

兼本　章義 Er,Yb共添加CaZrO3の蛍光特性

川口　拓磨ダークソリトンの中心におけるゼロモードの量子ゆらぎ

川村　唯樹可視光LANプロトコルにおけるMAC層の研究

櫛田　昂歳ナノ構造を用いた1分子蛍光イメージング法に関する研究―DNAの構造変化の1分子観察―

栗原　大知 Mn-Si-V合金におけるνおよびH相の結晶学的特徴

小池　悟大ナノホールレジストマスクを用いたイオン注入によるダイヤモンドNVセンタ配列の作製

後藤　崇将強相関電子系Ca1-xLaxMnO3における0.10＜x＜0.20組成域での結晶学的特徴

後藤　智哉回路の時間展開とSAT判定を用いた順序的クロックゲーティングの自動挿入手法に関する研究

Mn-Si-V合金における近似結晶H相と(σ→H)構造変化の特徴

小室　雅春光位置検出素子を用いた変位と回転角の同時計測に関する研究―建物の耐震性評価に向けて―

11/20 ページ




小山　遼太圧電素子に伴う自電源駆動型電力変換回路およびスタートアップ機構の設計に関する研究

坂本　留実酸化チタンの光触媒作用を用いた細胞接着および遊走評価系の構築

櫻井　貴文 Six-Step FFTアルゴリズムに基づく高効率並列FFTプロセッサに関する研究

嶋田　裕介光インターコネクション用交差導波路型シリコン光スイッチの研究

白谷　あゆみ強相関電子系酸化物Sr1-xNdxMnO3における軌道整列状態の特徴

鈴木　大渡動的電圧・周波数制御におけるタイミングエラーへの耐性を持つ集積回路設計に関する研究

関根　浩平液中細胞パターニングへの酸化チタンの光触媒能の活用に関する研究

単一命令セットを利用したプログラムの動作環境保存手法に関する研究

武井　勇樹全光論理素子に向けた多重積層量子ドットの組成混晶とその集積デバイス応用の研究

樽井　健司 Co添加CeO2希薄磁性体における強磁性発現機構

千葉　悠貴エルビウムを注入したシリコンの発光特性及び電気伝導特性の実験的評価

永井　秀樹シリコンプラットフォーム上へのハイブリッド集積化の検討

永井　康裕原子核αクラスター状態に対するBose-Einstein凝縮描像による励起エネルギーのα粒子数依存性

西山　洋子 ZnO：GaへのF添加が及ぼす電気伝導性と透明性への影響

平野　大輔故障解析に耐性を持つ暗号回路設計に関する研究

福留　祐治サブスレッショルド電圧動作時におけるDTMOSとDTMOSをFinFETへ適用した回路設計に関する研究

別所　凛太郎フェーズフィールド法によるBaTiO3のドメイン組織形成シミュレーション

星野　伸明混晶系強誘電体Ba(Ti1-xZrx)O3における強誘電状態

12/20 ページ




前木　和プロトンを含む地球下部マントル物質MgSiO3の第一原理計算

松本　恭平 SnO2系透明導電酸化物に及ぼすF,Sb添加の影響

森谷　真帆熱酸化SiO2 極薄膜の誘電率と原子配列のSi基板面方位依存性

安田　直矢水中における可視光通信の特性評価と品質向上に関する研究

山田　佐代子シリコンスロット導波路によるCNTの可飽和吸収特性に関する研究

横井　裕人リング共振器光フィルタの狭帯域化と曲線型方向性結合器による偏光無依存化の検討

横山　大 General Purpose using GPUによる拡張Lagrange法の数値計算の高速化

12Cαクラスター状態に対するBose-Einstein凝縮描像による解析と遷移確率の計算

劉　明磊イメージセンサを用いた水中可視光通信の評価

13/20 ページ


表現工学専攻/ Department of Intermedia Studies


三浦　祐 GPSを利用した自動作曲のための携帯情報端末用アプリケーションの開発

今井　亮太演算クロックの高速化による1bit信号の処理

大隈　智博有彩色光照明を利用した感情伝達に関する研究-アンビエントな感情伝達システム「emo-Light」-

川鍋　徹実世界に陽炎を重畳させて対象物の見えを変化させる空間ディスプレイ

菅原　由貴視覚障害者のための介助指示に関するコミュニケーションツールの研究 -デジタルメディアを用いた介助システムの提案-

田村　有希点音源と球面調和関数展開による音源の放射特性の推定

平野　加依神経回路モデルを用いた人間とロボットの模倣インタラクションに関する研究

保田　速人分散配置したスマートフォンを用いた複数音源の記録と再生

山田　竜郎人間ロボットインタラクションを目的とした再帰結合型神経回路モデルによる言語と行動の動的統合

鈴木　遼リアルタイム C++ コーディングのための C++/AngelScript ハイブリッド開発・実行環境の提案

14/20 ページ


情報理工・情報通信専攻/ Department of Computer Science and Communications Engineering


相澤　和也実行時要求緩和のためのゲーム理論を応用した環境モデル分析手法に関する研究

青木　一樹階層成長型自己組織化マップによるマルウェアのクラスタリング

青木　大樹省電力動画像配信に向けたICNネットワーク消費電力量評価

天堤　拓郎次世代移動通信システムに向けた多元接続法に関する研究

飯塚　修平マルチコア上でのコンパイラ制御によるアプリケーションの低消費電力化に関する研究

五十嵐　啓太セレクタ論理を適用した3次元画像処理回路のFPGA実装に関する研究

池西　大起スロースキャンの偵察行為の特徴分析

石井　智大 Convolutional Neural Network による衛星画像上の地物認識

石津　裕也 NDN上のビデオ配信における再生バッファ制御に基づく電力モデル提案と省電力化への検討

磯嶋　光春関数型言語を用いたゲームライブラリの制作

伊藤　剛史ハイブリッド制約言語HydLa処理系の並列化による高速化

稲垣　沙津紀 Body Area Healthcare Network Employing Ultrasonic Signal

今井　哲フラクタル次元解析による脳作業負荷の自動定量評価

今村　和樹 MU-MIMO下りリンクNLPにおける格子基底縮小と象限検出を適用したVPの最適化に関する研究

岩瀬　弘道脳波を用いた二要素認証システムの提案

岩野　俊介 Minnaert則を考慮した小惑星の3次元復元

上里　和也 Personalized PageRankを利用した網羅的Twitterユーザ属性推定

氏原　圭亮 MU-MIMO伝送への端末アンテナ選択の適用に関する研究

15/20 ページ




浦川　翔馬仮想現実感システムにおけるキャラクターへの没入感の変化に関する研究

江畑　樹登録情報に基づく悪性ドメインの実態調査

視線情報を用いた視聴者の非侵襲型可読言語推定

大石　皓太郎機械学習を利用した打楽器の音源同定

大渕　敬寛隣接交差点間の自動車台数を考慮した自律的信号制御手法の提案

大屋　優設計段階における耐ハードウェアトロイ技術に関する研究

岡野　和徳 Twitterを活用した鉄道運行情報判定手法の改善－運転再開判定の精度向上と重複通知の防止－

奥村　万里子 OSCARコンパイラを用いた医用画像フィルタリングのマルチグレイン並列処理

音森　一輝初学者用プログラミング学習ツールにおけるキャラクタが与える学習動機づけの分析

折橋　翔太 8K映像における画像局所特徴量を用いたH.265/HEVCの符号化画質改善

影浦　直人 OSCAR自動並列化コンパイラにおける自動メモリ配置決定機能及び構造体解析機能の実装

川端　萌美 A Study on Communication Scheme of Public Safety Network in Wide-Area Disaster Situation

神田　庸平同一人物に見える範囲で最大限に顔画像の美形化

ギ　ヘ OSCAR 自動並列化コンパイラの C++ 対応に関する研究

HTTP遷移の特徴分析によるWeb感染型マルウェアの早期検出

小林　純一 Element Extraction Method for Developing Source Code Analysis Tools Supporting Multiple Programming Languages

小堀　貴信 Efficient and exhaustive identification of rationales using GQM+Strategies with stakeholder relationship analysis

16/20 ページ




小松　裕樹 LTE無線通信基地局におけるレイヤ2信号処理の自動並列化及びOSCAR自動並列化コンパイラを用いた構造体配列・多重ポインタの解析

小本　勇貴 Enhanced Web Speech API:ブラウザ非依存なエンジン選択・拡張が可能なHTML5用音声ウェブアプリケーション開発プラットフォームの研究

齋藤　健吾希望順位を反映したリソース割当て問題

齋藤　択光学習における検索の影響とモチベーションの向上に関する研究

笹生　憲マルウェアの多クラス分類に有用な静的情報の特徴抽出

鹿野　晶滉直線輪郭検出器の導入による省メモリ高速一般物体検出システムの提案

芝　夢乃信頼ネットワーク形成によるグループワークの公平な相互評価法の提案

OSCARコンパイラを用いた医用画像3Dノイズリダクションの自動マルチグレイン並列処理

渋澤　亮介複雑ネットワークにおけるエージェント間の調整と協調の促進について

島野　浩史アイテムの属性につけられた評点を利用した推薦

志村　正樹スパムトラップによるマルウェア付スパムメールの特徴分析

蒋　慧倩 Scan-based Attacks on the Block Cryptography LSIs using Scan Signatures

白戸　諒ブロッキングを考慮した移動体衛星通信用TCPプロトコルに関する研究

杉原　啓太運動想起型BCIの制御性能向上に向けたニューロフィードバックヒト訓練システム

杉山　歩未マルチエージェント巡回清掃における未知環境下での自律的な戦略学習と協調手法の提案

鈴木　貴広車載マルチコア環境におけるSimulinkアプリケーションの自動並列化

須藤　一輝モデル変換によるドメイン固有性質の形式検証に関する研究

17/20 ページ




意図性の異なる多様な情報行動を可能とする音声対話システム

User-Agent毎のDNSキャッシュの効果分析

竹越　健斗 Twitterにおけるフォロワーマーケットの実態調査とフェイクアカウントの抽出方法

竹田　圭吾チャンネル指向インタフェースを用いた高齢者と家族の交流のためのインタラクション設計とその評価

竹田　健吾可視角ランドマークに基づく屋外歩行者案内

武部　嵩礼動的解析の Deep Learning による亜種マルウェア推定法

田中　優利ソフトウェア無線基地局及び渋滞予測シミュレーションを対象とした社会インフラ情報システムの並列化に関する研究

玉田　裕子符号化MIMO-OFDMにおけるFEC復号に有効な尤度に関する研究

趙　克偉初心者に真に役立つコンパイルメッセージの提案

津村　耕司 Pairwise Coverage-based Testing with Selected Elements in a Query for Database Applications

出浦　佑樹不正侵入検知システムのレイテンシ削減手法及びネットワーク上での性能評価

中井　秀矩 Initial Framework for Software Quality Evaluation based on ISO/IEC 25022 and ISO/IEC 25023

奈良　耕太再帰的な文脈パターンマッチング機能を持つグラフ書換え言語の設計と効率的な実装手法

二宗　素紀ゲーミフィケーションとマズローの欲求５段階説を用いたタグ付きコーパスの作成

畠山　恭明キーワードに基づく一般的な回答を行う相談システムの提案

林　佑磨発話間関係の構造化による会議録からの議論マップ自動生成システム

春田　かすみ国際標準化と携帯電話事業戦略分析

Global Standardization and Analysis of Strategy of Mobile Phone

18/20 ページ




福意　大智「並列化されたプログラムのトレースへ向けたLinux ftrace の拡張」及び「計算機システムエミュレータによるプログラムの実行再現手法」

藤野　朗稚エキスパートによるマルウェア解析レポートと動的解析ログの相関分析

藤本　裕介タグ数推定とトピックモデルを用いた自動タグ付け手法の研究

藤原　晃一レジスタ分散型アーキテクチャを対象とした低レイテンシー指向FPGA高位合成に関する研究

松澤　岬操作履歴を基にしたAndroidアプリケーションのユーザビリティ評価支援手法に関する研究

丸小　倫己セルラーシステムへのMU-MIMO THPの適用に関する研究

三浦　大幸 VR-HMD-NUI型アプリケーションのためのアフォーダンスデザイン

三木　亮祐基礎律動を用いた印象の類似性に基づく音楽分類に関する研究

三原　寛高非線形増幅を伴うシングルキャリヤ信号の伝送特性解析法に関する研究

宮下　裕貴互恵エージェントを用いた組織形成によるマルチエージェントシステムのチーム編成ゲーム効率化

宮本　貴弘グリーンICNアーキテクチャおよびその評価

森田　皆人臓器の位置関係を考慮した3D医用画像の多臓器同時セグメンテーション

柳澤　秀彰マンガキャラクターを対象とした多視点顔検出の研究

矢吹　潤コンパイラ制御による低消費電力化に向けた電力プロファイルの自動測定手法の研究

須永　佑輔 The Impact of Combinations of Personal Characteristic Types in Different Controlled Project-Based Learning Courses

横山　拓郎フェージング変動に追従するスキャッタードパイロットの適応的配置法に関する研究

吉岡　重紀生成型一文要約のためのマルチアテンションモデル

芳澤　正敏テストテンプレートを用いたセキュリティ設計パターンの実装支援

19/20 ページ




吉田　慎之介低面積コストなタイミングエラー対策と暗号システムへの応用に関する研究

若槻　祐彰ハイブリッド制約処理系HyLaGIへのLTLモデル検査の導入

和気　珠実 OSCAR自動並列化コンパイラにおけるマルチコアプロセッサ上でのWebMデコーダの並列化および画像処理並列性解析機能の拡張

和田　努ハイブリッド制約言語 HydLa 処理系における数式処理と区間演算を組み合わせたシミュレーション実行

渡邉　卓弥 RouteDetector: 9軸センサ情報を用いた位置情報追跡攻撃

王　瀾 Improving Chinese Native Language Identification by Cleaning Noisy Data and Adopting BM25

SHINMOTO ALVAREZ, Rafael Alejandro

Assessment of Named Node Networking Support for Producer Mobility

ZHANG, Chengcheng The study of Information-Centric Network Disaster System

CHEN, Guang jie A Study on UAV automatic navigation and landing system

MA, Xinyue Multiple Goals Achievement of Goal-Based Interactive Story Generation

古城　辰朗書き込みビット数削減と誤り訂正を実現する不揮発メモリ向け符号構成手法

20/20 ページ

基幹理工学研究科/graduate school of fundamental science and

Documents