华人策略论坛,华人策略网站

图片

研究?産官学連携

ホーム > 研究?産官学連携 > 研究室紹介 > 情報システム?セキュリティコース > 橋本健二研究室[#SAT、形式言語理論]

橋本健二研究室

キーワード
#SAT、形式言語理論

近年のSATソルバに代表される制約式の解を求めるソルバの性能向上により、SAT技術はハードウェアやソフトウェアの検証、スケジューリングなど多岐にわたる問題の解決に応用されています。本研究室では、制約式の解探索、特に解の計数(#SAT)や列挙の理論とソルバ実装、そしてその応用について研究しています。
また、有限オートマトンや形式文法などを扱う形式言語理論と、ソフトウェア検証などへの応用にも取り組んでいます。

hashimotokenji2.png
?レプタイル敷詰め方の計数への応用例