研究者詳細

顔写真

ダハン　グザヴイエ　ジル　メサウド
Dahan Xavier Gilles Messaoud
Dahan Xavier Gilles Messaoud
所属
高度教養教育・学生支援機構　グローバルラーニングセンター
職名
准教授
学位

  • 博士（情報科学）（エコール･ポリテクニーク）

  • 修士（情報科学）（パリ第六大学）

  • 修士（数学）（パリ第六大学）

プロフィール
私の研究的興味が数学と情報学の組み合わせです。「計算機代数」(数式処理とも言われている)を中心に研究し、公開鍵暗号理論とグラフ理論という応用分野に貢献してきました。具体的にいうと、新たなアルゴリズムを設計し、計算量を見積もし、実装しています。そこで、計算機での計算はしばしば「実験」の過程とみなしてもいいと思います。

経歴 6

  • 2019年9月 ～ 継続中
    東北大学　高度教養教育・学生支援機構 グローバルラーニングセンター　准教授

  • 2014年10月 ～ 2019年8月
    お茶の水女子大学　プロジェクト教育研究院(数学講義担当)　特任准教授

  • 2014年4月 ～ 2014年9月
    法人九州先端科学技術研究所　情報セキュリティ研究室　研究員

  • 2013年4月 ～ 2014年3月
    九州大学大学院システム情報科学府　情報科学府　特任助教

  • 2008年11月 ～ 2013年3月
    九州大学 大学院数理学府　グローバルCOE プログラム「マス・フォア・インダストリ」教育研究拠点　助教

  • 2006年11月 ～ 2008年10月
    日本学術振興会　立教大学　外国人特別研究員

︎全件表示 ︎最初の5件までを表示

学歴 4

  • エコール・ポリテクニック　博士課程　情報科学大学院

    2003年9月 ～ 2006年11月

  • エコール・ポリテクニック　修士課程　情報科学大学院

    2001年10月 ～ 2003年7月

  • パリ６大学　修士課程　数学大学院

    2000年9月 ～ 2001年9月

  • ベルサイユ大学　理学部数学部　数学科

    1996年9月 ～ 2000年7月

所属学協会 2

  • 日本数式処理学会

  • ACM SIGSAM

研究キーワード 6

  • 数式処理

  • コンピュータ代数

  • 代数的グラフ理論

  • Graph

  • グレブナー基底

  • Computer Algebra

研究分野 1

  • 自然科学一般 / 応用数学、統計数学 / 計算機代数

受賞 2

  1. ISSAC 2005 best student author award

    2005年7月　ACM　(Lifting techniques for triangular sets)

  2. ISSAC 2004 distinguished paper award

    2004年6月　ACM　(Sharp estimates for triangular sets)

