情報システム学専攻項書換え系, 難解言語, 自動採譜, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系, 組合せ最適化

研究内容

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

情報システム学専攻組込みシステム, 並列処理, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系, 組合せ最適化

研究内容

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

数理情報学専攻研究アクティビティ, メタヒューリスティクス, 数理情報学専攻, 自然情報学科, 数理情報系, 組合せ最適化, アルゴリズム

組合せ最適化問題と近似解法

組合せ最適化問題は、スケジューリングやネットワーク関連の最適化問題など、情報学・工学における基礎的な問題から実用的な応用問題にいたるまで、幅広い多くの重要な問題を含み、これらに対するアルゴリズムの設計・開発の ...

数理情報学専攻教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系, 組合せ最適化, アルゴリズム

研究内容

グラフアルゴリズムの研究を専門としており,その中でも木幅などの指標を用いた手法を主に扱っています.グラフは,頂点と呼ばれるものの集合と,頂点同士の関係を表す辺の集合で表されます.多くの応用上の問題がグラフでモデル化できることが ...

数理情報学専攻教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系, 組合せ最適化, アルゴリズム

研究内容

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

数理情報学専攻研究アクティビティ, 研究グループ紹介, 数理情報学専攻, 自然情報学科, 数理情報系, 組合せ最適化, アルゴリズム

「寄りたいお店が10箇所位あるが時間がないから5箇所位しか寄れない.どれに行こう?」とか「今いる所から目的地に最も早く着くにはどうしたらよいだろう?」ということを考える機会がときどきあると思います.このように最も良い方策を見つける問題 ...

数理情報学専攻教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系, 組合せ最適化, アルゴリズム

研究内容

「今いる所から目的地までの最も短いルートはどれだろう」ということを考える機会がときどきあると思います.このように最も良い方策を見つける問題を一般に最適化問題と呼びます.このような最適化問題の中でもとくに組合せ的な構造を持つ組合 ...