研究者
J-GLOBAL ID:201101098182786027   更新日: 2023年12月27日

池上 大介

Ikegami Daisuke
研究分野 (3件): 代数学 ,  代数学 ,  情報学基礎論
研究キーワード (8件): Groebner Bases ,  グレブナー基底 ,  誤り訂正符号 ,  可換代数 ,  組合せ最適化 ,  combinatorial optimization ,  commutative algebra ,  error correcting code
競争的資金等の研究課題 (1件):
  • 2004 - 2006 対話的定理証明器に関する理論的研究および実装
論文 (10件):
MISC (2件):
  • 渡邊 芳英, 野田 良純, 加藤 有己, 池上 大介. AsirによるToric idealのグレブナー基底計算. 数式処理. 2003. 9. 4. 24-25
  • 池上大介. ISSAC2002参加報告 : Traverso先生との思い出. 数式処理. 2003. 9. 3. 27-28
講演・口頭発表等 (26件):
  • Agda2 による Pythagoras の定理の証明
    (7th 定理証明及び定理証明系ミーティング 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)
もっと見る
Works (1件):
  • 統合検証環境
    永山操, 池上大介, 武山誠 2005 -
学歴 (3件):
  • - 2003 奈良先端科学技術大学院大学 情報科学研究科 情報処理学専攻
  • - 2000 大阪大学 理学研究科 数学専攻
  • - 1998 大阪大学 理学部 数学科
学位 (1件):
  • 博士(工学)
経歴 (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 産業技術総合研究所 組込みシステム技術連携研究体 (併任) 任期付き常勤研究員(プロジェクト型)
全件表示
所属学会 (2件):
日本ソフトウェア科学会 ,  日本数式処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る