論文 17

  1. Chinese Remainder Theorem for bivariate lexicographic Groebner bases 国際誌 査読有り

    Xavier Dahan

    Proceedings of the 48th International Symposium on Symbolic and Algebraic Computation, ISSAC 2023　2023年7月

    出版者・発行元：

  2. Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one 国際誌 査読有り

    Xavier Dahan

    Journal of Symbolic Computation　(110)　24-65　2022年5月

    出版者・発行元：

    DOI： 10.1016/j.jsc.2021.10.001 　

  3. Regular graphs of large girth and arbitrary degree 国際誌 国際共著 査読有り

    Xavier Dahan

    COMBINATORICA　34　(4)　407-426　2014年8月

    DOI： 10.1007/s00493-014-2897-6 　

    ISSN：0209-9683

    eISSN：1439-6912

  4. Bit-size estimates for triangular sets in positive dimension 国際誌 国際共著 査読有り

    Xavier Dahan, Abdulilah Kadri, Eric Schost

    JOURNAL OF COMPLEXITY　28　(1)　109-135　2012年2月

    DOI： 10.1016/j.jco.2011.05.001 　

    ISSN：0885-064X

  5. Lifting techniques for triangular decompositions 国際誌 国際共著 査読有り

    Xavier Dahan, Marc Moreno Maza, Eric Schost, Wenyuan Wu, Yuzhen Xie

    Proceedings of the 30th International Symposium on Symbolic and Algebraic Computation, ISSAC 2005　108-115　2005年7月

    出版者・発行元：

  6. Sharp estimates for triangular sets 国際誌 国際共著 査読有り

    Xavier Dahan, Eric Schost

    Proceedings of the 29th International Symposium on Symbolic and Algebraic Computation, ISSAC 2004　103-110　2004年7月

    出版者・発行元：

  7. The effects of coating culture dishes with collagen on fibroblast cell shape and swirling pattern formation 国際誌 国際共著 査読有り

    Kei Hashimoto, Kimiko Yamashita, Kanako Enoyoshi, Xavier Dahan, Tatsu Takeuchi, Hiroshi Kori, Mari Gotoh

    Journal of Biological Physics　46　(46)　351-369　2020年8月

    出版者・発行元：

    DOI： 10.1007/s10867-020-09556-3 　

    ISSN：0092-0606

    eISSN：1573-0689

  8. On a non-Archmidean Broyden method 国際誌 国際共著 査読有り

    Xavier Dahan, Tristan Vacon

    Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, ISSAC 2020　2020　114-121　2020年7月

    出版者・発行元：

    DOI： 10.145/3373207.3404045 　

  9. On the bit-size of non-radical triangular sets 国際誌 査読有り

    Xavier Dahan

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　10693　(10693)　264-269　2017年11月

    出版者・発行元：

    DOI： 10.1007/978-3-319-72453-9_19 　

    ISSN：1611-3349 0302-9743

  10. Gcd modulo a primary triangular set of dimension zero 国際誌 査読有り

    Xavier Dahan

    Proceedings of the 42th International Symposium on Symbolic and Algebraic Computation, ISSAC 2017　42　109-116　2017年7月

    出版者・発行元：

    DOI： 10.1145/3087604.3087612 　

  11. Bit-size reduction of triangular sets in two and three variables. 国際誌 査読有り

    Tetsuro Yamashita, Xavier Dahan

    7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016　7　169-182　2016年3月

    出版者・発行元： EasyChair

  12. Computation of eigenvalues of Cayley graphs and application 国際誌 査読有り

    Dahan Xavier

    Proceedings of WAAC'2013　97-103　2013年

  13. Evaluation properties of invariant polynomials 国際誌 国際共著 査読有り

    Xavier Dahan, Eric Schost, Jie Wu

    JOURNAL OF SYMBOLIC COMPUTATION　44　(11)　1592-1604　2009年11月

    DOI： 10.1016/j.jsc.2008.12.002test 　

    ISSN：0747-7171

  14. Size of coefficients of lexicographical Gröbner bases: the zero-dimensional, radical and bivariate case. 国際誌 査読有り

    Xavier Dahan

    PROCEEDINGS OF THE 34th INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2009　34　119-126　2009年7月

    DOI： 10.1145/1576702.1576721 　

  15. Change of order for regular chains in positive dimension 国際誌 国際共著 査読有り

    Xavier Dahan, Xin Jin, Marc Moreno Maza, Eric Schost

    THEORETICAL COMPUTER SCIENCE　392　(1-3)　37-65　2008年2月

    DOI： 10.1016/j.tcs.2007.10.003 　

    ISSN：0304-3975

    eISSN：1879-2294

  16. Complexity of polynomial systems representations: triangulation, modular methods, dynamic evaluation. 国際誌

    Xavier Dahan

    Ecole Polytechnique, France　2006年11月

  17. On the complexity of the D5 principle. 国際誌 国際共著

    Xavier Dahan, Éric Schost, Marc Moreno Maza, Wenyuan Wu, Yuzhen Xie

    ACM SIGSAM Bulletin　39　(3)　97-98　2006年4月

    出版者・発行元： (paper attached)

    DOI： 10.1016/j.jsc.2008.12.002 　

    詳細を見る 詳細を閉じる

    Abstract of the version published in "Proceedings of Transgressing Computing 2006" (paper attached)

︎全件表示 ︎最初の5件までを表示

