中谷祐介
  • 専任准教授
  • 中谷 祐介 　Nakaya Yusuke
  • 　
  • 博士（情報科学）
  • 数値解析

早稲田大学理工学部情報学科を卒業後、同大学院理工学研究科情報科学専攻修士課程、博士課程を修了。その後、早稲田大学理工学部助手、客員講師などを経て、2010年よりサイバー大学IT総合学部に着任。

担当科目

ソフトウェア開発論I
 コンピュータ上でさまざまな作業を行う際は、目的に応じた各種のソフトウェアを利用する。このようなソフトウェアを開発する際、開発の過程においてプログラミング言語により記述される。そのため、ソフトウェアの開発にはプログラミング言語の習得が不可欠である。プログラミング言語にはさまざまなものがあるが、近年はソフトウェアの開発、保守を効率的に行えるオブジェクト指向プログラミング言語の利用が目立つ。本科目では、ソフトウェアの設計、開発の概要を理解し、オブジェクト指向プログラミング言語による基本的なプログラミング能力を身につけることを目標とする。
コンピュータグラフィックス入門
 コンピュータグラフィックス（CG）とは、コンピュータを用いて作成される画像の総称であり、ゲームや映画といったエンターテインメントの分野をはじめ、設計支援、医療、科学などさまざまな分野で利用されている。本科目では、CG画像を作成する上で必要な知識として、物体をどのようなデータとしてコンピュータ内で扱うか（モデリング）、そのデータをどのようにして画像として表現するか（レンダリング）といった、CGに関する基礎的な理論や技術の習得を行う。また、実際にCG画像を作成する演習を行い、講義内容の理解を深める。

教員データ
教育能力に関する事項

1．教育方法の実践例
1)講義用Webページの作成
平成15年度～平成21年度 「情報リテラシ」「IT入門」「Cプログラミング」「Javaプログラミング」等の情報系科目を担当

現在の研究テーマ

計算機による数値計算を行う際に含まれる誤差を正確に見積もり，計算結果に対する精度を保証する「精度保証付き数値計算」に関する研究
所属学会

電子情報通信学会
学会・社会活動

2006年6月～2008年5月 電子情報通信学会 基礎・境界ソサイエティ 庶務幹事
2011年6月～現在に至る 電子情報通信学会 英文論文誌A 編集幹事
研究活動又は実務経験

2002年4月～2003年3月 ドレスデン工科大学（ドイツ） 客員研究員
研究業績【論文】

1.Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy
共著 査読有 1998年2月 Journal of Universal Computer Science vol.4, no.2

2.変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
共著 査読有　2001年11月 電子情報通信学会論文誌 A, vol.84, no.11, pp.1377-1384

4.実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法
共著 査読有　2004年8月 電子情報通信学会論文誌 A, vol.87, no.8, pp.1111-1119

5.Numerical existence proof of five solutions for certain two-transistor circuits equations
共著 査読有2009年11月 Japan Journal of Industrial and Applied Mathematics, vol.26, no.2-3.

研究業績【その他】

