制約処理システム研究室

複雑な問題をコンピュータに自動的に解かせる

當研究室の主な研究分野は制約プログラミングです。制約プログラミングでは、人間は解きたい問題を制約充足問題として記述し、コンピュータが自動的にそれを解きます。制約充足問題とは変數と制約(変數間の関係、例えば方程式)とで記述された問題です。當研究室ではいろいろな問題の制約充足問題としての定式化やその解き方を研究しています。
制約処理システム研究室開発中の撮影地探索システムの使用例
システム理工學部電子情報システム學科
擔當教員
鈴木 徹也
所屬學會日本ソフトウェア科學會/情報処理學會/米國計算機學會(ACM)
キーワードソフトウェア、プログラミング、探索アルゴリズム、アルゴリズム

學べる分野

情報工學

社會のために

制約プログラミングはさまざまな分野(オペレーショズリサーチ、分子生物學、電気工學、數値計算、自然言語処理など)に適用されています。

研究テーマ

関連リンク

関連する研究室

草蜢社区在线观看免费下载