横山 俊一

J-GLOBALへ         更新日: 14/05/12 22:27
 
アバター
研究者氏名
横山 俊一
 
ヨコヤマ シュンイチ
eメール
s-yokoyamamath.kyushu-u.ac.jp
URL
http://www2.math.kyushu-u.ac.jp/~s-yokoyama/index-j.html
所属
九州大学
部署
大学院数理学研究院
職名
助教
学位
博士(数理学)(九州大学)
その他の所属
JST CREST

プロフィール

計算機数論(主に代数的側面)、および産業界における映像数学・応用数学に興味を持って研究しております。
皆様、何卒宜しくお願い申し上げます。

研究分野

 
 

経歴

 
2014年5月
 - 
現在
九州大学 数理学研究院 助教
 
2012年11月
 - 
2014年4月
九州大学マス・フォア・インダストリ研究所 学術研究員
 
2012年4月
 - 
2012年10月
日本学術振興会 特別研究員(DC2)
 
2010年4月
 - 
2012年3月
九州大学数理学研究院 グローバルCOEプログラム スーパーリサーチアシスタント
 

学歴

 
2010年4月
 - 
2012年10月
九州大学 大学院数理学府 博士課程 
 
2008年4月
 - 
2010年3月
九州大学 大学院数理学府 修士課程 
 
2004年4月
 - 
2008年3月
九州大学 理学部 数学科
 

受賞

 
2013年6月
日本数式処理学会 (JSSAC) 奨励賞 Magmaによるp進拡大体の高速生成アルゴリズムの実装
 
2011年10月
マス・フォア・インダストリ研究所 最優秀ポスター賞 Forum "Math-for-Industry 2011" in Hawaii
受賞者: 横山 俊一, 藤堂 英樹, 安生 健一
 

論文

 
数式処理における数学と世界最速への挑戦:終結式の計算を例に
横山 俊一
Hokkaido University Technical Report Series in Mathematics   160 43-49   2014年3月
Magmaによる局所体高速生成アルゴリズムの実装
横山 俊一
Bulletin of Japan Society for Symbolic and Algebraic Computations   20(1) 3-12   2014年2月   [査読有り][招待有り]
統合システム Sage とクラウド型 CAS の最新事情
横山 俊一
RIMS Kokyuroku   1843 131-139   2013年10月
Hideki Todo, Ken Anjyo and Shun'ichi Yokoyama
The Visual Computer   29(6-8) 473-480   2013年6月   [査読有り]
High-speed calculation for isomorphy of extension of a p-adic field with Magma
横山 俊一, 吉田 学
Transactions of the Japan Society for Industrial and Applied Mathematics   22(4) 277-286   2012年12月   [査読有り]

書籍等出版物

 
数式処理研究と産学連携の新たな発展
照井章, 小原功任, 濱田龍義, 横山俊一, 穴井宏和, 横田博史 (担当:共編者)
九州大学数理学研究院   2013年8月   
計算機代数システムの進展
横山俊一、夫紀恵、林卓也 (担当:共編者)
九州大学数理学研究院   2011年11月   
Magmaで広がる数学の世界
木田雅成、原田昌晃、横山俊一 (担当:共編者)
九州大学数理学研究院   2010年12月   

講演・口頭発表等

 
終結式計算の汎用数式処理システムへの高速実装とその展望
横山 俊一
数学ソフトウェアとフリードキュメントXVIII   2014年3月14日   
数式処理における数学と世界最速への挑戦:終結式の計算を例に
横山 俊一
第10回数学総合若手研究集会   2014年3月5日   
Computing resultant matrix of general multivariate polynomials and its determinant using Magma [招待有り]
横山 俊一
Hakata Workshop 2014 - Discrete Mathematics and its Applications   2014年2月8日   
計算代数システム Magma による多変数多項式の終結式計算の高速化
横山 俊一
第1回 JST CREST 「数学」領域横断若手合宿・冬の学校   2014年1月31日   
3つの数式処理システムで学ぶ楕円曲線の計算理論 [招待有り]
横山 俊一
北陸数論研究集会 2013   2013年12月26日   

その他

 
2012年1月
九大広報 第79号 インタビュー
「映像の課題を数学で読み解く」
http://www.kyushu-u.ac.jp/magazine/kyudai-koho/No_79/index.php