石井研究室

福井大学 工学部 情報・メディア工学科

大学院工学研究科 情報・メディア工学専攻

(English)

■    ■    ■

メール: dsksh(a)u-fukui(d)ac(d)jp
〒910-8507 福井市文京3-9-1 (工学系3号館 506・510号室)
アクセス情報 キャンパスマップ
電話: 0776-27-8773 (学内用内線: 4381)

メンバー

教員

博士前期課程2年生

  • 香椎 蓮司
  • 野村 亮太
  • 八田 竜起
  • 村上 椋星

OB

  • 泉 翔太 (2018年度修了)
  • 井上 晃輔 (2018年度修了)
  • 藤井 采人 (2018年度修了)
  • 薮 智仁 (2018年度修了)
  • 荒井 柊一 (2018年度卒業)
  • 遠藤 光一郎 (2018年度卒業)
  • 小嶋 翔太 (2018年度卒業)
  • 隅 駿太 (2018年度卒業)
  • 武仲 紘輝 (2018年度卒業)
  • 北出 和正 (2017年度卒業)
  • 深川 慎介 (2017年度卒業)
  • 吉森 夕李亜 (2016年度卒業)

研究内容

  • 区間解析に基づいた制約プログラミング
  • 制約プログラミングによるハイブリッドシステムの検証
  • 制約ソルバーの大規模並列化
  • 高信頼プログラムの検証

研究業績