Ikegami Daisuke

Research field (3)： Algebra , Algebra , Information theory

Research keywords (8)： Groebner Bases , グレブナー基底 , 誤り訂正符号 , 可換代数 , 組合せ最適化 , combinatorial optimization , commutative algebra , error correcting code

Research theme for competitive and other funds (1)：

Papers (10)：

ｍore...

MISC (2)：

Lectures and oral presentations (26)：

A proof of Pythagoras theorem in Agda2
(7th Theorem Proving and Provers meeting 2011)
Universal Gr\"obner Basis Associated with the Maximum Flow Problem
(International Council for Industrial and Applied Mathematics (ICIAM 2011) 2011)
21世紀の数式処理に対する三つの新機軸:ディペンダビリティ・ユーザビリティ・並列/並行計算
(RIMS共同研究『数式処理の新たな発展』 2010)
最大流問題における双対性
(日本応用数理学会年会(2008年)講演予稿集 pp.11-12 2008)
最大流問題に付随するトーリックイデアルの生成系
(日本応用数理学会年会 2007)

ｍore...

Works (1)：

Education (3)：

- 2003 Nara Institute of Science and Technology Graduate School of Information Science Department of Information Processing
- 2000 Osaka University
- 1998 Osaka University School of Science Department of Mathematics

Professional career (1)：

Work history (11)：

2010/04 - 2010/09 Information Technology Research Institute of Advanced Institute of Science and Technology (AIST) Research scientist
2010/04 - 2010/09 Collaborative Facilities for Verification, National Institute of Advanced Industrial Science and Technology (AIST) Research scientist
2010/04 - 2010/09 産業技術総合研究所産学官連携推進部門関西産学官連携センター組込みシステム技術連携研究体[任期付き常勤研究員](兼)情報技術研究部門[研究部門付]
2008/04 - 2010/03 Collaborative Facilities for Verification, National Institute of Advanced Industrial Science and Technology (AIST) Research scientist by second profession
2008/04 - 2010/03 産業技術総合研究所組込みシステム技術連携研究体 (併任) 任期付き常勤研究員(プロジェクト型)

Show all

Association Membership(s) (2)：

日本ソフトウェア科学会 , 日本数式処理学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page