制約充足問題に対する人間‐機械の協調型最適化手法と制約構造の可視化を目的とした形式概念分析の試み―大学時間割作成業務を対象として―