プレスリリースしました。

プレスリリースしました。

MaxSATについては、ここ１-２年進歩があまり無いのですが、MaxSATcommunityにささやかながら少し貢献できたのかもしれません。そもそも、NP-困難なところの最適化に（いかにSATソルバーが強力とはいえども）booleanで何とかしようというのは、多分誰が考えても無理があるような気がするのですが、意外に行ける分野があるんですね。スケジュールナースでは、この技術を応用してさらに高い最適化を極めたいと思っております。

ユーザ事例

ユーザ様が全日本病院学会で発表されたスライドを掲載する許可を得ました。（なお、スタッフ名は、実名ではありません。）経営的な観点からも、示唆に富んだ内容で素晴らしいです。

新しいパラダイムに挑戦して、効率化とスタッフのQOL向上を成し遂げるられています。スケジュールナースを全くサポートなしに機能を使いこなしておられる方が、私の知る限り数人おられますが、この方もそのうちのひとりです。

この方も指摘しておられますが、ナーススケジューリングの場合、制約が月毎に変わります。このことがハードルを一段も二段も高くしておりサポートが必要な理由になっています。　

アルゴリズム研究者とフィールドエンジニアそして実際にお使いになられるお客様、よりよいシステムにするためには、各々どうしたらよいか？　その事を日々考えている今日この頃です。

RAMPシンポジウム

プログラムのタイトルが決定したようです。

RAMPシンポジウムは、日本オペレーションズ・リサーチ学会の数理計画研究部会 (
RAMP: Research Association of Mathematical Programming) によって年一度開催
される、最適化、数理計画に関するシンポジウムです。 

著名な先生方の講演があります。機械学習や最適化、スケジューリング最適化等、現在の日本で最も先端のお話しが聞けます。

私は、実務的な観点でナーススケジューリングの現場での問題、そして、MaxSAT　Competition結果とその応用においての得意・不得意等、予稿に入れてないものを中心にお話ししたいと思います。是非いらしてください。