福井大学 工学部 情報・メディア工学科
大学院工学研究科 情報・メディア工学専攻
(English)
■ ■ ■
メール: dsksh(a)u-fukui(d)ac(d)jp
〒910-8507 福井市文京3-9-1 (工学系3号館 506・510号室)
アクセス情報 キャンパスマップ
電話: 0776-27-8773 (学内用内線: 4381)
メンバー
教員
博士前期課程2年生
博士前期課程1年生
- 香椎 蓮司 (留学中)
- 野村 亮太
- 八田 竜起
- 村上 椋星
学部4年生
- 荒井 柊一
- 遠藤 光一郎
- 小嶋 翔太
- 隅 駿太
- 武仲 紘輝
OB
研究内容
- 区間解析に基づいた制約プログラミング
- 制約プログラミングによるハイブリッドシステムの検証
- 制約ソルバーの大規模並列化
- 高信頼プログラムの検証
研究室紹介スライド
|