中谷祐介 NAKAYA Yusuke

研究者番号	80318807
その他のID
外部サイト
所属 (現在)	2025年度: 東京通信大学, 情報マネジメント学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2023年度 – 2024年度: 東京通信大学, 情報マネジメント学部, 教授 2009年度 – 2010年度: 早稲田大学, 理工学術院, 准教授 2004年度 – 2006年度: 早稲田大学, 理工学術院, 講師 2002年度: 早稲田大, 理工学部, 助手 2001年度: 早稲田大学, 理工学部, 助手
審査区分/研究分野	研究代表者情報学基礎 / 計算機科学研究代表者以外小区分62030:学習支援システム関連 / 通信・ネットワーク工学
キーワード	研究代表者 Krawczykの方法 / 非線形方程式 / 精度保証付き数値計算 / 精度保障付き数値計算研究代表者以外生成AI / コーディング / トレーシング / スキルの階層構造 / コーディング力 / トレーシング力 … もっと見る / プログラミング教育 / 特異値の分布 / 条件数 / 悪条件行列の生成法 / 事前誤差予測 / 回路構造と精度の関係 / 受動線形抵抗回路 / 非線形理論・回路 / 回路 / 非線形理論隠す

プログラミング初学者のトレーシング力鍛錬のための問題および教育ツールの開発と評価
- 研究代表者
  
  筧捷彦
- 研究期間 (年度)
  2023 – 2025
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分62030:学習支援システム関連
- 研究機関
  東京通信大学
汎用回路解析プログラムの解の精度評価に関する回路理論及びグラフ理論的検討
- 研究代表者
  
  西哲生
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  通信・ネットワーク工学
- 研究機関
  早稲田大学
非線形方程式に対する解の存在検証の高速化に関する研究研究代表者
- 研究代表者
  
  中谷祐介
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  早稲田大学
非線形方程式に対する精度保証付き数値計算法に関する研究研究代表者
- 研究代表者
  
  中谷祐介
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  早稲田大学

すべて 2009 2008 2006 2004

すべて雑誌論文学会発表

[雑誌論文] Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations2009
- 著者名/発表者名
  Yusuke Nakaya, Tetsuo Nishi, Shin'ichi Oishi, Martin Claus
- 雑誌名
  
  Japan J.Indust.Appl.Math. 26(2)
  
  ページ: 327-336
- NAID
  10028169099
- 査読あり
- データソース
  KAKENHI-PROJECT-20560374
[雑誌論文] An Error Bound of a Solution for Linear Passive DC Circuits Without Constructing Circuit Equations2009
- 著者名/発表者名
  Tetsuo Nishi, Shin'ichi Oishi, Yusuke Nakaya
- 雑誌名
  
  Proc.International Symposium on Nonlinear Theory and Applications(NOLTA2009)
  
  ページ: 663-666
- 査読あり
- データソース
  KAKENHI-PROJECT-20560374
[雑誌論文] Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations2009
- 著者名/発表者名
  Yusuke Nakaya, Tetsuo Nishi, Shin'ichi Oishi, Martin Claus
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics vol.26
  
  ページ: 327-336
- NAID
  10028169099
- 査読あり
- データソース
  KAKENHI-PROJECT-20560374
[雑誌論文] Numerical Verification of Five Solutions in Two-transistor Circuits2006
- 著者名/発表者名
  Y.Nakaya, S.Oishi, T.Nishi, M.Claus
- 雑誌名
  
  Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)
  
  ページ: 307-310
- データソース
  KAKENHI-PROJECT-16700018
[雑誌論文] 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法2004
- 著者名/発表者名
  丸山晃佐, 荻田武史, 中谷祐介, 大石進一
- 雑誌名
  
  電子情報通信学会論文誌 Vol.J87-A No.8
  
  ページ: 1111-1119
- NAID
  110003311865
- データソース
  KAKENHI-PROJECT-16700018
[学会発表] 線形抵抗回路の動作点の数値的精度保証法2009
- 著者名/発表者名
  大石進一, 西哲生, 中谷祐介
- 学会等名
  電子情報通信学会回路とシステム研究会