MISC 5

  1. A multivariate quadratic challenge toward post-quantum generation cryptography

    Takanori Yasuda, Xavier Dahan, Yun-Ju Huang, Tsuyoshi Takagi, Kouichi Sakurai

    ACM Communications in Computer Algebra　49　(3)　105-107　2015年9月1日

    出版者・発行元： Association for Computing Machinery

    DOI： 10.1145/2850449.2850462 　

    ISSN： 1932-2240 1932-2232

  2. Characterizing NTRU-Variants Using Group Ring and Evaluating their Lattice Security.

    Takanori Yasuda, Xavier Dahan, Kouichi Sakurai

    IACR Cryptology ePrint Archive　1170　2015年

  3. MQ Challenge: Hardness Evaluation of Solving Multivariate Quadratic Problems.

    Takanori Yasuda, Xavier Dahan, Yun-Ju Huang, Tsuyoshi Takagi, Kouichi Sakurai

    IACR Cryptology ePrint Archive　2015　275　2015年

  4. New constructions of graphs with large girth obtained from "classical" ones (有限群とその表現,頂点作用素代数,組合せ論の研究 : RIMS研究集会報告集)

    Dahan Xavier

    数理解析研究所講究録　1811　130-134　2012年10月

    出版者・発行元： 京都大学

    ISSN： 1880-2818

  5. On bit-size estimates of triangular systems (数式処理研究の新たな発展--RIMS共同研究報告集)

    Dahan Xavier

    数理解析研究所講究録　1759　26-42　2011年9月

    出版者・発行元： 京都大学

    ISSN： 1880-2818

講演・口頭発表等 6

  1. 1変数多項式を法とした2変数多項式の辞書式順序グレブナー基底 招待有り

    リモージュ大学の計算機代数セミナー (オンライン)　2021年12月9日

  2. アリキメデスでないブロイデン法

    数式処理と代数的計算の國際シンポジュム 2020　2020年7月21日

  3. Size of coefficients of lexicographical Groebner bases 国際会議

    Xavier Dahan

    ISSAC 2009　2009年7月

  4. On the complexity of the D5 principle 国際会議

    Xavier Dahan, Marc Moreno Maza, Eric Schost, Yuzhen Xie

    Trangressive Computing 2006　2006年4月

  5. Lifting techniques for triangular decompositions 国際会議

    Xavier Dahan, Marc Moreno Maza, Eric Schost, Wenyuan Wu, Yuzhen Xie

    ISSAC 2005　2005年7月

  6. Sharp estimates for triangular sets 国際会議

    Xavier Dahan, Eric Schost

    ISSAC 2004　2004年7月

︎全件表示 ︎最初の5件までを表示

担当経験のある科目(授業) 33

  1. 情報基礎 B　東北大学 学部専門科目

  2. 解析概要　東北大学 学部専門科目

  3. 解析学 C　東北大学 学部専門科目

  4. 解析学 A　東北大学 学部専門科目

  5. 情報基礎 B　東北大学 学部専門科目

  6. 解析学 B　東北大学 学部専門科目

  7. 解析概要　東北大学 学部専門科目

  8. 解析学 C　東北大学 学部専門科目

  9. 解析学 A　東北大学 学部専門科目

  10. 解析学 B　東北大学 学部専門科目

  11. 解析概要　東北大学 学部専門科目

  12. 解析学 A　東北大学 学部専門科目

  13. 解析学 C　東北大学 学部専門科目

  14. 統計学入門　お茶の水女子大学 大学院教養科目

  15. Python言語で数値解析入門　お茶の水女子大学 学部専門科目

  16. 統計学入門　お茶の水女子大学 大学院教養科目

  17. 数値解析入門　お茶の水女子大学 学部専門科目

  18. 統計学入門　お茶の水女子大学 大学院教養科目

  19. 数学II　お茶の水女子大学 大学院教養科目

  20. 数学II　お茶の水女子大学 大学院教養科目

  21. 統計学入門　お茶の水女子大学 大学院教養科目

  22. 数学I　お茶の水女子大学 大学院教養科目

  23. 暗号と情報セキュリティ (分担者)　九州大学 大学院教養科目

  24. 数学I　お茶の水女子大学 大学院教養科目

  25. 暗号と情報セキュリティ (分担者)　九州大学 大学院教養科目

  26. 代数III演習　九州大学 学部専門科目

  27. 計算数学　九州大学 大学院教養科目

  28. 計算数学　九州大学 大学院教養科目

  29. アルゴリズムとプログラミング 演習　エコール・ポリテクニック 学部専門科目

  30. 情報科学の応用 演習　エコール・ポリテクニック 学部専門科目

  31. 情報科学入門 演習　エコール・ポリテクニック 学部専門科目

  32. アルゴリズムとプログラミング 演習　エコール・ポリテクニック 学部専門科目

  33. 情報科学入門 演習　エコール・ポリテクニック 学部専門科目

︎全件表示 ︎最初の5件までを表示