私の研究室に興味をもっていただき有難うございます. ここでは, 研究室訪問などの折によくお尋ねいただく質問について, あらかじめお答えしたいと思います. 研究室選びの参考にしていただければ幸いです.
Q. どんな分野の数学を勉強することができますか？
私の専門は「計算機数論」および「数式処理」です. 計算機数論はその名の通り, 数論（とくに代数的整数論）におけるいろいろな問題に計算機を使って立ち向かう分野です. 計算機の使い方もその都度異なり, 手計算では到底無理な問題を計算機にお任せするための理論設計をしたり, 逆に既存のアルゴリズムでは10年かかる計算を1週間で完了できるような数学的・計算機的手法を探し求めたりします. 一方, 数式処理というのは（色々な分野に細分化されているので一概には言えませんが）計算システムそのものと向き合う研究を行い, この話題を扱うには欠かせない「多項式代数」が個人的には一番興味のある分野です. 定義を知らなくても「グレブナー基底」という言葉は聞いたことのある方もいらっしゃるのではないでしょうか. このような「素性のよい・でも数学的に奥深い」対象を研究しています. 過去には企業との共同研究として, 暗号分野での成果も（大学院生さんの頑張りもあり）いくつか得られました.
ですので, 私の研究室の学生さんにはこのあたりに近い話題を勉強・研究していただくことになります. ただし, 学部4年の1年間だけで卒業してしまう方については, もうちょっと選択肢を広げて, 興味のある数学を広く勉強していただくことも可能です. ただし（指導するという意味でももちろんですが）必然的に私の専門に関連した分野に限ります. なお学部のみの例外的トピックとして映像数学（CG を支える数学）という分野もあります.
Q. 計算機の知識がないとダメですか？
研究室配属の段階では計算機に関する予備知識は全く仮定しません. ただ知識不要とはいっても「計算機アレルギー」があるとちょっとお互いに辛いですから, 計算機にある程度は興味をもっていただけることが前提です. もちろん, 興味や知識が深ければ深いほど大歓迎です.
都立大数理では, 私は応用数理講座所属のため「プログラミングを教えている人」「エンジニア風味の人」と思われがちですが, 実は私は計算機数論の分野で博士号を取得し, 前任の九州大学では代数系の講義や演習を主に教えていました. ですので, 私の研究人生の土台は純粋数学（とくに代数系）にあります.
Q. 配属を希望していますが, それまでに何をすればよいですか？
私の研究室を希望される場合は, 事前の 面談 をお願いしています. 面談といっても堅苦しいものではなく, 興味のある数学や今後やってみたいこと, アルバイトや教育実習との兼ね合いなどをざっくばらんにお話できればと思います. 私から一方的に説明したりはしませんので「面談で聞きたいことリスト」を事前に考えておいてください. 数学とは関係ない雑談も大歓迎です（人となりを知る意味で双方有益だと思っています）. 大学院から転入される方で遠方の場合は, オンラインでの面談もできますので, お気軽にメイルにてお問い合わせください.
具体的なこと（読む本・セミナーの形態など）については, 配属が確定してからゆっくり決めますので, あわてなくて大丈夫です.
Q. ゼミは厳しい（or 楽）ですか？
ごく稀に直球でこの質問を受けることがありますが, こういうことを高年次になっても気にしている方は私の研究室には向かないと思います. 他の研究室をあたってください.
私自身のこれまでの経験から, 研究室の皆さんには積極的に学会・研究集会への参加や発表, インターンシップ, 共同研究などに取り組むよう奨励しています. 学生だからこそできる挑戦や経験を存分にしていただきたいので, ただ受け身で To Do リストを待っている方には向かないと思います.
また私は, 研究室の皆さんの出退勤・コアタイム（そもそもない）や勉強・研究のスタイルに口出しをすることはしません（もちろん相談にはいつでものります）. しかしそれは「自己責任で過ごすこと」でもあります. 人生だれでも, ときにはスランプに陥ることもありますが, そういった局面で何もしない学生さんを手取り足取りサポートするようなことはありません. 早い段階で10代の学生気分から脱却することに努めてください. そういう方を私は全力で応援していきます.
教育実習や公務員試験, 就職活動については柔軟に対応しますので, 遠慮なく相談してください.
Q. セミナーを行うにあたって, 気をつけておくべきことはありますか？
例えば 河東泰之先生（東京大学）の記事 が参考になると思います. そのほか 赤穂まなぶ先生（東京都立大学）の記事 もご一読をおすすめします.
Q. 結局, 一番大事なことは何ですか？
数学を楽しむこと, できれば失敗すら楽しむこと を忘れないでください. 最先端の研究は 99% の失敗と共にあります. 大好きなはずの数学が苦行になることほど悲しいことはありません. うまく気分転換をし, 仲間と切磋琢磨しながら, 思いっきり数学を満喫してほしいと思います. 失敗が楽しめるようになったら, きっと見える世界が変わってくるはずです. 現代数学のオープンワールドを一緒に楽しんでくれる人に来てほしいと思います.
※ 数字は在籍年度, 総論メンバーは除く
・田中 隆太（2020, B）
・本橋 優作（2020, B）
・児玉 壮（2020-2021, M）
・粟沢 和也（2021, B）
・鈴木 俊博（2021, B）
・武井 悠河（2021, B）
・髙橋 雄人（2020-2022, B+M）
・福原 大毅（2020-2022, B+M）
・堀岡 大暉（2021-2022, M）
・鈴木 涼介（2022, B）
・佐久間 康平（2022, B）
・吉村 隼人（2022-2023, M）
・植元 雅斗（2022-2023, M）
・小林 龍之介（2023, B）
・生川 青輝（2023-2024, M）
・岩井 希夢（2024, B）
・遠山 竣也（2023-2025, B+M）
・平瀬 大樹（2023-2025, B+M）
・市川 琢朗（2024-2025, M）
・竹内 結大（2025, B）
・能州 豊（2025, B）
・横山 碧流（2025, B）
博士論文： 査読なし
修士論文： 主査3＋副査4
【主査】遠山 竣也「Qp 上良い還元をもつ楕円曲線のねじれ群について」
【主査】平瀬 大樹「デジタル署名 ModFalcon における Toom-Cook 法の実装と速度評価」
【主査】市川 琢朗「デジタル署名 Falcon における高速フーリエ変換の実装比較」
【副査】関﨑 洸也「イデアル格子を用いた準同型暗号方式について」（内山研）
【副査】木竜 寛斗「円分整数を用いた関数の衝突困難性について」（内山研）
【副査】清水 柚太「Deuring 対応と KLPT アルゴリズムについて」（内田研）
【副査】両角 祥也「代数体における BSD 予想の数値的検証」（内田研）
博士論文： 査読なし
修士論文： 主査1＋副査4
【主査】生川 青輝「代数体上至る所良い還元を持つ楕円曲線について」
【副査】五間 健太「UOV 署名方式について」（内山研）
【副査】埜崎 優花「素数判定問題における Cheng のアルゴリズムについて」（内山研）
【副査】星野 修司「円分多項式を用いた Pairing-Friendly 楕円曲線のサイクルの探索」（内田研）
【副査】酒井 夕佳「五次方程式と楕円モジュラー関数」（久本研）
博士論文： 主査0＋副査1
【副査】伊藤 風輝「On randomized algorithms and uniqueness problems of AND-OR trees」（鈴木研）
修士論文： 主査3＋副査5
【主査】田中 一希「包括的 Gröbner 基底系を用いた parametric イデアルの根基計算」
【主査】吉村 隼人「Q(√-1) と2次体の合成体における楕円曲線の everywhere good reduction について」
【主査】植元 雅斗「耐量子計算機暗号における電子署名のマスキング」
【副査】黄 日栄「Anshel-Goldfeld の一方向性関数について」（内山研）
【副査】鈴木 俊博「グレブナー基底計算を用いた MQ 問題の解法における多項式選択について」（内山研）
【副査】粟沢 和也「ネガ・マックス木におけるアルファ・ベータ剪定アルゴリズム」（鈴木研）
【副査】鈴木 悠大「葉に離散的な値を割り当てたゲーム木を計算するアルファ・ベータ剪定アルゴリズムの計算コスト」（鈴木研）
【副査】鈴木 丈瑠「交代型多重フルヴィッツゼータ値について」（津村研）
博士論文： 査読なし
修士論文： 主査3＋副査5
【主査】福原 大毅「耐量子計算機署名 ModFalcon の高速な多項式乗算導入による速度評価」
【主査】髙橋 雄人「耐量子計算機署名 ModFalcon における多項式乗算の最適化検討と AVX 実装による速度評価」
【主査】堀岡 大暉「モジュラー形式とヘッケ体に関する前田予想」
【副査】稲生 裕太「MQ 問題に対する M4GB アルゴリズムの多項式選択について」（内山研）
【副査】涌井 紅助「量子アルゴリズム HHL による連立1次方程式の解法について」（内山研）
【副査】西山 侑太「Hessian Curve における楕円曲線 Hidden Number Problem の拡張とその評価」（内田研）
【副査】疋田 和三「Elliptic net を用いた楕円曲線離散対数問題の指数計算法の実装と評価」（内田研）
【副査】井上 豪希「種数2の超楕円曲線の Jacobian 上の加法と Groebner 基底及びその実装」（徳永研）
博士論文： 主査0＋副査1
【副査】伊藤 琢真「An efficient algorithm for computing Groebner basis to solve the MQ problem」（内山研）
修士論文： 主査1＋副査8
【主査】児玉 壮「包括的グレブナー基底系を用いたパラメータ付きイデアルに対する零次元化」
【副査】藤田 海花「グレブナー基底と包括的グレブナー基底」（上原研）
【副査】伊藤 小太郎「アーベル曲面における消去問題」（上原研）
【副査】市川 守「強 Lucas テストとその判定効率について」（内山研）
【副査】小林 耕太郎「M4GB アルゴリズムに基づくグレブナー基底計算」（内山研）
【副査】松岡 大至「MNT 曲線, Freeman 曲線, BN 曲線で構成されるサイクルについて」（内田研）
【副査】栗田 亮也「高さ1における相関分布が与えられた AND-OR 木の均衡値」（鈴木研）
【副査】清水 泰良「一般の高さにおける相関分布が与えられた AND-OR 木の均衡値」（鈴木研）
【副査】竹原 風太「基本 Z_p-拡大上の馴分岐 pro-p 拡大における Galois 群の metacyclic 性に関して」（津村研）
博士論文： 査読なし
修士論文： 主査0＋副査7
【副査】星 雄大「F4 アルゴリズムにおける多項式選択について」（内山研）
【副査】伊丹 洸陽「2次強 Frobenius テストとその判定効率について」（内山研）
【副査】市川 幸司「Montgomery 曲線を用いた KMOV 暗号について」（内田研）
【副査】伊藤 風輝「AND-OR 木の最適な乱択アルゴリズムの非一意性」（鈴木研）
【副査】菅井 健汰「ある非可換不変式環のイニシャル代数と乗法的順序」（黒田研）
【副査】笹本 匠夢「円分体の相対類数に対する行列式表示」（津村研）
【副査】一野 祐文「N本腕バンディット問題に関する考察」（石谷研）
博士論文： 査読なし
修士論文： 主査0＋副査6
【副査】新田 篤史「グレブナー基底計算における多項式選択について」（内山研）
【副査】原田 悠汰「2次強 Frobenius テストを用いた素数判定法について」（内山研）
【副査】深見 心「Edwards 曲線を用いた3者間 SIDH について」（内山研）
【副査】石川 岳「楕円曲線のねじれ部分群を計算するアルゴリズムについて」（内田研）
【副査】樺島 祐「楕円曲線と Elliptic Divisibility Sequence 上における計算困難問題の関係性について」（内田研）
【副査】有本 宗史「非対称な2分 AND-OR 木の探索コスト」（鈴木研）
Contact: s-yokoyama [at] tmu.ac.jp