横井 優 (Yu YOKOI)
>> English Version
東京科学大学
情報理工学院 数理・計算科学系 准教授
E-mail: yokoi [at] c.titech.ac.jp
(previous: yokoi [at] nii.ac.jp)
興味
組合せ最適化,マトロイド理論,安定マッチング,ゲーム理論,数理経済学 など
経歴
学歴
2008年3月 愛知県立旭丘高等学校 卒業
2012年3月 大阪大学 基礎工学部 システム科学科 卒業
2014年3月 東京大学大学院 情報理工学系研究科 数理情報学専攻 修士課程 修了
2017年3月 東京大学大学院 情報理工学系研究科 数理情報学専攻 博士課程 修了
職歴
2013年1月~2015年3月 JST ERATO 河原林巨大グラフプロジェクト (
Link) 「グラフ・ネットワークにおける理論と最適化グループ」 RA (Research Assistant)
2015年4月~2017年3月 日本学術振興会 特別研究員 (DC2)
2017年4月~2023年3月 国立情報学研究所(NII) 情報学プリンシプル研究系 助教
2023年4月〜 東京工業大学 情報理工学院 数理・計算科学系 准教授
業績
査読付き論文
-
Gergely Csáji, Tamás Király, Yu Yokoi:
Solving the Maximum Popular Matching Problem with Matroid Constraints.
SIAM Journal on Discrete Mathematics, 38(3), pp. 2226-2242, 2024.
-
Hiromichi Goko, Ayumi Igarashi, Yasushi Kawase, Kazuhisa Makino, Hanna Sumita, Akihisa Tamura, Yu Yokoi, Makoto Yokoo:
A fair and truthful mechanism with limited subsidy.
Games and Economic Behavior, 144, pp. 49-70, 2024.
-
Kohei Morita, Shinya Shiroshita, Yutaro Yamaguchi, Yu Yokoi:
Fast Primal-Dual Update against Local Weight Update in Linear Assignment Problem and Its Application.
Information Processing Letters, 183, No. 106432, 7pp, 2024.
-
Satoru Iwata, Yu Yokoi:
Finding Maximum Edge-Disjoint Paths Between Multiple Terminals.
SIAM Journal on Computing, 52(5), pp. 1230-1268, 2023.
-
Kristóf Bérczi, Tamás Király, Yutaro Yamaguchi, Yu Yokoi:
Matroid Intersection under Restricted Oracles.
SIAM Journal on Discrete Mathematics, 37(2), pp. 1311-1330, 2023
-
Kristóf Bérczi, Tamás Király, Tamás Schwarcz, Yutaro Yamaguchi, Yu Yokoi:
Hypergraph Characterization of Split Matroids.
Journal of Combinatorial Theory, Series A, 194, No. 105697, 2023.
-
Kristóf Bérczi, Tamás Király, Yutaro Yamaguchi, Yu Yokoi:
Approximation by Lexicographically Maximal Solutions in Matching and Matroid Intersection Problems.
Theoretical Computer Science, 910, pp. 48-53, 2022.
-
Tamás Király, Yu Yokoi:
Equitable Partitions into Matchings and Coverings in Mixed Graphs.
Discrete Mathematics, 345(1), 112651, 2022.
-
Satoru Fujishige, Kenjiro Takazawa, Yu Yokoi:
A Note on a Nearly Uniform Partition into Common Independent Sets of Two Matroids.
Journal of the Operations Research Society of Japan, 63(3), pp. 71-77, 2020.
-
Yu Yokoi:
Envy-Free Matchings with Lower Quotas.
Algorithmica, 82(2), pp. 188-211, 2020.
-
Satoru Iwata, Yu Yokoi:
Finding a Stable Allocation in Polymatroid Intersection.
Mathematics of Operations Research, 45(1), pp. 63-85, 2020.
-
Yasushi Kawase, Yutaro Yamaguchi, Yu Yokoi:
Subgame Perfect Equilibria of Sequential Matching Games.
ACM Transactions on Economics and Computation, 7(4), No. 21, 30pp., 2020.
-
Yu Yokoi:
Matroidal Choice Functions.
SIAM Journal on Discrete Mathematics, 33(3), pp. 1712-1724, 2019.
-
Yu Yokoi:
List Supermodular Coloring with Shorter Lists.
Combinatorica, 39(2), pp. 459-475, 2019.
-
Kenjiro Takazawa, Yu Yokoi:
A Generalized-Polymatroid Approach to Disjoint Common Independent Sets in Two Matroids.
Discrete Mathematics, 342(7), pp. 2002–2011, 2019.
-
Satoru Iwata, Yu Yokoi:
List Supermodular Coloring.
Combinatorica, 38(6), pp. 1437–1456, 2018.
-
Than Nguyen Hau, Naonori Kakimura, Ken-ichi Kawarabayashi, Yusuke Kobayashi, Tatsuya Matsuoka, Yu Yokoi:
Optimal Cache Placement for an Academic Backbone Network.
Journal of the Operations Research Society of Japan, 61(2), pp. 197–216, 2018.
-
Yu Yokoi:
A Generalized Polymatroid Approach to Stable Matchings with Lower Quotas.
Mathematics of Operations Research, 42(1), pp. 238-255, 2017.
-
Kazuo Murota, Yu Yokoi:
On the Lattice Structure of Stable Allocations in Two-Sided Discrete-Concave Market.
Mathematics of Operations Research, 40(2), pp. 460-473, 2015.
査読付き会議録
-
Telikepalli Kavitha, Kazuhisa Makino, Ildikó Schlotter, Yu Yokoi:
Arborescences, Colorful Forests, and Popularity.
Proceedings of the 35th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2024), pp.3724–3746, 2024.
-
Yasushi Kawase, Hanna Sumita, Yu Yokoi:
Random Assignment of Indivisible Goods under Constraints.
Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), pp.2792–2799, 2023.
-
Gergely Csáji, Tamás Király, Yu Yokoi:
Approximation Algorithms for Matroidal and Cardinal Generalizations of Stable Matching.
Proceedings of the Sixth SIAM Symposium on Simplicity of Algorithms (SOSA 2023), pp.103-113, 2023.
-
Kazuhisa Makino, Shuichi Miyazaki, Yu Yokoi:
Incomplete List Setting of the Hospitals/Residents Problem with Maximally Satisfying Lower Quotas.
Proceedings of the 15th International Symposium on Algorithmic Game Theory (SAGT 2022), pp.544-561, 2022.
-
Hiromichi Goko, Kazuhisa Makino, Shuichi Miyazaki, Yu Yokoi:
Maximally Satisfying Lower Quotas in the Hospitals/Residents Problem with Ties.
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022), No. 31, 20pages, 2022.
-
Hiromichi Goko, Ayumi Igarashi, Yasushi Kawase, Kazuhisa Makino, Hanna Sumita, Akihisa Tamura, Yu Yokoi, Makoto Yokoo:
Fair and Truthful Mechanism with Limited Subsidy.
Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems 2022 (AAMAS2022), pp. 534-542, 2022.
-
Yu Yokoi:
An Approximation Algorithm for Maximum Stable Matching with Ties and Constraints.
Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021), No. 71, 16pages, 2021.
-
Satoru Iwata, Yu Yokoi:
A Blossom Algorithm for Maximum Edge-Disjoint T-Paths.
Proceedings of the 31st Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2020), pp. 1933-1944, 2020.
-
Yasushi Kawase, Yutaro Yamaguchi, and Yu Yokoi:
Computing a Subgame Perfect Equilibrium of a Sequential Matching Game.
Proceedings of the 19th ACM Conference on Economics and Computation (EC2018), pp. 131-148, 2018.
-
Yu Yokoi:
Envy-free Matchings with Lower Quotas.
Proceedings of the 28th International Symposium on Algorithms and Computation (ISAAC 2017), No. 67, 12pages, 2017.
-
Satoru Iwata, Yu Yokoi:
Finding a Stable Allocation in Polymatroid Intersection.
Proceedings of the 27th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2016), pp. 1034-1047, 2016.
プレプリント
-
Gergely Csáji, Tamás Király, Kenjiro Takazawa, Yu Yokoi:
Popular Maximum-Utility Matchings with Matroid Constraints.
arXiv preprints, arXiv:2407.09798 (Link), 2024.
-
Mihály Bárász, Kristóf Bérczi, Tamás Király, Yutaro Yamaguchi, Yu Yokoi:
Matroid Intersection under Minimum Rank Oracle.
arXiv preprints, arXiv:2407.03229 (Link), 2024.
-
Kristóf Bérczi, Tamás Király, Yusuke Kobayashi, Yutaro Yamaguchi, Yu Yokoi:
Finding Spanning Trees with Perfect Matchings.
arXiv preprints, arXiv:2407.02958 (Link), 2024.
-
Telikepalli Kavitha, Kazuhisa Makino, Ildikó Schlotter, Yu Yokoi:
Arborescences, Colorful Forests, and Popularity.
arXiv preprints, arXiv:2310.19455 (Link), 2023.
-
Gergely Csáji, Tamás Király, Yu Yokoi:
Solving the Maximum Popular Matching Problem with Matroid Constraints.
arXiv preprints, arXiv:2209.02195 (Link), 2022.
-
Gergely Csáji, Tamás Király, Yu Yokoi:
Approximation Algorithms for Matroidal and Cardinal Generalizations of Stable Matching.
arXiv preprints, arXiv:2208.09583 (Link), 2022.
-
Kohei Morita, Shinya Shiroshita, Yutaro Yamaguchi, Yu Yokoi:
Maintaining Optimality in Assignment Problem against Weight Updates around Vertices.
arXiv preprints, arXiv:2208.11325 (Link), 2022.
-
Yasushi Kawase, Hanna Sumita, Yu Yokoi:
Random Assignment of Indivisible Goods under Constraints.
arXiv preprints, arXiv:2208.07666 (Link), 2022.
-
Kazuhisa Makino, Shuichi Miyazaki, Yu Yokoi:
Incomplete List Setting of the Hospitals/Residents Problem with Maximally Satisfying Lower Quotas.
arXiv preprints, arXiv:2203.06660 (Link), 2022.
-
Kristóf Bérczi, Tamás Király, Tamás Schwarcz, Yutaro Yamaguchi, Yu Yokoi:
Hypergraph Characterization of Split Matroids.
arXiv preprints, arXiv:2202.0437 (Link), 2022.
-
Kristóf Bérczi, Tamás Király, Yutaro Yamaguchi, Yu Yokoi:
Approximation by Lexicographically Maximal Solutions in Matching and Matroid Intersection Problems.
arXiv preprints, arXiv:2107.09897 (Link), 2021.
-
Yu Yokoi:
An Approximation Algorithm for Maximum Stable Matching with Ties and Constraints.
arXiv preprints, arXiv:2107.03076 (Link), 2021.
-
Hiromichi Goko, Kazuhisa Makino, Shuichi Miyazaki, Yu Yokoi:
Maximally Satisfying Lower Quotas in the Hospitals/Residents Problem with Ties.
arXiv preprints, arXiv:2105.03093 (Link), 2021.
-
Hiromichi Goko, Ayumi Igarashi, Yasushi Kawase, Kazuhisa Makino, Hanna Sumita, Akihisa Tamura, Yu Yokoi, Makoto Yokoo:
Fair and Truthful Mechanism with Limited Subsidy.
arXiv preprints, arXiv:2105.01801 (Link), 2021.
-
Satoru Iwata, Yu Yokoi:
Finding Maximum Edge-Disjoint Paths Between Multiple Terminals.
arXiv preprints, arXiv:909.07919 (Link).
A preliminary version entiled A Blossom Algorithm for Maximum Edge-Disjoint T-Paths appeard at
Mathematical Engineering Technical Reports No. METR 2019-16 (Link).
-
Tamás Király, Yu Yokoi:
Equitable Partitions into Matchings and Coverings in Mixed Graphs.
arXiv preprints, arXiv:1811.07856 (Link), 2018.
-
Kenjiro Takazawa, Yu Yokoi:
A Generalized-Polymatroid Approach to Disjoint Common Independent Sets in Two Matroids.
arXiv preprints, arXiv:1805.05528 (Link), 2018.
-
Yasushi Kawase, Yutaro Yamaguchi, Yu Yokoi:
Computing a Subgame Perfect Equilibrium of a Sequential Matching Game.
arXiv preprints, arXiv:1804.10353 (Link), 2018.
-
Yu Yokoi:
List Supermodular Coloring with Shorter Lists.
arXiv preprints, arXiv:1707.05417 (Link), 2017.
-
Yu Yokoi:
Envy-Free Matchings with Lower Quotas.
arXiv preprints, arXiv:1704.04888 (Link), 2017.
-
Satoru Iwata, Yu Yokoi:
Finding a Stable Allocation in Polymatroid Intersection.
Mathematical Engineering Technical Reports No. METR 2017-02 (Link),
Department of Mathematical Engineering and Information Physics, Faculty of Engineering, University of Tokyo, Japan, 2017.
-
Satoru Iwata, Yu Yokoi:
List Supermodular Coloring.
Mathematical Engineering Technical Reports No. METR 2016-10 (Link),
Department of Mathematical Engineering and Information Physics, Faculty of Engineering, University of Tokyo, Japan, 2016.
-
Yu Yokoi:
A Generalized Polymatroid Approach to Stable Matchings with Lower Quotas.
Mathematical Engineering Technical Reports No. METR 2015-21 (Link),
Department of Mathematical Engineering and Information Physics, Faculty of Engineering, University of Tokyo, Japan, 2015.
-
Yu Yokoi:
Matroidal Choice Functions.
Mathematical Engineering Technical Reports No. METR 2014-32,
Department of Mathematical Engineering and Information Physics, Faculty of Engineering, University of Tokyo, Japan, 2014.
* A revised version is available here.
-
Kazuo Murota, Yu Yokoi:
On the Lattice Structure of Stable Allocations in Two-Sided Discrete-Concave Market.
Mathematical Engineering Technical Reports No. METR 2013-30 (Link),
Department of Mathematical Engineering and Information Physics, Faculty of Engineering, University of Tokyo, Japan, 2013.
学位論文
[博士論文]
Stable Matchings on Matroidal Structures
(和題: マトロイド的構造における安定マッチング),
東京大学, 2017年 (指導教員:岩田覚 教授).
[修士論文]
Study on Stable Allocations in Two-Sided Discrete-Concave Market
(和題: 離散凹評価関数市場モデルの安定割当に関する研究),
東京大学, 2014年 (指導教員:室田一雄 教授).
発表
国際会議
-
Telikepalli Kavitha, Kazuhisa Makino, Ildikó Schlotter, Yu Yokoi:
Arborescences, Colorful Forests, and Popularity.
The 35th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2024), Alexandria, Virginia, U.S., 2024.
-
Yasushi Kawase, Hanna Sumita, Yu Yokoi:
Random Assignment of Indivisible Goods under Constraints.
The 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), Macao, August 2023.
-
Gergely Csáji, Tamás Király, Yu Yokoi:
Solving the Maximum Popular Matching Problem with Matroid Constraints.
The 12th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications, Budapest, Hungary, March 2023.
-
Gergely Csáji, Tamás Király, Yu Yokoi:
Approximation Algorithms for Matroidal and Cardinal Generalizations of Stable Matching.
The Sixth SIAM Symposium on Simplicity of Algorithms (SOSA 2023), Florence, Italy, January 2023.
-
Kazuhisa Makino, Shuichi Miyazaki, Yu Yokoi:
Incomplete List Setting of the Hospitals/Residents Problem with Maximally Satisfying Lower Quotas.
The 15th International Symposium on Algorithmic Game Theory (SAGT 2022), Colchester, U.K., September 2022.
-
Yu Yokoi: Introduction to the theory of matching under preferences.
Google APAC Research Talk, online, June 2022.
-
Hiromichi Goko, Kazuhisa Makino, Shuichi Miyazaki, Yu Yokoi:
Maximally Satisfying Lower Quotas in the Hospitals/Residents Problem with Ties.
The 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022), online, March 2022.
-
Yu Yokoi:
An Approximation Algorithm for Maximum Stable Matching with Ties and Constraints.
The 32nd International Symposium on Algorithms and Computation (ISAAC 2021), Fukuoka, Japan (hybrid), December 2021.
-
Yu Yokoi:
Approximability vs. Strategy-proofness in Stable Matching Problems with Ties.
Dagstuhl Seminar (on Matching Under Preferences: Theory and Practice), Germany (hybrid), July 2021.
-
Tamás Király, Yu Yokoi:
Equitable Partitions into Matchings and Coverings in Mixed Graphs.
The 11th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications, Tokyo, Japan, May 2019.
-
Satoru Iwata, Yu Yokoi:
List Supermodular Coloring.
MFO Workshop on Combinatorial Optimization, Oberwolfach, Germany, November 2018.
-
Satoru Iwata, Yu Yokoi:
List Supermodular Coloring.
The 23rd International Symposium on Mathematical Programming (ISMP 2018), Bordeaux, France, July 2018.
-
Yasushi Kawase, Yutaro Yamaguchi, and Yu Yokoi:
Computing a Subgame Perfect Equilibrium of a Sequential Matching Game,.
The 19th ACM Conference on Economics and Computation (EC 2018), Ithaca, New York, U.S., June 2018.
-
Yu Yokoi:
Envy-free Matchings with Lower Quotas,.
The 28th International Symposium on Algorithms and Computation (ISAAC 2017), Phuket, Thailand, December 2017.
-
Satoru Iwata, Yu Yokoi:
List Supermodular Coloring.
The 10th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications, Budapest, Hungary, May 2017.
-
Yu Yokoi:
A Generalized Polymatroid Approach to Stable Allocations with Lower Quotas.
The Fourth International Workshop on Matching Under Preferences, Cambridge, Massachusetts, U.S., April 2017.
-
Satoru Iwata, Yu Yokoi:
Finding a Stable Allocation in Polymatroid Intersection.
The 27th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2016), Arlington, Virginia, U.S., January 2016.
-
Satoru Iwata, Yu Yokoi:
Finding a Stable Allocation in Polymatroid Intersection.
HIM Trimester Program "Combinatorial Optimization," Rigidity Workshop, Bonn, Germany, October 2015.
-
Yu Yokoi:
A Generalized Polymatroid Approach to Stable Allocations with Lower Quotas.
The 22nd International Symposium on Mathematical Programming (ISMP 2015), Pittsburgh, Pennsylvania, U.S., July 2015.
-
Yu Yokoi:
A Generalized Polymatroid Approach to Stable Allocations with Lower Quotas.
The 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications, Fukuoka, Japan, June 2015.
-
Yu Yokoi:
Matroidal Choice Functions.
The Third International Workshop on Matching Under Preferences, Glasgow, U.K., April 2015.
-
Yu Yokoi:
On the Lattice Structure of Stable Allocations in Two-Sided Discrete-Concave Market.
The First International Workshop on Market Design Technologies for Sustainable Development, Kanagawa, November 2013.
国内会議
-
横井 優:
マッチングの数理とアルゴリズム.
第38回 JST数学キャラバン「拡がりゆく数学 at 中部大学」, 中部大学, 愛知(春日井), 2023年12月.
-
横井 優:
安定マッチングと組合せ最適化.
RIMS 共同研究「組合せ最適化セミナー」(第19回), ハイブリッド(京都大学数理解析研究所), 2022年7月.
-
横井 優:
選好に同順位を含むマッチングモデルでの安定解の最適化.
電気通信大学 第38回情報数理工学セミナー, オンライン, 2021年7月.
-
岩田 覚,横井 優:
A Blossom Algorithm for Maximum Edge-Disjoint T-Paths.
電子情報通信学会コンピュテーション研究会, オンライン, 2020年12月.
-
岩田 覚,横井 優:
A Blossom Algorithm for Maximum Edge-Disjoint T-Paths.
Japanese Conference on Combinatorics and its Applications (JCCA 2019) 離散数学とその応用研究集会2019, 都城工業高等専門学校, 宮崎, 2019年8月.
-
横井 優:
安定マッチング理論と展開型マッチングゲーム.
第17回情報科学技術フォーラム (FIT2018), 福岡工業大学, 福岡, 2018年9月.
-
河瀬 康志,山口 勇太郎, 横井 優:
展開型マッチングゲームにおける部分ゲーム完全均衡.
日本応用数理学会 2018年度年会, 名古屋大学, 名古屋, 2018年9月.
-
横井 優:
一般化マトロイド上の安定マッチングと無羨望マッチング.
日本オペレーションズ・リサーチ学会「最適化とその応用」研究部会 (OPTA) 第1回研究会, 中央大学, 東京, 2018年3月.
-
横井 優:
リスト優モジュラ彩色におけるリスト長の削減.
日本オペレーションズ・リサーチ学会「離散アルゴリズムの応用と理論」研究部会 第10回研究会, 京都大学 数理解析研究所, 京都, 2018年2月.
-
横井 優:
List Supermodular Coloring with Shorter Lists.
Japanese Conference on Combinatorics and its Applications (JCCA 2017) 離散数学とその応用研究集会2017, 熊本大学, 熊本, 2017年8月.
-
岩田 覚,横井 優:
リスト優モジュラ彩色.
日本オペレーションズ・リサーチ学会2016年秋季研究発表会, 山形大学, 山形, 2016年9月.
-
岩田 覚,横井 優:
優モジュラ関数に対するリスト彩色定理.
日本オペレーションズ・リサーチ学会 研究部会 「最適化の基盤とフロンティア--未来を担う若手研究者の集い2016--」, 筑波大学, 茨城, 2016年5月.
-
岩田 覚,横井 優:
ポリマトロイド対における安定割当.
電子情報通信学会コンピュテーション研究会, 大阪大学, 大阪, 2015年12月.
-
横井 優:
一般化ポリマトロイドによる下限制約付き安定割当問題の拡張.
日本オペレーションズ・リサーチ学会2015年春季研究発表会, 東京理科大学, 東京, 2015年3月.
-
横井 優:
マトロイド的選択関数.
日本オペレーションズ・リサーチ学会2014年秋季研究発表会, 北海道科学大学, 北海道, 2014年8月.
-
横井 優:
Path-independence Choice Functions Characterized by Matroids.
日本オペレーションズ・リサーチ学会 研究部会 「最適化の理論と応用--未来を担う若手研究者の集い2014--」, 筑波大学, 茨城, 2014年5月.
-
横井 優, 室田 一雄:
準M♮凹評価関数を用いた一般化安定結婚モデル.
日本オペレーションズ・リサーチ学会2014年春季研究発表会, 大阪大学, 大阪, 2014年3月.
-
横井 優, 室田 一雄:
整数格子点上の安定結婚問題がもつ束構造.
日本オペレーションズ・リサーチ学会2013年秋季研究発表会, 徳島大学, 徳島, 2013年9月.
-
横井 優, 室田 一雄:
整数格子点上の安定結婚問題の解構造.
日本オペレーションズ・リサーチ学会 研究部会 「最適化の理論と応用--未来を担う若手研究者の集い2013--」, 筑波大学, 茨城, 2013年6月.
受賞
2021年 日本オペレーションズ・リサーチ学会 第11回 研究賞奨励賞
2018年 日本応用数理学会 第15回 若手優秀講演賞
2016年 日本オペレーションズ・リサーチ学会 研究部会 「最適化の基盤とフロンティア--未来を担う若手研究者の集い2016--」 優秀発表賞
2015年 日本オペレーションズ・リサーチ学会 2015年春季研究発表会 学生優秀発表賞
2014年 第32回日本オペレーションズ・リサーチ学会学生論文賞
2014年 日本オペレーションズ・リサーチ学会 研究部会 「最適化の理論と応用--未来を担う若手研究者の集い2014--」 最優秀発表賞
2014年 東京大学大学院 情報理工学系研究科 研究科長賞
2013年 日本オペレーションズ・リサーチ学会 研究部会 「最適化の理論と応用--未来を担う若手研究者の集い2013--」 優秀発表賞
2012年 大阪大学 基礎工学部賞