所属
教育研究院 自然科学系 特任准教授
創生学部 特任准教授
創生学部 特任准教授
職名
特任准教授
外部リンク
オガタ ユウト
小形 優人
OGATA Yuto
研究キーワード
-
最適化
-
凸解析
-
集合値解析
研究分野
-
自然科学一般 / 応用数学、統計数学
経歴（researchmap）
-
新潟大学 創生学部 特任准教授
2026年4月 - 現在
-
金沢学院大学 情報工学部 情報工学科 講師
2024年4月 - 2026年3月
-
金沢学院大学 経済情報学部 経済情報学科 講師
2020年4月 - 2024年3月
-
新潟市立万代高等学校 非常勤講師
2019年10月 - 2019年12月
-
新潟県立大学 非常勤講師
2019年4月 - 2020年3月
-
新潟大学 博士研究員
2019年4月 - 2020年3月
-
新潟県立吉田病院附属看護専門学校 非常勤講師
2017年4月 - 2020年3月
-
新潟大学 非常勤講師
2016年4月 - 2020年3月
-
学校法人 国際総合学院 国際メディカル専門学校 非常勤講師
2016年4月 - 2019年3月
経歴
-
新潟大学 教育研究院 自然科学系 特任准教授
2026年4月 - 現在
-
新潟大学 創生学部 特任准教授
2026年4月 - 現在
学歴
-
新潟大学 大学院自然科学研究科 数理物質科学専攻
- 2019年3月
-
新潟大学 理学部 数学科
- 2014年3月
所属学協会
-
日本オペレーションズ・リサーチ学会
2017年1月 - 現在
委員歴
-
日本OR学会東北支部 幹事
2026年4月 - 現在
団体区分：学協会
-
日本OR学会中部支部 幹事
2023年3月 - 2026年2月
団体区分：学協会
論文
-
CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems 査読
Yojiro Harie, Yuto Ogata, Bishnu Prasad Gautam, Katsumi Wasaki
2024 Twelfth International Symposium on Computing and Networking (CANDAR) 30 - 38 2024年11月
-
Generalized Characterization Theorems for Set Relations and an Application to Multi-Valued Optimization 査読
Yuto Ogata
MINIMAX THEORY AND ITS APPLICATIONS 9 ( 2 ) 377 - 388 2024年
-
Multi-objective Optimization Problems with SOS-convex Polynomials over an LMI Constraint 査読
Liguo Jiao, Jae Hyoung Lee, Yuto Ogata, Tamaki Tanaka
Taiwanese Journal of Mathematics 24 ( 4 ) 1021 - 1043 2020年8月
-
Sublinear-like Scalarization Scheme for Sets and its Applications to Set-valued Inequalities 査読
Koichiro Ike, Yuto Ogata, Tamaki Tanaka, Hui Yu
Variational Analysis and Set Optimization 72 - 91 2019年6月
-
A Calculation Approach to Scalarization for Polyhedral Sets by Means of Set Relations 査読
Hui Yu, Koichiro Ike, Yuto Ogata, Tamaki Tanaka
Taiwanese Journal of Mathematics 23 ( 1 ) 255 - 267 2019年2月
-
Semicontinuity of the composition of set-valued map and scalarization function for sets 査読
Koichiro Ike, Mengxue Liu, Yuto Ogata, Tamaki Tanaka
Journal of Applied and Numerical Optimization 1 ( 3 ) 267 - 276 2019年
-
Yuto Ogata, Tamaki Tanaka, Yutaka Saito, Gue Myung Lee, Jae Hyoung Lee
Optimization 67 ( 7 ) 1067 - 1075 2018年7月
-
Computational methods for set-relation-based scalarizing functions 査読
Hui Yu, Koichiro Ike, Yuto Ogata, Tamaki Tanaka
Nihonkai Mathematical Journal 28 ( 2 ) 139 - 149 2017年8月
-
Sublinear scalarization methods for sets with respect to set-relations 査読
Yuto Ogata, Yutaka Saito, Tamaki Tanaka, Syuuji Yamada
Linear and Nonlinear Analysis 3 ( 1 ) 121 - 132 2017年3月
書籍等出版物
-
Variational analysis and set optimization : developments and applications in decision making 査読
Khan, Akhtar A., Köbis, Elisabeth, Tammer, Christiane（ 担当： 分担執筆 , 範囲: Chapter 4:Sublinear-like Scalarization Scheme for Sets and its Applications to Set-valued Inequalities (Ike Koichiro, Yuto Ogata, Tamaki Tanaka, Hui Yu)）
CRC Press 2019年6月 （ ISBN:9781138037267 ）
MISC
-
自然言語処理モデルBERTを用いたNuSMVの検証結果予測と反例生成:真偽判定の再現実験による評価と構文解析情報に基づく生成モデルの構築 査読
大野亮祐, 小形優人, 張江洋次朗
Cross-Sectoral Information Exchange in the ICT Field Towards Sustainability and Smart Society X-ICT2S3 2026 Winter Symposium 2026-XICT-9 17 - 24 2026年5月
-
野生シカの継続的個体識別手法における関係性知識蒸留を用いた破滅的忘却の抑制 査読
青谷賢, 小形優人, 張江洋次朗, ゴータムビスヌプラサド
Cross-Sectoral Information Exchange in the ICT Field Towards Sustainability and Smart Society X-ICT2S3 2026 Winter Symposium 2026-XICT-9 ( 1 ) 1 - 8 2026年5月
-
モデル駆動型リバースエンジニアリングツールCodoMo-機能の紹介と機械学習システムの教育的実践例-
張江洋次朗, 小形優人
金沢学院大学紀要(Web) 23 ( 23 ) 295 - 300 2025年3月
-
王琦, 小形優人, 呉偉, 堀篤史
オペレーションズ・リサーチ 70 ( 2 ) 94 - 98 2025年2月
-
リバースモデル検証ツールCodoMoによる手指形状認識に基づく非接触型インタフェースの設計検証
張江洋次朗, 橡木健太郎, 小形優人, 渡辺喜道
日本バーチャルリアリティ学会研究報告(CD-ROM) 30 ( CS-2 ) 2025年
-
CONCOLIC GAN: A GAN-Based Framework for Enhancing State Coverage in Concolic Testing
Yojiro Harie, Yuto Ogata, Katsumi Wasaki
The 14th International Multi-Conference on Engineering and Technology Innovation 2025 (IMETI2025) 5 - 5 2025年
-
履修モデルや教職課程を考慮した大学時間割作成
小形優人, 湊屋碧偉
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集 2024 170 - 171 2024年9月
-
高等学校数学科の教育課程における直観の意義 －教育内容・教育方法に注目して－
小西尚之, 小形優人
金沢学院大学紀要 22 58 - 65 2024年3月
-
Robustness of feasibility for multi-valued optimization via sublinear characterization
Yuto Ogata
Study on Nonlinear Analysis and Convex Analysis 2274 179 - 185 2024年1月
-
Moodleを利用した行基本変形に関する計算支援システムの開発とその実践
小形優人
数学ソフトウェアとその効果的教育利用に関する研究 2273 119 - 127 2023年12月
-
Gordan型二者択一定理と多目的最適化問題への応用
小形優人
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集 2023 136 - 137 2023年9月
-
Inverted DEAを用いた産業連関表による都道府県の効率分析
小形優人, 大崎喬平, 宮田理輝, 宮村大知
金沢学院大学紀要 ( 21 ) 239 - 244 2023年3月
-
多視点的に考える力を養う数学科教育法に関する考察―二次方程式及び二次関数に関する指導の工夫
小形優人
金沢学院大学教職センター紀要 ( 6 ) 25 - 33 2023年3月
-
ICTを活用した数学科教育法に関する考察―最短距離の作図に関する指導の工夫
小形優人
金沢学院大学教職センター紀要 ( 6 ) 110 - 118 2023年3月
-
Robustness of multi-valued optimization problems via set relations
Yuto Ogata
Study on Nonlinear Analysis and Convex Analysis 2240 169 - 174 2023年1月
-
数理最適化を用いた大学時間割作成および教室割当
小形優人, 喜多明時, 逢阪大地
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集 2022 146 - 147 2022年9月
-
集合比較を用いた最適化問題の実行可能性判定について
小形優人
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集 2022 148 - 149 2022年9月
-
Generalized dual expression for set relations by means of sublinear scalarization functions
Yuto Ogata
Study on Nonlinear Analysis and Convex Analysis 2214 ( 2214 ) 70 - 75 2022年4月
-
数理最適化を用いた大学時間割の作成
小形優人, 逢阪大地, 喜多明時
金沢学院大学紀要 ( 20 ) 275 - 280 2022年3月
-
行基本変形に関するeラーニング支援システムの開発と実践
小形優人
金沢学院大学紀要 ( 20 ) 269 - 274 2022年3月
-
Study on a relaxation for theorems of the alternative for sets
Yuto Ogata
Study on Nonlinear Analysis and Convex Analysis 2194 170 - 177 2021年8月
-
1の5乗根の代数的解釈と生徒への課題提示方法
小形優人, 大山宏
金沢学院大学教職センター紀要 ( 4 ) 133 - 142 2021年3月
-
Moodleにおける行列の基本変形に関するeラーニング支援システムとその検証
小形優人
金沢学院大学紀要 ( 19 ) 164 - 169 2021年3月
-
Approximate minimality in set optimization
Yuto Ogata, Tamaki Tanaka
数理解析研究所講究録 2114 ( 2114 ) 235 - 239 2019年5月
-
Approximate minimality in set optimization and application
Yuto Ogata, Tamaki Tanaka
数理解析研究所講究録 2112 ( 2112 ) 184 - 188 2019年4月
-
Generalized alternative theorems based on set-relations
Yuto Ogata, Yutaka Saito, Tamaki Tanaka, Gue Myung Lee, Jae Hyoung Lee
数理解析研究所講究録 2065 ( 2065 ) 111 - 119 2018年4月
-
集合の二項関係に基づくスカラー化関数の数値計算法
YU Hui, 池浩一郎, 小形優人, 齋藤裕, LIU Xuefeng, 田中環, 山田修司
日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集 2017 343 - 344 2017年3月
-
劣線形スカラー化関数を用いた集合最適化におけるε-最適性条件
小形優人, 田中環
日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集 2017 347 - 348 2017年3月
講演・口頭発表等
-
劣線形双対形式による集合値不等式の判定アルゴリズムと計算例
小形優人
春季研究発表会2026 2026年3月 日本OR学会
-
Calculation algorithm of dual forms for set inequalities and its application 国際会議
Yuto Ogata
Study on Nonlinear Analysis and Convex Analysis 2025 2025年9月
-
Calculation methods for robustness of feasibility via set characterization functions 招待 国際会議
Yuto Ogata
2025 Taiwan-Japan Joint Workshop on Nonlinear Analysis and Optimization 2025年6月
-
Sublinear dual expression for set relations and its application 招待
Yuto Ogata
The International Congress on Natural Sciences 2024 2024年9月
-
履修モデルや教職課程を考慮した大学時間割作成
小形優人, 湊屋碧偉
秋季研究発表会2024 2024年9月 日本OR学会
-
Gordan型二者択一定理と多目的最適化問題への応用
小形優人
秋季研究発表会2023 2023年9月 日本OR学会
-
Moodle を利用した行基本変形に関する計算支援システムの開発とその実践
小形優人
数学ソフトウェアとその効果的教育利用に関する研究 2023年8月
-
Robustness of feasibility for multi-valued optimization via sublinear characterization
Yuto Ogata
Study on Nonlinear Analysis and Convex Analysis 2023 2023年8月
-
数理最適化を用いた大学時間割作成および教室割当
小形優人, 喜多明時, 逢阪大地
秋季研究発表会2022 2022年9月 日本OR学会
-
集合比較を用いた最適化問題の実行可能性判定について
小形優人
秋季研究発表会2022 2022年9月 日本OR学会
-
Robustness of multi-valued optimization problems via set relations
Yuto Ogata
非線形解析学と凸解析学の研究2022 2022年8月
-
Generalized dual expression for set relations by means of sublinear scalarization functions
Yuto Ogata
Study on Nonlinear Analysis and Convex Analysis 2021年12月
-
Study on a relaxation for theorems of the alternative for sets
Yuto Ogata
The RIMS Workshop on Nonlinear Analysis and Convex Analysis 2021年3月
-
On set scalarization functions for Gordan-type theorems of alternative
Yuto Ogata
Nonlinear and Convex Analysis 2019年9月
-
Characterization of set relations and robustness of optimization problems
Yuto Ogata, Tamaki Tanaka
Fourth International Conference on Set Optimization and Set-Valued Variational Analysis with Applications to Economics（国際会議） 2019年2月
-
集合の二項関係の特徴づけとその計算手法
小形優人
東北ORセミナー2018:若手研究交流会 2018年12月 日本OR学会東北支部
-
集合最適化における近似最適性とその応用
小形優人, 田中環
Nonlinear and Convex Analysis 2018年8月
-
An ε-optimality for set optimization problems
Yuto Ogata, Tamaki Tanaka
Joint Seminar and Research Camp 2018（国際シンポジウム） 2018年2月
-
Approximate minimality in set optimization
Yuto Ogata, Tamaki Tanaka
Nonlinear Analysis and Convex Analysis 2017年9月
-
A set approach to 𝜀-optimality with respect to a convex cone for set optimization problems
Yuto Ogata, Tamaki Tanaka
Nonlinear and Convex Analysis 2017（国際会議） 2017年7月
-
劣線形スカラー化関数を用いた集合最適化におけるε-最適性条件
小形優人, 田中環
春季研究発表会2017 2017年3月 日本OR学会
-
Generalized alternative theorems based on set-relations and application
Yuto Ogata, Yutaka Saito, Tamaki Tanaka, Gue Myung Lee, Jae Hyoung, Lee
Joint Seminar and Research Camp 2017（国際シンポジウム） 2017年2月
-
Generalized alternative theorems based on set-relations and its application
Yuto Ogata, Yutaka Saito, Tamaki Tanaka, Gue Myung Lee, Jae Hyoung Lee
The International Workshop on Nonlinear Analysis and Convex Analysis（国際シンポジウム） 2016年9月
-
Generalized alternative theorems based on set-relations and application to semidefinite programming problems
Gue Myung Lee, Jae Hyoung Lee, Yuto Ogata, Yutaka Saito, Tamaki Tanaka
The fifth International Conference on Continuous Optimization 2016（国際会議） 2016年8月
-
Alternative theorems via set-valued analysis
Yuto Ogata, Yutaka Saito, Tamaki Tanaka, Gue Myung Lee, Jae Hyoung Lee
Nonlinear Analysis and Optimization 2016（国際会議） 2016年8月
-
Gordan's type alternative theorems for set-valued maps and application
Yuto Ogata, Yutaka Saito, Tamaki Tanaka
Joint Seminar and Research Camp 2016（国際シンポジウム） 2016年2月
-
集合値写像における二者択一の定理
小形優人, 田中環
日本OR学会東北支部, 東北ORセミナー2015:若手研究交流会 2015年11月
-
Alternative theorems via set-valued analysis 招待
Yuto Ogata, Yutaka Saito, Tamaki Tanaka
The 4th International Congress on Natural Sciences 2015 in Changhua（国際会議） 2015年9月
-
Semi-continuity of set-valued maps
Yuto Ogata
Joint Seminar and Research Camp 2015（国際シンポジウム） 2015年3月
-
集合最適化における集合の比較方法とその双対表現について 招待
小形優人
中部支部講演会 2022年6月 日本OR学会中部支部
受賞
-
学生優秀発表賞
2018年12月 日本OR学会東北支部 集合の二項関係の特徴づけとその計算手法
小形優人
共同研究・競争的資金等の研究
-
集合最適化の研究と漸近理論への応用
研究課題/領域番号：25K07128
2025年4月 - 2029年3月
制度名：科学研究費助成事業
研究種目：基盤研究(C)
提供機関：日本学術振興会
資金種別：競争的資金
-
鳥獣害被害の抑制と持続可能な野生鳥獣肉供給のためのジビエDXの実現
研究課題/領域番号：23K05416
2025年4月 - 2027年3月
制度名：科学研究費助成事業
研究種目：基盤研究(C)
提供機関：日本学術振興会
配分額：4550000円 （ 直接経費：3500000円 、 間接経費：1050000円 ）
本研究は(1)労力をかけないデータ収集(2)動物の個体識別技術の精度向上(3)行動予測などのAI技術の社会実装の3点に取り組み、野生鳥獣被害を抑制しジビエ肉流通を活性化させる「ジビエDX」システムの開発を行う。今年度は本研究目的(1)に関わる産業用カメラやRaspberryPi4を組み合わせた野外撮影用の画像収集デバイス開発に着手した。持続可能なデータ収集の実現に向け、太陽光パネルによる電力供給やネットワーク経由で動画像の送信受信ができることを屋内実験で確認した。
<BR>
本研究目標(2)に関連する研究の調査研究として，以下の論文を刊行した。
[1] Harie Yojiro, Bishnu P. Gautam, and Katsumi Wasaki. "Computer vision techniques for growth prediction: A prisma-based systematic literature review." Applied Sciences 13.9 (2023): 5335.
また，本研究と間接的に関係する業績として、持続可能な社会システムのアーキテクチャの提案を行った。開発したハンドジェスチャーによるドローンや石臼制御を例に、re-engineeringの観点から、伝統技術と最先端技術の融合をテーマとする以下の論文を刊行した。
[2] Bishnu P. Gautam, Harie Yojiro, "Reengineering Technologies for a Sustainable Solution: Ancient Stone Mills to Cutting-Edge Drones as an Example", Chubu University IGH Symposium on Sustainable Society FY2023. -
集合値解析における集合値不等式の双対表現に関する研究
研究課題/領域番号：21K13842
2021年4月 - 2023年3月
制度名：科学研究費助成事業
研究種目：若手研究
提供機関：日本学術振興会
小形 優人
資金種別：競争的資金
配分額：650000円 （ 直接経費：500000円 、 間接経費：150000円 ）
本研究の目的は線形位相空間上で集合値不等式とスカラー化関数が双対表現となるためのより緩い条件について考察するものである。一般の集合に対して集合値不等式が成り立つ条件を与えることは非常に困難であり，従来から集合に特定の条件を加えることで集合値不等式の真偽をスカラー化関数によって判断できることが知られていた。スカラー化関数は凸多面集合の下で計算可能であり，集合値不等式は最適性条件，ロバスト性，変分原理などに応用されている。これらの同値条件をより緩い仮定で証明し，計算可能性や応用可能性の向上が研究の主な目的である。
これまで，劣線形スカラー化関数が凸錐を用いたコンパクト性，閉性を用いて閉凸順序錐を用いた集合値不等式の良好な双対表現となるために必要な仮定について研究を行い，先行研究と比べてより一般的な条件で集合の二者択一定理を証明することに成功している。これは既に究明されているGordan型の集合値写像に関する二者択一定理の一般化になっており，劣線形関数による分離を行うことで集合の凸性を仮定しない双対表現ができることを究明した。本結果については学会発表および講究録への投稿を行っている。また，本研究の応用として，多目的最適化問題に多面集合となるような摂動下において，実行可能集合がどの程度ロバスト性を持つかをいくつかの集合値不等式を用いて判断する方法，およびそれらの不等式の双対表現となるスカラー化関数をコンピュータで計算するためのアルゴリズムを提案し，学会発表を行った。また，本結果を国際学術雑誌に投稿し，現在は査読中である。今後は日本OR学会2022年秋季研究発表会，Study on Nonlinear Analysis and Convex Analysis（京都大学数理解析研究所）等で発表予定である。
社会貢献活動
-
「数理最適化」を使って複雑なスケジュール作成に挑む
役割：講師
株式会社フロムページ 夢ナビ講義Video 2026年7月 - 現在
-
役割：講師
新潟県立吉田高等学校 教職員研修 2025年12月
-
役割：講師
新潟第一高等学校 情報Ⅰ特別講義 2025年10月
-
体験授業（数理最適化）
役割：講師
金沢学院大学情報工学部 DX高大連携授業（日本文理高校） 2025年9月
-
役割：講師
金沢学院大学情報工学部 DX高大連携授業（日本文理高校） 2025年9月
-
役割：講師
新潟県立三条東高等学校 教職員研修会 2025年8月
-
役割：講師
石川県立野々市明倫高等学校 新２年生DX出前授業 2025年3月
-
データサイエンス入門・AIの利活用
役割：講師
長野県小諸商業高等学校 教員研修 2025年2月
-
役割：講師
日本文理高等学校 総合的な探求の時間 2024年12月
-
DX授業（ドローン体験）
役割：講師
金沢学院大学情報工学部 金沢向陽高校DX授業 2024年11月
-
AI・IoT体験授業
役割：講師
株式会社キッズコーポレーション 進路ガイダンス・体験授業 石川県立寺井高等学校 2024年10月
-
職業別説明会（システムエンジニア，プログラマ）
役割：講師
株式会社ライセンスアカデミー 石川県立翠星高等学校 2024年10月
-
役割：講師
新潟県立長岡大手高等学校 教員研修（データサイエンス） 2024年8月
-
役割：講師
新潟県立長岡大手高等学校 教員研修（データサイエンス） 2024年8月
-
役割：講師
石川県立野々市明倫高等学校 DXハイスクール出張講義 2024年7月
-
ハードとソフトの融合～ドローン制御体験～
役割：講師
株式会社キッズコーポレーション 富山県立氷見高校 2023年12月
-
ハードとソフトの融合～ドローン制御体験～
役割：講師
株式会社キッズコーポレーション 私立高岡向陵高校 2023年12月
-
進路ガイダンス（工学（情報））
役割：講師
株式会社キッズコーポレーション 進路ガイダンス 私立富山第一高等学校 2023年7月
-
ジェスチャーや自動制御でドローンを飛ばしてみよう
役割：講師
株式会社ライセンスアカデミー 私立高岡龍谷高等学校 2023年7月
-
「デジタル回路」コンピュータハードウェアを探検しよう
役割：講師
株式会社キッズコーポレーション 私立鵬学園高等学校 2023年6月
-
進路ガイダンス（情報工学）
役割：講師
株式会社ライセンスアカデミー 進路ガイダンス 富山県立富山商業高等学校 2023年5月
-
シミュレーションプログラム～Covid-19感染拡大を防ぐ～
役割：講師
小松市立高等学校 高大連携講座（大学コンソーシアム石川） 2022年12月
-
分野別説明会（経済・経営系）
役割：講師
株式会社ライセンスアカデミー 進路ガイダンス 金沢市立工業高等学校 2021年12月
-
系統・分野別説明会（情報）
役割：講師
株式会社ライセンスアカデミー 進路ガイダンス 石川県立金沢北陵高等学校 2021年11月
-
企業別説明会（プログラマ・システムエンジニア）
役割：講師
株式会社ライセンスアカデミー 進路ガイダンス 石川県立翠星高等学校 2021年10月
-
感染シミュレーション ~COVID-19の拡大を防ぐためには~
役割：講師
金沢学院大学 富山第一高等学校 大学見学会 金沢学院大学 2020年10月