コンテンツにスキップ

自動生成の実行

コマドリの核となる機能が、時間割の自動生成です。設定した制約ルールをすべて満たし、要望ルールをできる限り考慮した時間割を、数理最適化技術を使って自動で作成します。

コマドリは数理最適化ソルバーを使用して時間割を生成します。AIのような曖昧さはなく、設定した制約ルールを確実にクリアした時間割を作成します。

  • すべての制約ルールを確実に満たす
  • 要望ルールを優先度に応じて最大限考慮
  • 約1分で生成完了
  • 複数の候補から選択可能
  • 生成後の手動調整も可能
  1. 時間割計画を開く

    サイドバーから「時間割計画」を選択し、生成したい計画を開きます。

  2. ルールを確認

    「ルール」タブで制約条件が正しく設定されているか確認します。 特に担当教員の割り当ては必須に近い重要な設定です。

  3. 「自動生成」ボタンをクリック

    画面右上の「自動生成」ボタンをクリックします。

  4. 生成を待つ

    生成中は画面右下にフローティングウィンドウで進捗が表示されます。 通常1分以内に完了します。

  5. 結果を確認

    生成が完了すると、「時間割を確認する」ボタンが表示されます。 クリックするとエディター画面で結果を確認できます。

自動生成中は、フローティングウィンドウで進捗が表示されます。

表示項目説明
進捗バー生成の進捗をパーセントで表示
フェーズメッセージ現在の処理段階(準備中、探索中など)
経過時間生成開始からの時間

生成が完了すると、「時間割」タブに新しい時間割カードが追加されます。

各時間割カードには以下の情報が表示されます:

項目説明
授業配置率全授業のうち配置済みの割合(100%が理想)
配置済みスケジュールに配置された授業数
未配置まだ配置されていない授業数
制約違反制約ルールに違反している件数(0が理想)
要望未達要望ルールが達成できていない件数
ステータス下書き / レビュー中 / 承認済み
  1. 「時間割」タブを開く
  2. 確認したい時間割カードをクリック
  3. エディター画面で詳細を確認

エディター画面では、右側の「時間割サマリー」パネルで詳細な統計情報を確認できます。

制約ルールが矛盾している場合、生成に失敗することがあります。

設定されたルールの組み合わせで時間割を作成できない場合、診断結果が表示されます。

  • 問題の検出数が表示されます
  • 「診断結果を確認する」ボタンから詳細を確認できます
  • どのルールが問題の原因になっているかヒントが表示されます
原因対処法
担当教員が設定されていない担当教員を割り当てる
教員の授業数が多すぎる時限数を増やすか、教員を追加
勤務不可時間が多すぎる勤務不可時間を見直す
制約が矛盾している制約ルールを見直す

一部の制約を無効化して再生成することもできます。

  1. 「ルール」タブを開く
  2. 問題の原因と思われるルールを一時的に無効化
  3. 再度「自動生成」を実行
  4. 生成後、手動でそのルールを考慮した調整を行う

同じ制約条件でも、複数回生成すると異なる時間割が作成される場合があります。 いくつかの候補を生成して比較することで、より良い時間割を選択できます。

規模生成時間の目安
小規模(1学年3クラス)約30秒
中規模(3学年9クラス)約1分
大規模(3学年12クラス以上)1〜3分

制約ルールと要望ルールの複雑さによっても生成時間は変動します。