- 発表場所
  ホテルマリックス(宮崎)
- 年月日
  2009-01-23
- データソース
  KAKENHI-PROJECT-20560374
[学会発表] 行列式が1の3次整数行列の-生成法2009
- 著者名/発表者名
  西哲生, 大石進一, 中谷祐介
- 学会等名
  電子情報通信学会回路とシステム研究会
- 発表場所
  宮崎市
- 年月日
  2009-01-22
- データソース
  KAKENHI-PROJECT-20560374
[学会発表] 行列式が1の3次整数行列の一生成法2009
- 著者名/発表者名
  西哲生, 中谷祐介, 大石進一
- 学会等名
  電子情報通信学会回路とシステム研究会
- 発表場所
  ホテルマリックス(宮崎)
- 年月日
  2009-01-23
- データソース
  KAKENHI-PROJECT-20560374
[学会発表] Numerical Verification of Five Solutions in Two-transistor Circuits2009
- 著者名/発表者名
  Yusuke Nakaya, Tetsuo Nishi
- 学会等名
  Proc. 2006 Internat'l Symp. on Nonlinear Theory and its Appl. (NOLTA'09)(pp.663-666)
- 発表場所
  Sapporo, Japan
- 年月日
  2009-10-21
- データソース
  KAKENHI-PROJECT-20560374
[学会発表] 能動素子を含むある種の抵抗回路の解の精度保証について2009
- 著者名/発表者名
  西哲生, 大石進一, 中谷祐介
- 学会等名
  電子情報通信学会回路とシステム研究会
- 発表場所
  釧路市生涯学習センター, 北海道
- 年月日
  2009-07-01
- データソース
  KAKENHI-PROJECT-20560374
[学会発表] 能動素子を含むある種の抵抗回路の解の精度保証について2009
- 著者名/発表者名
  西哲生, 大石進一, 中谷祐介
- 学会等名
  電子情報通信学会回路とシステム研究会
- 発表場所
  釧路市生涯学習センター
- 年月日
  2009-09-23
- データソース
  KAKENHI-PROJECT-20560374
[学会発表] 線形受動抵抗回路の解の精度保証について2008
- 著者名/発表者名
  西哲生, 中谷祐介, 大石進一
- 学会等名
  電子情報通信学会回路とシステム研究会
- 発表場所
  石巻専修大学
- 年月日
  2008-10-14
- データソース
  KAKENHI-PROJECT-20560374
[学会発表] 線形受動抵抗回路の解の精度保証について2008
- 著者名/発表者名
  西哲生, 中谷祐介, 大石進一
- 学会等名
  電子情報通信学会回路とシステム研究会
- 発表場所
  石巻専修大学, 宮城
- 年月日
  2008-10-14
- データソース
  KAKENHI-PROJECT-20560374

1. 高橋規一 (60284551)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 西哲生 (40037908)

共同の研究課題数: 1件

共同の研究成果数: 11件
3. 筧捷彦 (20062672)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 鈴木範子 (10619381)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 坂本一憲 (60609139)

共同の研究課題数: 1件

共同の研究成果数: 0件

中谷 祐介 NAKAYA Yusuke

研究課題

研究成果

共同研究者

プログラミング初学者のトレーシング力鍛錬のための問題および教育ツールの開発と評価

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

汎用回路解析プログラムの解の精度評価に関する回路理論及びグラフ理論的検討

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非線形方程式に対する解の存在検証の高速化に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非線形方程式に対する精度保証付き数値計算法に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations2009

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] An Error Bound of a Solution for Linear Passive DC Circuits Without Constructing Circuit Equations2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations2009

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Numerical Verification of Five Solutions in Two-transistor Circuits2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法2004

著者名/発表者名

雑誌名

NAID

データソース

[学会発表] 線形抵抗回路の動作点の数値的精度保証法2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 行列式が1の3次整数行列の-生成法2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 行列式が1の3次整数行列の一生成法2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Numerical Verification of Five Solutions in Two-transistor Circuits2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 能動素子を含むある種の抵抗回路の解の精度保証について2009

著者名/発表者名

学会等名

発表場所

年月日

中谷祐介 NAKAYA Yusuke