2023 Fiscal Year Research-status Report
Development of a brand-new computer algebra system using Julia language and its application
| Project/Area Number |
20K03537
|
|---|
| Research Institution | Tokyo Metropolitan University |
|---|
Principal Investigator |
横山 俊一 東京都立大学, 理学研究科, 准教授 (90741413)
|
|---|
| Project Period (FY) |
2020-04-01 – 2025-03-31
|
| Keywords | 計算機数論 / 保型形式 / 耐量子計算機暗号 / Julia 言語 |
|---|
| Outline of Annual Research Achievements |
(1) 昨年度に引き続き、計算機数論、とくに代数的保型形式に関する研究を行った。これまで取り組んできた、四元数環上の代数的保型形式の周期に関する研究の延長線上にある話題として、組み合わせ論的な手法を用いて保型形式に関するベクトル空間の生成系を高速に計算する手法を開発し、アルゴリズム構築・実装までを行った。さらにその改良として、生成多項式系に関するアイデアを用いて計算手法を簡素化した（落合啓之氏、若槻聡氏との共同研究）。
(2) 耐量子計算機暗号における署名技術の一般化に対する高速化・効率化を行った。NIST PQC コンペティションにおいて最終ラウンドを通過した署名技術とし て CRYSTALS-Dilithium があるが、その一般化のひとつである Masking-Dilithium にはスクリプト実装がなかったため、これをC言語環境で実装した。さらにマスキング技術における masking-unmasking フェーズの有無において数学的に同一の情報を保持できることを数学的に証明した（植元雅斗氏、山村和輝氏、宮澤俊之氏との共同研究)。なお本研究は NTT 社会情報研究所との共同研究として実施されたが、計算機実装に関する情報収集等の業務の一部を本研究課題として実施したため、本報告書に記載する次第である。
(3) Julia 言語を用いた数式処理システム開発の一環として、数学および物理学の最先端における Julia の活用に関するカンファレンスを行った（主催は九州大学マス・フォア・インダストリ研究所）。またその成果を IMI レクチャーノートとして出版した（富谷昭夫氏、永井佑紀氏、寺崎敏志氏との共同編集）。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本年度も、Julia 言語をはじめとして複数の計算機代数システムを用いて、多角的な研究を遂行できている。とくに本年は、本研究課題にも明示した Julia 言語に関する最先端の研究知見を共有する場を設け、最新の開発状況に関する情報を収集すると共に、計算機代数系における Julia の活用方法に関して幅広い専門分野の研究者と研究討議を行うことができた。最終年度に向けての仕上げとして、ユーザ拡大のために気をつけるべきノウハウを還元していく予定である。
また、現在進めている研究で用いている計算機代数システムの Julia 言語への移植についても開始の目処がたち、引き続き最もパフォーマンスを引き出すことのできる開発プランを模索している。
|
| Strategy for Future Research Activity |
代数的保型形式に関する共同研究事業については、引き続き関連する数論的対象物を Julia 言語をはじめとする高速実装環境に実現する作業に取り組む（とくにデータベース化における作業の簡素化と、実行時間の物理的高速化を検討している）。一方、暗号理論への応用事例としても、前年度から開始した耐量子計算機暗号の署名技術の高速・効率化と性能評価について継続的に研究を進めていく予定である。具体的には、マスキング格子を援用した署名技術 Masking-Dilithium における高速ビット演算およびその数学的正当性について、Julia 言語との相性や高速化アルゴリズムの適用検討を進めてい く予定である。
|
| Causes of Carryover |
本事業計画においては、最終年度（2024年度）にこれまでの総まとめとして大規模計算によるデータベース取得が予定されており、設備投資（計算機）に関わる経費が必要となるため、2023年度予算を繰り越すことにした次第である。
また本課題と並行して企業との共同研究を実施しており、経費を分担して執行することが可能であったため、想定よりも予算が保存されたことも理由である。
|
Research Products
(10 results)
-
-
-
-
-
-
-
-
[Book] 数論入門辞典2023
Author(s)
加藤文元, 砂田利一（編）
Total Pages
640
Publisher
朝倉書店
ISBN
978-4-254-11159-0
-
-
