鈴木 浩史

すずき ひろふみ
E-mail : h.suzuki.lskp[at]gmail.com
English Page

プロフィール

所属

富士通研究所

経歴

  • 2014年3月 宇都宮大学 工学部 情報工学科 卒業
  • 2016年3月 北海道大学 大学院 情報科学研究科 修士課程 卒業
  • 2019年3月 北海道大学 大学院 情報科学研究科 博士課程 卒業
  • 2019年4月-現在 富士通研究所 研究員

研究テーマ

  • 組合せ列挙
  • データ構造 (BDD, ZDD)
  • 離散最適化

興味

  • グラフアルゴリズム
  • データ構造とアルゴリズム

趣味

  • 競技プログラミング (TopCoder,AtCoder,など.過去にICPC出場経験あり)
  • 音楽ゲーム (CHUNITHM, オンゲキ, ノスタルジア)
  • 弓道 (高校〜学部までは活発でした.)

業績リスト

論文誌

  1. Hirofumi Suzuki and Shin-ichi Minato: "Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Sep. 2018.

国際会議(査読あり)

  1. Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Keisuke Goto, Yuta Fujishige, Satoshi Hara: "Rule Mining for Correcting Classification Models", In Proc. of the 23rd IEEE International Conference on Data Mining (ICDM'23), Dec. 2023 (short paper) (to appear). [full version]
  2. Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Keisuke Goto, Yuta Fujishige, Satoshi Hara: Explainable and Local Correction of Classification Models Using Decision Trees", In Proc. of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), Feb. 2022.
  3. Hirofumi Suzuki, Masakazu Ishihata and Shin-Ichi Minato: "Designing Survivable Networks with Zero-suppressed Binary Decision Diagrams," In Proc. of the 14th International Conference and Workshop on Algorithms and Computation (WALCOM), Mar. 2020.
  4. Jun Kawahara, Toshiki Saitoh, Hirofumi Suzuki and Ryo Yoshinaka: "Colorful Frontier-based Search: Implicit Enumeration of Chordal and Interval Subgraphs," In Proc. of the Special Event on Analysis of Experimental Algorithms (SEA^2 2019), June. 2019.
  5. Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato: "Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams," In Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), Dec. 2018.
  6. Takanori Maehara, Hirofumi Suzuki and Masakazu Ishihata (2017): "Exact Computation of Influence Spread by Binary Decision Diagrams," In Proc. of the 26th International World Wide Conference (WWW'17), Perth, Australia, April 3rd--7th, 2017, pp. 947--956.
  7. Jun Kawahara, Toshiki Saitoh, Hirofumi Suzuki, and Ryo Yoshinaka, "Solving the longest oneway-ticket problem and enumerating letter graphs by augmenting the two representative approaches with ZDDs," Computational Intelligence in Information Systems: In Proc. of the Computational Intelligence in Information Systems Conference (CIIS 2016), vol. 532, pp. 294-305
  8. Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato: "Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model," In Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), a Workshop session of Mathematical Modeling and Problem Solving, pp. 356-362, Jul. 2016.

国際会議(査読なし)

