組合せ最適化

グラフ（ネットワーク）とは，点と辺からなる離散構造であり，様々な構造はグラフとして表現できます．例えば，人々のつながりは人物ネットワーク，企業や産業のやりとりは取引ネットワークとして表現できます．私は，グラフ・ネットワークを鍵 ...

アルゴリズム技術の発達により，さまざまな「最適」な構造をコンピュータにより発見できるようになりました．しかし，ここでいう「最適」とは，現実の問題をさまざまな計算機科学の道具でモデル化し，そのモデルにおいて最も良いという意味です ...

コンピュータの性能・情報処理技術は年々向上し，いろいろなタイプの情報処理（計算）の速度はどんどん上がっていますが，あらゆるものには限界があります．計算も例外ではなく，「これ以上は速く計算できない！」という限界があります．この計 ...

最近，「一般化ぷよぷよのより強い計算困難性」なる研究を発表しました（東北大学の江藤宏先生，九州大学の木谷裕紀先生との共同研究．国内研究会であるゲームプログラミングワークショップで江藤先生による口頭発表．2021年12月30日現 ...

株式会社オプティマインドでは「世界のラストワンマイルを最適化する」というビジョンを掲げ、物流のラストワンマイルと呼ばれる街中での配送を行う事業者に対し配送計画を自動で計算し提案する Loogia（ルージア）というサー ...

「アルゴリズム」という言葉は昨今の社会の情報化に従い一般語としても使われつつありますが，元々は数学・情報学の用語であり，「何らかの目的」を達成するための計算手順のことを指します．数理情報学専攻で扱う最適化アルゴリズム設計論はアルゴリズ ...

数理情報学専攻の土中先生が，日本OR学会中部支部の講演会で講演されました．

開催日: 2021/6/19 (土)

15:30-16:30 市原 寛之 氏
診療予約制を導入する病院におけ ...

「虫のいないプログラムはない」といわれるほど、誤りのないプログラムを作るのが大変な作業であることはよく知られています。プログラムの正しさの定式化には、まず最初にプログラムが持つ意味を数学的に定める必要があります。現在、プログラ ...

私たちは「組込み並列処理」について研究しています。並列処理といえば、スーパーコンピュータが有名ですが、もっと身近なところにもたくさんあります。例えば、スマートフォンにも並列プロセッサが搭載されており、並列に動作していますし、テ ...