プレプリント Preprints
Computations of algebraic modular forms associated with the definite quaternion algebra of discriminant 2
(with Hiroyuki Ochiai and Satoshi Wakatsuki)
https://arxiv.org/abs/2312.15893Appendix of "Explicit mean value theorems for toric periods and automorphic L-functions"
(with Miyu Suzuki and Satoshi Wakatsuki)
https://arxiv.org/abs/2103.04589
論文(査読あり) Papers (refereed)
Some relations between Semaev's summation polynomials and Stange's elliptic nets
(with Tsunekazu Saito, Tetsutaro Kobayashi and Go Yamamoto)
Journal of Math-for-Industry, Vol.3 (2011A-9), pp.89-92.Non-existence of elliptic curves with everywhere good reduction over some real quadratic fields
(with Yu Shimasaki)
Journal of Math-for-Industry, Vol.3 (2011B-4), pp.113-117.High-speed calculation for isomorphy of extension of a p-adic field with Magma
(with Manabu Yoshida)
Transactions of the Japan Society for Industrial and Applied Mathematics, Vol.22, No.4 (2012), pp.277-286.Lit-sphere extension for artistic rendering
(with Hideki Todo and Ken Anjyo)
The Visual Computer, Vol.29, Issue 6 (2013), pp.473-480.High-speed construction of extension fields of a p-adic field using Magma
Bulletin of Japan Society for Symbolic and Algebraic Computations, Vol.20, No.1 (2013), pp.3-12.Heuristic counting of Kachisa-Schaefer-Scott curves
(with Yutaro Kiyomura, Noriyasu Iwamoto, Ken'ichiro Hayasaka, Yuntao Wang, Takanori Yasuda, Katsuyuki Takashima and Tsuyoshi Takagi)
JSIAM Letters, Vol.6 (2014), pp.73-76.On some implementations of modular forms and related topics
(with Sho Takemori)
Transactions of the Japan Society for Industrial and Applied Mathematics, Vol.25, No.3 (2015), pp.207-227.Introduction to the computational theory of elliptic modular forms
RIMS Kokyuroku Bessatsu, B53 (2016), pp.279-304.A note on extensions of a p-adic field
(with Manabu Yoshida)
Proceedings of the Meeting for Study of Number Theory, Hopf Algebras and related topics (2019), pp.141-147.On the computation of all extensions of a p-adic field of characteristic p
(with Manabu Yoshida)
Proceedings of the Meeting for Study of Number Theory, Hopf Algebras and related topics (2019), pp.149-156.Distribution of toric periods of modular forms on definite quaternion algebras
(with Miyu Suzuki and Satoshi Wakatsuki)
Research in Number Theory, Vol.8, 90 (2022).
Here are some graphs for distribution of toric periods.
論文(査読なし) Papers (non-refereed)
Serreの保型性予想をめぐって:計算機的保型形式論入門
MIレクチャーノートシリーズ, vol. 29 (2010), pp.107-133.Semaev's summation polynomials と Stange's elliptic nets とのある関係式
(齋藤恆和氏, 小林鉄太郎氏, 山本剛氏との共著)
第5回福岡数論研究集会 報告集 (2011), pp.75-80.Computational techniques on some topics in mathematics using Magma
(三枝崎剛氏との共著)
Proceedings of 5th International Symposium on Advances in Technology Education (ISATE, 2011), 5pp. ※ 査読あり論文だがこちらに分類Sage for Number Theorists
MIレクチャーノートシリーズ, vol. 35 (2011), pp.12-23.二次体上至る所 good reduction を持つ楕円曲線について
第6回福岡数論研究集会 報告集 (2012), pp.1-11.至る所良い還元を持つ楕円曲線について:計算機的手法とその最近の進展
第9回「代数学と計算」(AC2011) 研究集会 報告集 (2012), pp.21-31.楕円曲線の計算にみる数論システムの進展状況
京都大学数理解析研究所講究録, vol.1785 (2012), pp.57-66.統合システム Sage とクラウド型 CAS の最新事情
京都大学数理解析研究所講究録, vol.1843 (2013), pp.131-139.数式処理における数学と世界最速への挑戦:終結式の計算を例に
北海道大学数学講究録, vol.160 (2014), pp.43-49.Magmaによる多変数多項式の終結式計算の高速化について
第10回「代数学と計算」(AC2013) 研究集会 報告集 (2014), pp.73-78.3つの数式処理システムで学ぶ楕円曲線の計算理論
北陸数論研究集会2013 報告集 (2014), pp.48-57.Sage Days in Japan 開催報告
(沼田泰英氏との共著)
京都大学数理解析研究所講究録, vol.1930 (2015), pp.73-79.代数体上至る所良い還元を持つ楕円曲線の決定と数論データベース化プロジェクトへの貢献について
数式処理, Vol.21, No.2 (2015), pp.41-44.数論データベース LMFDB の開発について
第11回「代数学と計算」(AC2015) 研究集会 報告集 (2016), pp.174-178.SageMath Inc. と LMFDB に関する最近の話題
2016早稲田整数論研究集会 報告集 (2016), pp.139-146.BLS 曲線における Optimal Ate Pairing の実装と評価
(馬渕圭史氏, 齋藤恆和氏との共著)
SCIS2018 暗号と情報セキュリティシンポジウム 予稿 (2018), 6pp.楕円曲線の計算法入門:実践編
整数論サマースクール2017「楕円曲線とモジュラー形式の計算」 報告集 (2018), pp.81-113.特別な楕円モジュラー形式の高速計算理論について
整数論サマースクール2017「楕円曲線とモジュラー形式の計算」 報告集 (2018), pp.125-136.耐量子計算機署名 ModFalcon の Toom-Cook 法及び Radix4 FFT による高速化
(福原大毅氏, 髙橋雄人氏, 山村和輝氏, 齋藤恆和氏との共著)
SCIS2022 暗号と情報セキュリティシンポジウム 予稿 (2022), 7pp.耐量子計算機署名 ModFalcon の拡張命令セット AVX による実装評価
(福原大毅氏, 髙橋雄人氏, 山村和輝氏, 齋藤恆和氏との共著)
SCIS2023 暗号と情報セキュリティシンポジウム 予稿 (2023), 7pp.
書籍 Books
社会に最先端の数学が求められるワケ:(1) 新しい数学と産業の協奏 / (2) データ分析と数学の可能性
JST-CRDS 高島洋典・吉脇理雄 (編) / (1) 岡本健太郎・松江要 (著) / (2) 杉山真吾・横山俊一 (著)
日本評論社, 2022年3月30日発売
ISBN: (1) 978-4-535-78959-3 / (2) 978-4-535-78960-9数論入門事典(同時発売:幾何学入門事典)
加藤文元・砂田利一 (編) / 横山は3章「アルゴリズム」と11章「数の位取り表記法」を担当
朝倉書店, 2023年6月1日発売
ISBN: 978-4-254-11159-0大学数学ガイダンス
数学セミナー編集部 (編)
横山は書き下ろし記事「理系大学生に必要なプログラミングとは/Pさんとの対談から」を担当
日本評論社, 2024年4月2日発売
ISBN: 978-4-535-79020-9
専門誌の記事等 Articles
次世代計算機は数学ガールの夢を見る?
日本数学会 数学通信 第18巻(2013年度)第3号, pp.12-17.逆/数学者を惹きつける「逆問題」
数学セミナー(日本評論社)2019年12月号 特集「私が惹かれるこの概念」, pp.8-10.部屋とパソコンと私/Julia でめぐる計算機数学の世界
数学セミナー(日本評論社)2020年10月号 特集「ステイホームで楽しむ "実験" 数学」, pp.24-27.書評「群論の味わい/置換群で解き明かすルービックキューブと15パズル」
日本数学会 数学通信 第25巻(2020年度)第3号, pp.83-87.計算機と保型形式/Sage でめぐる保型形式の世界
数理科学(サイエンス社)2021年2月号 特集「保型形式を考える/その面白さと魅力」, pp.48-54.代数学における計算/私的回想で綴る魅惑の世界
数理科学(サイエンス社)2021年8月号 特集「計算とは何か/数値がもたらす様々な問いかけ」, pp.7-13.
編集した講究録等 Proceedings I've edited
Magmaで広がる数学の世界
木田雅成氏, 原田昌晃氏との共同編集
MIレクチャーノートシリーズ, vol. 29, 2010年12月, 157pp.計算機代数システムの進展
夫紀恵氏, 林卓也氏との共同編集
MIレクチャーノートシリーズ, vol. 35, 2011年11月, 210pp.数式処理研究と産学連携の新たな発展
照井章氏, 小原功任氏, 濱田龍義氏, 穴井宏和氏, 横田博史氏との共同編集
MIレクチャーノートシリーズ, vol. 49, 2013年8月, 137pp.数式処理研究と産学連携の新たな発展
京都大学数理解析研究所講究録, vol. 2012, 2016年12月, 127pp.楕円曲線とモジュラー形式の計算
木村巌氏との共同編集
第25回整数論サマースクール報告集, 2018年3月, 226pp.数学と物理におけるJuliaの活用
富谷昭夫氏, 永井佑紀氏, 寺崎敏志氏との共同編集
九州大学マス・フォア・インダストリ研究 報告集 No.27, 2024年1月, 230pp.
世話人歴 Conferences and seminars I've organized
数学ソフトウェアとフリードキュメント 野呂正行氏, 高山信毅氏, 濱田龍義氏と共同
MSFD22, 2016年3月15日, 筑波大学
MSFD23, 2016年9月14日, 関西大学
MSFD24, 2017年3月23日, 首都大学東京
MSFD25, 2017年9月10日, 山形大学
MSFD26, 2018年3月17日, 東京大学
MSFD27, 2018年9月23日, 岡山大学
MSFD28, 2019年3月16日, 東京工業大学
MSFD29, 2019年9月16日, 金沢大学
MSFD30, 2020年3月15日, 日本大学 [COVID-19により中止]
MSFD31, 2020年9月21日, 熊本大学 [Zoomオンライン開催]
MSFD32, 2021年3月14日, 慶応義塾大学 [Zoomオンライン開催]
MSFD33, 2022年3月27日, 埼玉大学 [Zoomオンライン開催]
MSFD34, 2023年3月14日, 中央大学 [Zoomとのハイブリッド開催]
MSFD35, 2024年3月16日, 大阪公立大学 [Zoomとのハイブリッド開催]九州代数的整数論 2010 2010年3月18日~20日, 九州大学 / 吉田学氏, 小関祥康氏と共同
Magmaで広がる数学の世界 2010年10月9日~10日, 九州大学 / 木田雅成氏, 原田昌晃氏と共同
九州代数的整数論 2011 2011年2月17日~19日, 九州大学 / 小関祥康氏, 高倉裕氏と共同
九大整数論セミナー 2011年4月1日~2013年3月31日, 九州大学 / 田坂浩二氏, 三柴善範氏と共同
計算機代数システムの進展 2011年8月29日~31日, 九州大学(企画代表者/運営スタッフ:菅原弘太郎, 宇榮原夏希, 鷲見拓哉, 上小谷瞳, 弓指大和)
Workshop of computer graphics and mathematics 2012年1月19日, 神戸大学 / 井上歩氏, 桐生裕介氏, 長坂耕作氏, 佐伯修氏と共同
九州代数的整数論 2012 2012年2月21日~23日, 九州大学 / 高倉裕氏, 三柴善範氏, 高田芽味氏と共同
新しいアニメーション補間手法とその評価指標の提案 2012年3月5日~9日, 九州大学(ローカルオーガナイザー/企画代表者:鍛冶静雄氏)
Sage Days 39 in Japan 2012年5月26日~27日, 九州大学 / 沼田泰英氏と共同
Magmaで開く数学の世界 2012年7月21日~22日, 高知大学 / 大浦学氏, 木田雅成氏, 原田昌晃氏, 宗政昭弘氏と共同
九州代数的整数論 2013 2013年2月11日~13日, 九州大学 / 三柴善範氏, 高田芽味氏, 奥村伸也氏, Jerome Dimabayao 氏と共同
Intersection of Pure Mathematics and Applied Mathematics 2013~2014年度に8回実施, 九州大学
IPA1, 2013年5月10日
IPA2, 2013年8月29日
IPA3, 2013年11月21日
IPA4, 2014年2月18日
IPA5, 2014年5月16日
IPA6, 2014年8月8日
IPA7, 2014年11月5日
IPA8, 2015年2月20日数式処理研究と産学連携の新たな発展 2013年8月21日~23日, 九州大学 / 照井章氏, 小原功任氏, 濱田龍義氏, 穴井宏和氏, 横田博史氏と共同
Sage Days in Japan / Sage Days 53.5 2013年10月5日, 信州大学 / 木村巌氏, 沼田泰英氏と共同
CG技術の実装と数理 2014 2014年7月26日~27日(第1回), 2014年10月4日~5日(第2回), 九州大学 / 岡部誠氏, 土橋宜典氏, 溝口佳寛氏と共同
Sage Days 63 2014年10月12日~13日, 信州大学 / 木村巌氏, 沼田泰英氏と共同
ウィンタースクール「数学ソフトウェア・チュートリアル」 2015年2月18日~19日, 九州大学 / 溝口佳寛氏と共同
Workshop on Computational Number Theory with Implementations 2015 2015年2月21日~22日, 九州大学
CG技術の実装と数理 2015 2015年7月25日~26日(第1回), 2015年10月3日~4日(第2回), 九州大学 / 土橋宜典氏, 溝口佳寛氏, 岡部誠氏, 藤堂英樹氏, 廣瀬三平氏と共同
計算代数システムによる新しい数学の開拓と進展 2015年9月30日~10月2日, 京都大学数理解析研究所 / 大浦学氏, 木田雅成氏, 宗政昭弘氏と共同
九大代数学セミナー 2017年3月1日~2019年3月31日, 九州大学 / 小林真一氏, 並川健一氏と共同
整数論サマースクール2017「楕円曲線とモジュラー形式の計算」 2017年8月28日~9月1日, 伊香保温泉 塚越屋七兵衛 / 木村巌氏と共同
都立大整数論セミナー 2020年4月1日〜現在, 東京都立大学 / 津村博文氏, 内山成憲氏, 内田幸寛氏と共同
※ 2019年4月1日〜2020年3月31日の名称は「首都大整数論セミナー」数式処理研究と産学連携の新たな発展 2022年2月14日〜17日, 九州大学
※ 九大 IMI 共同利用 / 公開カンファレンスは 2/14 午後および 2/15 午後に開催Number Theory in Tokyo 2023年3月20日〜24日, 東京工業大学(ハイブリッド開催)/ Soma Purkait 氏, 杉山真吾氏と共同
数学と物理における Julia の活用 2023年7月10日〜12日, 九州大学 / 富谷昭夫氏, 永井佑紀氏, 寺崎敏志氏と共同
※ 九大 IMI 共同利用
講演(英語) Talks given in English
Prospects for solving CG problems with mathematical techniques
(with Vladimir Chalupecky, Kohei Matsushita and Yuuki Ikeda)
Forum "Math-for-Industry" Study Group Workshop: Information security, visualization, and inverse problems, on the basis of optimization techniques
October 29th, 2010, The University of Tokyo, JapanComputational Techniques on Some Topics in Number Theory
The 9th Japan-Korea Workshop on Algebra and Combinatorics / Satellite Seminar
January 26th, 2011, Tohoku University, JapanOn some elliptic curves with everywhere good reduction over quadratic fields
PNU Mathematics Colloquium
May 27th, 2011, Pusan National University, KoreaSage: Unifying Monstrous Moonshine, Modular Functions and Mathematical Softwares
Workshop on Algebraic Combinatorics at SJTU
September 16th, 2011, Shanghai Jiao Tong University, ChinaLight-based Mapping for Non-photorealistic Rendering
(with Hideki Todo and Ken Anjyo)
Forum "Math-for-Industry" 2011
October 25th, 2011, East-West Center, University of Hawaii, USAProspects for solving CG problems with mathematical techniques
ESF-JSPS Frontier Science Conference for Young Researchers: Mathematics for Innovation - Large and Complex Systems
February 29th, 2012, Four Seasons Hotel Tokyo at Chinzan-So, JapanA Database Project of Elliptic Curves having Everywhere Good Reduction
ESF-JSPS Frontier Science Conference for Young Researchers: Mathematics for Innovation - Large and Complex Systems
March 1st, 2012, Four Seasons Hotel Tokyo at Chinzan-So, JapanReport of Sage Days in Japan
(with Yasuhide Numata)
Developments in Computer Algebra Research 2012
July 5th, 2012, Research Institute for Mathematical Sciences, JapanA database project of elliptic curves having everywhere good reduction
Warwick EPSRC Symposium on Number Theory Workshop: Selmer Groups, Descent and the Distribution of Ranks
September 25th, 2012, University of Warwick, UKA database project of elliptic curves having everywhere good reduction
KIAS Seminar
November 19th, 2012, Korea Institute for Advanced Study, KoreaDevelopments in Computer Algebra Research: the Next Generation
The 11th Japan-Korea Workshop on Algebra and Combinatorics
January 25th, 2013, Acros Fukuoka Convention Center, JapanOn Hecke algebra discriminant: an experiment
Informal Seminar at PNU
April 18th, 2013, Pusan National University, KoreaA survey on the theory of modular forms and Maeda's conjecture
56th KPPY Combinatorics Workshop
April 20th, 2013, Pusan National University, KoreaLit-Sphere Extension for Artistic Rendering
(with Hideki Todo and Ken Anjyo / Confirmed speaker: Hideki Todo)
CGI 2013: Computer Graphics International 2013
June 12th, 2013, Leibniz Universitat, GermanyLit-Sphere Extension for Artistic Rendering: After FMI2011
Forum "Math-for-Industry" 2013
November 5th, 2013, Kyushu University Nishijin Plaza, JapanComputing resultant matrix of general multivariate polynomials and its determinant using Magma
Hakata Workshop 2014 - Discrete Mathematics and its Applications
February 8th, 2014, Reference Eki-Higashi Bldg., JapanDevelopments in computer algebra research and collaboration with industry
The 8th International Congress on Industrial and Applied Mathematics (ICIAM2015)
August 14th, 2015, China National Convention Center, ChinaSageMath Cloud: a guide tour
Open Seminar on Algebra, Combinatorics and Algorithm
January 15th, 2016, Pusan National University, KoreaOn elliptic curves with everywhere good reduction over certain number fields
Computational Algebra Seminar
February 18th, 2016, University of Sydney, AustraliaExplicit methods to compute number-theoretic objects
Universal Structures in Mathematics and Computing 2016
June 28th, 2016, La Trobe University City Campus, AustraliaExplicit methods to compute elliptic curves and related structures
Algebraic Geometry Seminar
August 5th, 2016, TU Kaiserslautern, GermanyNumber theory with Magma: for performant and flexible computation
3rd Japanese-German Number Theory Workshop
November 20th, 2017, Max-Planck Institute for Mathematics, GermanyJulia language for number theory
Japan-Europe Number Theory Exchange Seminar
November 30th, 2021, Online
講演(日本語) Talks given in Japanese
虚二次体上のSerreの保型性予想について
九大数理整数論セミナー, 2010年2月1日, 九州大学虚二次体上のSerreの保型性予想について
第122回日本数学会九州支部例会, 2010年2月13日, 九州大学西新プラザ虚二次体上のSerreの保型性予想にまつわるMagmaを用いた考察
九州代数的整数論 2010, 2010年3月18日, 九州大学Serreの保型性予想をめぐって:計算機的保型形式論入門
Magmaで広がる数学の世界, 2010年10月9日, 九州大学代数的整数論における計算機の援用例
北陸数論セミナー, 2011年1月27日, 金沢大学サテライトプラザMcKay-Thompson Seriesに付随する多項式の零点分布
第124回日本数学会九州支部例会, 2011年2月11日, 福岡教育大学計算機数論の最前線
九州代数的整数論 2011, 2011年2月18日, 九州大学実二次体上至る所 good reduction を持つ楕円曲線の非存在性について
(島崎有氏との共同講演)
日本応用数理学会 2011年 研究部会連合発表会, 2011年3月8日, 電気通信大学Computational problems from a viewpoint of pure mathematics
Informal Seminar for Computer Geometrists and Scientists, 2011年6月20日, 東京大学Monstrous Moonshine と計算機数論
九州大学組合せ数学セミナー, 2011年7月16日, 九州大学二次体上至る所 good reduction を持つ楕円曲線について
第6回福岡数論研究集会, 2011年8月23日, 九州大学Sage for Number Theorists
計算機代数システムの進展, 2011年8月29日, 九州大学至る所良い還元を持つ楕円曲線について:計算機的手法とその最近の進展
第9回「代数学と計算」研究集会, 2011年11月7日, 首都大学東京Computational prospects of the arithmetic theory of elliptic curves
松江セミナー, 2011年11月16日, 島根大学楕円曲線の計算にみる数論システムの進展状況
Computer Algebra - Design of Algorithms, Implementations and the Next Generation, 2011年12月8日, 京都大学数理解析研究所(RIMS)An explicit approach to modular forms using Magma
九大数理整数論セミナー, 2012年1月16日, 九州大学Unifying computer graphics and mathematics, and their recent progressions
(鍛冶静雄氏との共同講演)
Workshop of computer graphics and mathematics, 2012年1月19日, 神戸大学計算機代数システム Magma への誘い / Dive into Magma
第9回「計算機を用いた数学研究」GCOEセミナー『保型形式と計算機』, 2012年1月20日, 京都大学Magma によるp進体の Galois 群の高速計算
(吉田学氏との共同講演)
日本応用数理学会 2012年 研究部会連合発表会, 2012年3月9日, 九州大学Hecke 体の判別式と分岐に関する或る予想
Risa/Asir Conference 2012 + 第4回六甲博多計算代数会議, 2012年3月21日, 神戸大学数式処理システム Sage 入門
数学ソフトウェアとフリードキュメント14, 2012年3月25日, 東京理科大学Magma によるp進体の Galois 群の高速計算
(吉田学氏と共同:講演は吉田氏による)
日本数学会 2012年度年会, 2012年3月29日, 東京理科大学数式処理システム Sage への誘い / A brief tour of some of Sage's features
Sage Days 39 in Japan, 2012年5月26日, 九州大学A database project of elliptic curves having everywhere good reduction
北大数論幾何学セミナー, 2012年6月1日, 北海道大学p進体の Galois 群の高速計算とそのデータベース化
津田塾大学整数論セミナー, 2012年6月14日, 津田塾大学数式処理システム Sage への誘い
津田塾大学 数学・計算機科学研究所 談話会, 2012年6月14日, 津田塾大学数論研究に『使える』局所体生成アルゴリズムの実装
Magmaで開く数学の世界, 2012年7月21日, 高知大学Sage は Magma の代わりになるか?
Magmaで開く数学の世界, 2012年7月22日, 高知大学計算機代数システムを用いた楕円曲線のデータベース化
広島大学理学部数学科 代数数理講座 代数学セミナー, 2012年10月19日, 広島大学代数的計算機数論への招待 / An invitation to Computational Algebraic Number Theory
近畿大学数学教室 講演会, 2012年10月26日, 近畿大学代数的計算機数論への招待 / An invitation to Computational Algebraic Number Theory
学習院大学 整数論講演会, 2012年10月30日, 学習院大学計算機代数システム Magma 講習会
九大数理整数論セミナー, 2012年11月1日, 九州大学無料(タダ)でもすごいぞ! 数式処理システムの最前線
オープンソースカンファレンス 2012 Fukuoka, 2012年12月8日, KCS 福岡情報専門学校統合システム Sage とクラウド型 CAS の最新事情
Computer Algebra - Design of Algorithms, Implementations and the Next Generation, 2012年12月27日, 京都大学数理解析研究所(RIMS)Sage for Mathematics: a Primer
数論暗号勉強会, 2013年1月15日, 株式会社インターネットイニシアティブ (IIJ)数式処理アプリ開発の最前線
数学ソフトウェアとフリードキュメントXVI, 2013年3月19日, 京都大学数式処理システム Sage への入門と実問題への援用例
神戸大学計算代数セミナー, 2013年4月9日, 神戸大学統合システム Sage によるモジュラー形式論入門
大阪大学臨時セミナー, 2013年5月31日, 大阪大学保型性予想の周辺における最近の計算機的進展
大阪大学整数論&保型形式セミナー, 2013年5月31日, 大阪大学Magmaによるp進拡大体の高速生成アルゴリズムの実装
日本数式処理学会第22回大会, 2013年6月8日, 防衛大学校Purple Sage 入門
首都大整数論セミナー, 2013年6月18日, 首都大学東京世界一わかりやすい Sage 入門
Intersection of Pure Mathematics and Applied Mathematics II, 2013年8月29日, 九州大学拡大体の高速生成アルゴリズムをめぐって
富山大学理学部数学教室談話会, 2013年9月5日, 富山大学Magma による多変数多項式の終結式計算の高速化について
九大整数論セミナー, 2013年10月1日, 九州大学Dive into Sage: an Extreme Primer
Sage Days in Japan / Sage Days 53.5, 2013年10月5日, 信州大学MathLibre で広がる・Sage で深める「計算機数学」の世界
非公式セミナー, 2013年10月10日, お茶の水女子大学Topology-Driven Vectorization of Clean Line Drawings
(with Shin'ichiro Kaihara, Morgane Rivière and Hiroyasu Hamada)
Study Group Workshop 2013: 数学協働プログラム, 2013年12月4日, 九大数理モジュラー形式を中心とした計算機数論入門
代数的整数論とその周辺 2013, 2013年12月10日, 京都大学数理解析研究所Magma による多変数多項式の終結式計算の高速化について
第10回「代数学と計算」(AC2013), 2013年12月19日, 首都大学東京3つの数式処理システムで学ぶ楕円曲線の計算理論
北陸数論研究集会 2013, 2013年12月26日, 金沢大学サテライトプラザ計算代数システム Magma による多変数多項式の終結式計算の高速化
第1回 JST CREST 「数学」領域横断若手合宿・冬の学校, 2014年1月31日~2月2日, 休暇村 指宿数式処理における数学と世界最速への挑戦:終結式の計算を例に
第10回数学総合若手研究集会 ~多分野間の交流による発展・発見を目指して~, 2014年3月5日, 北海道大学学術交流会館終結式計算の汎用数式処理システムへの高速実装とその展望
数学ソフトウェアとフリードキュメントXVIII, 2014年3月14日, 学習院大学Kachisa-Schaefer-Scott 曲線のパラメータ数の見積もり
(清村優太郎氏, 岩本憲泰氏, 早坂健一郎氏, Yuntao Wang氏, 安田貴徳氏, 高島克幸氏, 高木剛氏と共同:講演は清村氏による)
日本応用数理学会 2014年 研究部会連合発表会, 2014年3月20日, 京都大学代数体上至る所良い還元を持つ楕円曲線の決定問題について
(筒石奈央氏との共同講演)
日本数式処理学会 第23回大会, 2014年5月31日, 徳島大学数式処理を用いた保型形式の計算理論とその応用
早稲田大学整数論セミナー, 2014年7月18日, 早稲田大学終結式と多重終結式の高速計算とその応用
Intersection of Pure Mathematics and Applied Mathematics VI, 2014年8月8日, 九州大学SageMath Cloud とこれからの Sage の開発について
Sage Days 63, 2014年10月12日, 信州大学
※ この講演は, 横山は台風の影響で登壇出来ず, 木村巌氏(富山大学)に代読という形で講演頂きました.暗号・セキュリティ分野での産学連携における計算機数論と数式処理システム開発の研究
九州大学テクノロジーフォーラム2014, 2014年12月3日, 東京国際フォーラムp進拡大体の高速生成アルゴリズムの開発について
近畿大学数学教室談話会, 2015年1月15日, 近畿大学p進拡大体の高速計算法に関する最近の話題
第132回日本数学会九州支部例会, 2015年2月14日, 福岡大学Magma チュートリアル 「Magma はじめの一歩」
ウィンタースクール「数学ソフトウェア・チュートリアル」, 2015年2月19日, 九州大学p進拡大体の高速計算法に関する最近の話題
2015年日本応用数理学会 研究部会連合発表会, 2015年3月6日, 明治大学p進体の拡大体生成アルゴリズムの高速化について
熊本大学代数幾何学セミナー, 2015年5月20日, 熊本大学p進体のアーベル拡大体生成アルゴリズムの高速化について
(吉田学氏, 有村清花氏と共同)
日本数式処理学会 第24回大会, 2015年6月6日, 筑波大学統合数式処理システム Sage 入門
上智大学数学談話会, 2015年10月16日, 上智大学楕円モジュラー形式の高速計算について
新潟代数セミナー, 2015年10月23日, 新潟大学楕円モジュラー形式の高速計算について
九州大学組合せ数学セミナー, 2015年11月7日, 九大IMI百道分室数論データベース LMFDB の開発について
第11回:代数学と計算(AC2015), 2015年12月16日, 首都大学東京Development of LMFDB: a database in number theory
ラングランズと調和解析, 2016年3月10日, 九州大学Development of LMFDB: a database in number theory
第20回早稲田整数論研究集会, 2016年3月23日, 早稲田大学Explicit methods to compute elliptic curves and related structures
愛媛大学代数セミナー, 2016年8月26日, 愛媛大学計算機数論入門 - 良い還元をもつ楕円曲線を例に
岡山大学理学部数学科セミナー, 2017年1月25日, 岡山大学計算代数システム Magma 入門
島根大学松江セミナー, 2017年1月27日, 島根大学Computing tables of elliptic curves over number fields
Meeting for Study of Number theory, Hopf algebras and related topics, 2017年2月14日, 富山大学計算代数システム Magma 入門
東京理科大学 理工学部数学科 談話会, 2017年4月21日, 東京理科大学Performant and flexible computer algebra systems in number theory
新潟代数セミナー, 2017年5月19日, 新潟大学楕円曲線の計算法入門・実践編
整数論サマースクール2017「楕円曲線とモジュラー形式の計算」, 2017年8月29日, 伊香保温泉 塚越屋七兵衛特別な楕円モジュラー形式の高速計算理論について
整数論サマースクール2017「楕円曲線とモジュラー形式の計算」, 2017年8月29日, 伊香保温泉 塚越屋七兵衛計算代数システム Magma 入門と最近の話題
香川セミナー, 2017年10月28日, 香川大学計算代数システム Magma 入門と最近の話題
熊本大学理学部数学教室 談話会, 2017年10月30日, 熊本大学計算機数論における数式処理システムの援用と最近の進展
広島大学大学院理学研究科・数学専攻 談話会, 2018年1月16日, 広島大学BLS 曲線における Optimal Ate Pairing の実装と評価
(馬渕圭史氏, 齋藤恆和氏と共同:講演は馬渕氏による)
日本数式処理学会合同分科会, 2018年1月21日, 筑波大学東京キャンパス文京校舎BLS 曲線における Optimal Ate Pairing の実装と評価
(馬渕圭史氏, 齋藤恆和氏と共同:講演は馬渕氏による)
2018年暗号と情報セキュリティシンポジウム (SCIS2018), 2018年1月26日, 朱鷺メッセPerformant and flexible computer algebra systems in number theory
宮崎大学 MZ セミナー, 2018年2月19日, 宮崎大学Computational number theory, Magma, and KANT
九州代数的整数論2018, 2018年3月9日, 九大数理BLS 曲線における Optimal Ate Pairing の実装と評価
(馬渕圭史氏, 齋藤恆和氏と共同講演)
2018年日本応用数理学会 研究部会連合発表会, 2018年3月16日, 大阪大学Magma で学ぶ計算機数論
東京理科大学談話会 / 現代代数学と異分野連携研究部門講演会, 2018年5月22日, 東京理科大学Advanced topics and new features in Magma
早稲田大学整数論セミナー, 2018年6月15日, 早稲田大学魅惑の『計算機数学』の世界
東京電機大学数学講演会, 2018年7月3日, 東京電機大学Magma: for a decade
九大代数学セミナー, 2019年2月22日, 九大数理計算代数システム Magma 入門&最近の話題
第1回大分数論研究集会, 2019年8月5日, J:COMホルトホール大分Julia 言語を用いた新しい数論パッケージ Nemo について
東京理科大学 理工学部数学科 談話会, 2019年10月23日, 東京理科大学Julia 言語を用いた新しい数論パッケージ Nemo について
松江数論セミナー, 2019年11月4日, 島根大学Julia 言語を用いた新しい数論パッケージ Nemo について
津田塾大学整数論ワークショップ 2019, 2019年11月23日, 津田塾大学Advanced topics and new features in Magma
IMI 共同利用 WS「理論・計算数学との融合アプローチによる暗号学の新展開」, 2020年2月4日, 九州大学Number theory with CAS: for performant and flexible computation
The 2nd Meeting for Study of Number Theory, Hopf Algebras and Related Topics, 2020年2月16日, 富山大学高水準言語 Julia を用いた計算機数論システム開発について
九州代数的整数論 2020夏(KANT2020S)on Zoom, 2020年8月11日, オンライン数式処理との上手なつきあい方:高水準言語 Julia を用いた計算機数論システム開発について
函数方程式論サマーセミナー2021, 2021年8月10日, オンライン耐量子計算機署名 ModFalcon の Toom-Cook 法及び Radix4 FFT による高速化
(福原大毅氏, 髙橋雄人氏, 山村和輝氏, 齋藤恆和氏と共同:講演は福原氏による)
2022年暗号と情報セキュリティシンポジウム(SCIS2022), 2022年1月18日, グランキューブ大阪/オンライントーラス周期の値の分布について I
(鈴木美裕氏, 若槻聡氏と共同:講演は鈴木氏による)
日本応用数理学会第18回(2021年度)研究部会連合発表会, 2022年3月9日, オンライントーラス周期の値の分布について II
(鈴木美裕氏, 若槻聡氏と共同:講演は若槻氏による)
日本応用数理学会第18回(2021年度)研究部会連合発表会, 2022年3月9日, オンライン耐量子計算機署名 ModFalcon の Toom-Cook 法及び Radix4 FFT による高速化
(福原大毅氏, 髙橋雄人氏, 山村和輝氏, 齋藤恆和氏と共同:講演は髙橋氏による)
日本応用数理学会第18回(2021年度)研究部会連合発表会, 2022年3月9日, オンライン高水準言語 Julia を用いた数式処理システム開発について
京都大学数学教室談話会, 2022年6月29日, 京都大学耐量子計算機署名 ModFalcon の拡張命令セット AVX による実装評価
(福原大毅氏, 髙橋雄人氏, 山村和輝氏, 齋藤恆和氏と共同:講演は福原氏による)
SCIS2023 暗号と情報セキュリティシンポジウム, 2023年1月25日, リーガロイヤルホテル小倉/オンライン.計算機数論システムの開発とその展望
大阪大学数学教室談話会, 2023年6月26日, 大阪大学.数論における Julia の援用
IMI共同利用研究集会「数学と物理における Julia の活用」, 2023年7月11日, 九州大学.正標数局所体の拡大の計算アルゴリズムについて
(吉田学氏と共同:講演は吉田氏による)
日本数学会2023年度秋季総合分科会, 2023年9月20日, 東北大学.高水準言語 Julia を用いた計算代数システム開発について
名古屋組合せ論セミナー, 2023年10月5日, 愛知県立大学サテライトキャンパス.高水準言語 Julia を用いた計算代数システム開発について
金沢大学理学談話会, 2023年11月9日, 金沢大学.正標数局所体のデータベースと Galois 群計算について
(吉田学氏と共同:講演は吉田氏による)
日本応用数理学会第20回(2023年度)研究部会連合発表会, 2024年3月5日, 長岡技術科学大学.
科研費獲得状況 JSPS grants
楕円曲線と保型形式に関する計算機数論的問題の研究
日本学術振興会 特別研究員(DC2)奨励費, 2012年度
※ CREST PD 採用に伴い2012年10月末で廃止
配分額:900,000円(直接経費:900,000円)計算機数論による楕円曲線とモジュラー形式の保型性の研究
日本学術振興会 若手研究(B)15K17515
配分額:
2015年度:1,040,000円(直接経費:800,000円, 間接経費:240,000円)
2016年度:780,000円(直接経費:600,000円, 間接経費:180,000円)
2017年度:650,000円(直接経費:500,000円, 間接経費:150,000円)Julia言語を用いた新しい計算機数論システムの開発とその応用
日本学術振興会 基盤研究(C)20K03537
配分額:
2020年度:1,040,000円(直接経費:800,000円, 間接経費:240,000円)
2021年度:780,000円(直接経費:600,000円, 間接経費:180,000円)
2022年度:780,000円(直接経費:600,000円, 間接経費:180,000円)
2023年度:780,000円(直接経費:600,000円, 間接経費:180,000円)
2024年度:780,000円(直接経費:600,000円, 間接経費:180,000円)
競争的資金獲得状況・共同研究 Other competitive grants / Joint researches
256-bit 及び 128-bit 安全なペアリングの実装とその性能評価
日本電信電話株式会社 セキュアプラットフォーム研究所との共同研究, 2017年度
配分額:1,950,000円(直接経費:1,500,000円, 間接経費:450,000円)新しいプログラミング言語を用いた数式処理開発と産学連携の新展開
東京都立大学 若手奨励研究, 2020年度
配分額:530,000円(直接経費:530,000円)数式処理研究と産学連携の新たな発展
九州大学 マス・フォア・インダストリ研究所 2020年度短期共同研究 → 2021年度に延期して開催
配分額:450,000円(旅費用途のみ)耐量子計算機暗号の署名技術実装
日本電信電話株式会社 社会情報研究所との共同研究
※ 2021年6月までの名称は「セキュアプラットフォーム研究所」
配分額:
2021年度:2,000,000円(直接経費:1,800,000円, 間接経費:200,000円)
2022年度:1,500,000円(直接経費:1,350,000円, 間接経費:150,000円)耐量子計算機暗号における電子署名のマスキング
日本電信電話株式会社 社会情報研究所との共同研究, 2023年度
配分額:1,500,000円(直接経費:1,350,000円, 間接経費:150,000円)
受賞歴 Awards
最優秀ポスター賞
Light-based Mapping for Non-photorealistic Rendering
横山俊一, 藤堂英樹, 安生健一
2011年10月27日日本数式処理学会奨励賞
Magmaによるp進拡大体の高速生成アルゴリズムの実装
横山俊一(受賞対象は吉田学氏との共同研究)
2013年6月26日
Contact: s-yokoyama [at] tmu.ac.jp