国内研究会等(口頭、ポスター含む)

  1. 鈴木 浩史,後藤 啓介,岩下 洋哲,高木 拓也,大堀 耕太郎,原 聡: "ユーザーの納得感を考慮した線形モデルの重み付きLassoによる定式化と一解法," 人工知能学会第112回人工知能基本問題研究会資料, pp. 67-72, Mar. 2020.
  2. 鈴木 浩史,中野 裕太,住谷 陽輔,湊 真一,前田 理: "化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙," 情報処理学会アルゴリズム研究会, 情処研報, 2018-AL-169, No. 7, pp. 1-6, Sep. 2018.
  3. 鈴木 浩史, 石畠 正和, 湊 真一: "ZDD を用いた種々のネットワーク設計問題の解法," 2018年度人工知能学会全国大会(第32回), 4K2OS16b03, July 2018.
  4. 鈴木 浩史, 湊 真一: "グラフ列挙における構築途中のZDD幅に基づく変数順序づけ法," 情報処理学会第80回全国大会, 7A-01, pp. 1-159-160. Mar. 2018.
  5. 鈴木 浩史, 石畑 正和, 湊真一: "フロンティア法による強連結な部分グラフの列挙," 人工知能学会第104回人工知能基本問題研究会資料, SIG-FPAI-B507, pp. 26-31, Aug. 2017.
  6. 鈴木 浩史, 湊 真一: "ZDDを用いた0-1多目的ナップサック問題のパレート解列挙," 情報処理学会第79回全国大会, 5A-04, Vol. 1, pp. 181-182, Mar. 2017.
  7. 鈴木 浩史, 湊 真一: "ZDDを用いたグラフ列挙索引化における頂点インデックスの追加," 人工知能学会第101回人工知能基本問題研究会資料, SIG-FPAI-B504, pp. 41-46, Aug. 2016.
  8. 鈴木 浩史, 孫 浩, 湊 真一: "BDD/ZDDを用いたマインスイーパーの爆弾配置パタンの列挙," 2016年度人工知能学会全国大会(第30回), 1D5-OS-02b-3in2, Jun. 2016.
  9. 井上 祐馬, 鈴木 浩史, 伊藤 華, 湊 真一: "グラフの部分構造を列挙するZDD構築のための変数順序付けヒューリスティクス," 2016年度人工知能学会全国大会(第30回), 1D5-OS-02b-4, Jun. 2016.
  10. 竹内 文登, 鈴木 浩史, 白石 恒介, 安田 宜仁, 湊 真一: "MEET演算を用いた組合せ集合間の類似度の定義と応用," 第14回 情報科学技術フォーラム(FIT2015), F021, 第2分冊, pp. 329-330, Sep. 2015.
  11. 鈴木 浩史, 孫 浩, 湊 真一: " ZDDの幅を制限したフロンティア法によるナンバーリンクの解探索," 情報処理学会DAシンポジウム2015 アルゴリズムデザインコンテスト ポスターセッション, Aug. 2015.
  12. 鈴木 浩史, 湊 真一: "頂点誘導部分グラフを列挙索引化するフロンティア法," 電子情報通信学会コンピュテーション研究会, 信学技報, vol. 115, no. 15, COMP2015-3, pp. 15-20, Apr. 2015.
  13. 鈴木 浩史, 湊 真一: "次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化," 電子情報通信学会2015総合大会, DS-1-7, pp. S-13-14, Mar. 2015.
  14. 安田 宜仁, 鈴木 浩史, 岩下 洋哲, 中澤 吉男, 湊 真一: "ZDDに基づくグラフ列挙ツールGraphillionを用いたナンバーリンクの解法," 情報処理学会DAシンポジウム2014 アルゴリズムデザインコンテスト ポスターセッション, Aug. 2014.

Technical Report

  1. Hirofumi Suzuki and Shin-ichi Minato (2017): "ZDD-Based Enumeration of Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems," Hokkaido University, TCS-TR-A-17-81, June, 2017

受賞

  • 鈴木浩史, 栗田和宏, 田中颯一 (チーム tsurasa_diary, コーチ 井上 祐馬)
    2015年度 ICPC国内予選 24位(372チーム中)
  • 鈴木浩史, 栗田和宏, 田中颯一 (チーム tsurasa_diary, コーチ 井上 祐馬)
    2015年度 ICPC台湾大会 大学別10位(40大学中)
  • 北海道大学 大学院 情報科学研究科 研究科長賞 (2015年度)
  • ヤマト運輸プログラミングコンテスト2019 (at AtCoder), 優勝
  • 第4回 Asprova プログラミングコンテスト (at AtCoder), 6位入賞
  • 第5回 Asprova プログラミングコンテスト (at AtCoder), 特別賞(テストの意味を実感できたで賞:暫定上位のはずがシステムテストでエラーが発覚)
  • 第6回 Asprova プログラミングコンテスト (at AtCoder), 7位入賞

参加中のプロジェクト等

過去に参加したプロジェクト等

教育・指導経験

  • 北海道大学 ティーチングフェロー 「情報理工学演習」 (2016年度)
  • 北海学園大学 非常勤講師 「情報リテラシー演習」 (2016,2017年度)