ページの先頭です。
サイト内の現在位置を表示しています。
  1. ホーム
  2. 企業情報
  3. 研究開発(R&D)
  4. NECのAI(人工知能)研究
  5. 研究グループ紹介
  6. 自動推論テクノロジーグループ
  7. メンバー紹介
  8. 中山 裕貴
ここから本文です。

中山 裕貴 | NEC R&D on Automated Reasoning

中山 裕貴

中山 裕貴

NEC 中央研究所
データサイエンス研究所
自動推論テクノロジーグループ

所在地: 〒211-8666 神奈川県川崎市中原区下沼部1753

研究分野

  • 計算代数・組合せ論
  • ルール抽出

論文

  • Hiroki Nakayama. The Analysis of Structure on Toric Ideal and Standard Pair about Dual Problem of Minimum Cost Flow (最小費用流問題の双対問題におけるトーリックイデアルおよび standard pairの構造の解析)
    Senior Thesis, Department of Information Science, Faculty of Science, the University of Tokyo, 2002.
  • Hiroki Nakayama. Analysis of Faugere's Algorithms and Groebner Walk for Toric Ideals (トーリックイデアルに対するFaugereのアルゴリズムおよびGroebner Walkの解析)
    Master Thesis, Department of Computer Science, Graduate School of Information Science and Technology, the University of Tokyo, 2004.
  • Hiroki Nakayama. Methods for Realizations of Oriented Matroids and Characteristic Oriented Matroids (有向マトロイドの実現を与える方法および特徴のある有向マトロイド)
    Dissertation, Department of Computer Science, Graduate School of Information Science and Technology, the University of Tokyo, 2007.

学会

  • 情報処理学会 アルゴリズム研究会

学会発表

  • Hiroki Nakayama, Ayako Hoshino, Chihiro Ito and Kyota Kanno. Formalization and Discovery of Approximate Conditional Functional Dependencies.
    24th International Conference on Database and Expert Systems Applications (DEXA '13)

略歴

  • 2002年3月 東京大学 理学部 情報科学科 卒業
  • 2004年3月 東京大学 情報理工学系研究科 コンピュータ科学専攻 修士課程修了
  • 2007年3月 東京大学 情報理工学系研究科 コンピュータ科学専攻 博士課程修了
  • 2009年4月 NEC 中央研究所 配属
    (2013年4月~2015年9月 NEC情報システムズに出向)

ページの先頭に戻る