2016年7月15日金曜日

スケジュールナースⅡリリース

GUIを全面的に書き直しました。
英語と日本語に対応しました。

DataGridは、syncfusion windows.formsを有り難く使わせて頂いております。
GUIについては、ソルバの使い方の説明としてのDoxygen生成VisualStudioC#ソースコードです。

マニュアルはこちらです。

2016年4月14日木曜日

スケジュールナース 外部サーバ廃止

匠シフタ(モバイル用)のリリースに伴い、スケジュールナースの外部サーバは廃止になりました。

旧バージョンをお使いの方は、「外部サーバ使用」のチェックを外してお使いください。

2016年1月20日水曜日

Pythonによる設計した制約の検証

設計した制約が、目論見通り動くかは、解を目視でチェックすれば分かります。しかし、多人数の場合や、複雑な制約の場合、目視で解を全部チェックするのはつらいです。そこで、チェックをスクリプトで行ってしまおうという考え方です。幸いスケジュールナースは、GUIで定義した全ての集合の定義をPythonソースコードとして吐きますので、これを利用すれば、簡単にチェック可能です。
ここに書きました。

で、検証のPythonソースがちゃんと動くか、またそこに戻ってくるのですが、これは、別にエラーを意図的に作って、検証プログラムがちゃんとそれを拾うかどうかを見てみるしかありません。