<国際会議>
1.Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy
共著 1996年10月 Proceedings of 1996 International Symposium on Nonlinear Theory and its Applications (NOLTA '96), pp.57-60, Kochi, Japan

2.Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy
共著 1997年9月 Proceedings of GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN '97), pp.VII-5 - VII-8, Lyon, France

3.Mathematical Programming Based Rigorous Numerical Nonexistence Test for Solutions of Nonlinear Equations
共著 1997年9月 Proceedings of GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN '97), pp.VII-9 - VII-11, Lyon, France

4.A Numerical Method for Checking Nonexistence of Solution of Nonlinear Equations Using Optimization
共著 1997年11月 Proceedings of 1997 International Symposium on Nonlinear Theory and its Applications (NOLTA '97), pp.313-316, Hawaii, USA

5.An Efficient Method for Finding All Solutions of Nonlinear Equations with Guaranteed Accuracy
共著 1998年9月 Proceedings of 1998 International Symposium on Nonlinear Theory and its Applications (NOLTA '98), pp.899-902, Crans-Montana, Switzerland

6.Numerical Verification of Nonexistence of Solutions for Nonlinear Equations and its Application to All Solutions Algorithm
共著 1999年12月 Proceedings of 1999 International Symposium on Nonlinear Theory and its Applications (NOLTA '99), pp.835-838, Hawaii, USA

7.A Numerical Method of Proving the Existence of Solution for Nonlinear Equations with Guaranteed Accuracy
共著 2000年9月 Proceedings of 2000 International Symposium on Nonlinear Theory and its Applications (NOLTA2000), pp.689-691, Dresden, Germany

8.Numerical Verification of Solution for a System of Nonlinear Equations
共著 2001年10月 Proceedings of 2001 International Symposium on Nonlinear Theory and its Applications (NOLTA2001), pp.235-238, Zao, Japan

9.Numerical Verification of Five Solutions in Two-transistor Circuits
共著 2006年9月 Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006), pp.307-310, Bologna, Italy

10.A class of ill-conditioned nonlinear algebraic equations
共著 2007年9月 Proceedings of 2007 International Symposium on Nonlinear Theory and its Applications (NOLTA2007), pp.172-175, Vancouver, Canada

<講演>
1.線形計画法を用いた非線形方程式の精度保証付き全解探索
共著 1996年7月 電子情報通信学会非線形問題研究会，NLP96-57, 浜松

2.線形計画法を用いた非線形方程式の精度保証付き全解探索
共著 1996年9月 電子情報通信学会1996年ソサエティ大会，金沢大学

3.「高分子溶液の2相平衡」方程式の精度保証付き全解探索
共著 1996年11月 「新しい科学計算技法とその誤差解析」研究集会，九州大学

4.数理計画法に基づいた非線形方程式の解の非存在の数値的検証法
共著 1996年12月 電子情報通信学会非線形問題研究会，NLP96-111, 早稲田大学

5.化学平衡系の非線形方程式の精度保証付き数値計算
共著 1997年6月 電子情報通信学会非線形問題研究会，NLP97-53, 九州大学

6.高分子溶液の多相平衡に関する非線形方程式の全解探索
共著 1997年9月 電子情報通信学会1997年ソサエティ大会，早稲田大学

7.最適化手法による非線形方程式の解の非存在性の数値的検証法
共著 1997年9月 電子情報通信学会1997年ソサエティ大会，早稲田大学

8.内点法を用いた非線形方程式の探索領域における解の非存在判定法について
共著 1998年3月 電子情報通信学会1998年総合大会，東海大学

9.線形計画法を用いた非線形方程式の解の非存在検証法
共著 1998年3月 電子情報通信学会1998年総合大会，東海大学

10.An Efficient Method for Finding All Solutions of Nonlinear Equations with Guaranteed Accuracy
共著 1998年9月 1998 Internatioal Workshop on Verified Numerical Computation (IWVNC '98), 早稲田大学

11.非線形方程式の解の非存在検証法の効率化
共著 1998年9月 電子情報通信学会1998年ソサエティ大会，山梨大学

12.非線形方程式の解の非存在の厳密な数値的検証法
共著 1999年9月 電子情報通信学会1998年ソサエティ大会，日本大学

13.非線形方程式に対する精度保証付き数値計算法
共著 2001年6月 日本シミュレーション学会第20回シミュレーション・テクノロジー ・コンファレンス，中央大学

14.回路基本定理の反例の計算機による構成
共著 2007年2月 21世紀COEプログラム「プロダクティブICT アカデミアプログラム」総合シンポジウム，早稲田大学

15.Numerical verification of a counterexample for a fundamental theorem on transistor circuits
共著 2007年3月 International Workshop on Numerical Verification and its Applications (INVA2007), 早稲田大学

16.線形受動抵抗回路の解の精度保証について
共著 2008年10月 電子情報通信学会非線形問題研究会，NLP2008-56, 石巻専修大学

17.線形抵抗回路の動作点の数値的精度保証法
共著 2009年1月 電子情報通信学会非線形問題研究会，NLP2008-124, 宮崎

18.行列式が1の3次整数行列の一生成法
共著 2009年1月 電子情報通信学会非線形問題研究会，NLP2008-125, 宮崎

19.能動素子を含むある種の抵抗回路の解の精度保証について
共著 2009年7月 電子情報通信学会回路とシステム研究会，CAS2009-4, 釧路

<解説>
1.線形方程式に対する高速精度保証付き数値計算
単著 2003年4月 日本知能情報ファジィ学会誌，vol.15, no.2, pp.161-167
競争的研究資金の採択歴

研究代表者
・2001年度 科学研究費補助金 奨励研究（A）
「非線形方程式に対する精度保証付き数値計算法に関する研究」（13780256）

・2004年度～2006年度 科学研究費補助金 若手研究（B）
「非線形方程式に対する解の存在検証の高速化に関する研究」（16700018）

このページのトップへ