TMU 卒業要件確認システム

東京都立大学 システムデザイン学部 情報科学科の卒業要件を、履修した科目から確かめるためのシステムです。

主な機能

• 学科の標準履修モデル（2023年度）をもとにした、科目の一覧の表示
• 履修した科目の単位を区分ごとに集計し、卒業要件を満たしているかの判定
  • 総単位数（128単位以上）
  • 必修の実験科目（システムプログラミング実験・応用プログラミング実験）
  • 専門基礎科目の分野ごと（基礎理論系・アーキテクチャ系など）の単位

仕組み

• 科目データ: 履修モデル表の科目を CSV に起こし、SQLite に取り込んでいます。授業番号の形式は、テーブルの制約で検査しています
• 判定: 卒業要件を Prolog（SWI-Prolog）の規則として書き、Python から呼び出して判定します
• 画面: React で、科目の一覧と判定の結果を表示します

技術構成

• Python・Prolog（SWI-Prolog / pyswip）・SQLite
• React