スケジュールナース 著作物ページ


チュートリアル

スケジュールナースUチュートリアル
ソフト制約を使いこなす
時間制約の使い方

jikajiスケジュールナース リンクページ


ユーザさま事例 

第59回全日本病院学会発表スライド(石川)

論文

菅原孝幸、長谷川大吾(マルマンコンピュータ株式会社)
SAT ソルバーを用いたナーススケジューリング問題の解法 Proceedings of the 29th RAMP Symposium 29 P57-72 2017年

Takayuki Sugawara MaxRoster: Solver Description
MaxSAT Evaluation 2017 Solver and Benchmark Descriptions p12

プレゼンテーション

菅原孝幸
SAT ソルバーを用いたナーススケジューリング問題の解法 29th RAMP Symposium 筑波 2017年

プレスリリース

2017 10月

受賞



2017 MaxSAT国際コンペティション 出場4トラック中 1位3個、3位1個

2006 LSIデザインコンテスト 3位

2004 LSIデザインコンテスト 努力賞

記事


HDL設計技術講座 トランジスタ技術誌 連載 2006