2012年度の学生一覧・関連情報

 

D3 博士3年

水岡 研二(みずおか けんじ)(Mizuoka Kenji)

Research:MDAに基づく生産実行システムの開発支援に関する研究(Research on Development Support of Manufacturing Execution System based on MDA)

 

M2 修士2年

江角 貴宏(えすみ たかひろ)(Esumi Takahiro)

Research:ディスクリプタシステムの伝達関数の高精度数値計算法に関する研究(Research on a Method for Highly Accurate Numerical Computation of Transfer Function of Descriptor System)

松竹 弘海(まつたけ ひろみ)(Matsutake Hiromi)

Research:周波数応答のインタラクティブ修正に基づく制御系設計支援ツールの開発(Development of Control System Design Supporting Tool Based on Interactive Correction of Frequency Response)

元山 忠(もとやま あつし)(Motoyama Atsushi)

Research:無誤差変換に基づく精度保証付き数値計算パッケージの開発(Development of Numerical Computation Package with Guaranteed Accuracy Based on Error-Free Transformation)

山下 雅人(やました まさと)(Yamashita Masato)

Research:PDFからのブロック線図抽出によるシステムモデルの再利用(Reuse of System Model Based on Extraction of Block Diagram from PDF)

 

M1 修士1年

長郷 俊輔(ながさと しゅんすけ)(Nagasato Syunnsuke)

Research:中間言語を用いた制御系のモデルデータの相互変換に関する研究(Research on Interconversion of Model Data of Control System with Intermediate Language)

井手 敬也(いで たかや)(Ide Takaya)

Research:モデルベースド開発手法におけるのシステム制御学習支援システムの開発(Development of Learning Support System on Model Based Design for System Control)

野口 剛史(のぐち ごうし)(Noguchi Goshi)

Research:Knuth・Dekkerのアルゴリズムに基づく無誤差変換を用いた多倍長演算ライブラリの開発(Development of multiple-precision arithmetic library Using ErrorFree Transformation Based on Knuth and Dekker’s Algorithm)

 

B4 学部4年

大橋 博美(おおはし ひろみ)(Ohashi Hiromi)

Research:JOGLを用いたシーングラフによる剛体の3Dモデリングツールの開発(Development of 3D Animation tool of a Rigid Body by Scene graph using Jogl)

川島 関夫(かわしま せきお)(Kawashima sekio)

Research:Javaによる並列コンピューティング基盤の開発と半正定値計画問題ソルバーへの応用()

河野 孝史郎(かわの こうしろう)(Kawano Koshiro)

Research:汎用言語における内部DSLを用いた数値計算に関する研究(Research on the Numerical Computation Using the Inside DSL in Languages in General)

松中 淳一郎(まつなか じゅんいちろう)(Matsunaka Junichiro)

Research:多倍長演算に基づく半正定値計画問題の高精度ソルバーの開発()

川端 悠一郎(かわばた ゆういちろう)(Kawabata Yuichiro)

Research:精度保証付き数値計算に対応した数値計算言語の開発と制御系設計への応用(A Study on Numerical Computation Language for SUpporting Numerical Verification Method)

津村 祐司(つむら ゆうじ)(Tsumura Yuji)

Research:制御系のモデリング・シミュレーションツールの開発()