タナベ ヨシノリ
Tanabe Yoshinori
田辺 良則
所属
鶴見大学 文学部 ドキュメンテーション学科
職種
教授
項目区分
作成した教科書、教材
期間
2016/07～2016/07
事項
命題論理式充足可能性判定システム
概要
命題論理式の充足可能性判定を行うシステムで，本学の講義「情報理論」を受講する学生が扱えるようなインターフェースを持つものを，既存のSATソルバーをバックエンドとして作成した．