Rchr
J-GLOBAL ID:200901061176522493   Update date: Jan. 30, 2024

Sakakibara Kazutoshi

サカキバラ カズトシ | Sakakibara Kazutoshi
Affiliation and department:
Job title: Professor
Homepage URL  (1): http://www.sys.ci.ritsumei.ac.jp/
Research field  (1): Control and systems engineering
Research keywords  (11): 機械学習手法 ,  最適化 ,  強化学習 ,  ニューラルネットワーク ,  遺伝アルゴリズム ,  生体内タンパク質修飾現象 ,  トンネル換気制御・運行 ,  道路交通制御・運行 ,  生産システム運用 ,  生産システム計画 ,  System Optimization
Research theme for competitive and other funds  (14):
  • 2022 - 2025 新可溶性発現技術を用いたケモエンザイマティック反応によるアミド化合物合成法の開発
  • 2022 - 2025 Bio- and digital technologies for the enzyme development and application for pharmaceutical synthesis
  • 2020 - 2025 数理最適化と機械学習に基づく高信頼・高効率な高密度自動運転車群制御システムの開発
  • 2020 - 2023 進化計算における深層学習を活用した汎用性と効率性を両立したメタ戦略の検討
  • 2017 - 2020 Development of control policies for decentralized energy networks by deep learning techniques
Show all
Papers (156):
  • Masaki Nakamura, Tatsuya Igarashi, Yifan Wang, Kazutoshi Sakakibara. Formal verification of an autonomous vehicle control system by the timed OTS/CafeOBJ method. The 29th Int'l Conf on Parallel and Distributed Processing Techniques and Applications: Workshop on Mathematical Modeling and Problem Solving (PDPTA'23, MPS144). 2023
  • Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe. A large neighborhood local search method incorporating MIP techniques for large-scale otimization problems with many constraints: Application to the machining scheduling. The 29th Int'l Conf on Parallel and Distributed Processing Techniques and Applications: Workshop on Mathematical Modeling and Problem Solving (PDPTA'23, MPS144). 2023
  • Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura. Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). The Thirty Fifth International Conference on Software Engineering and Knowledge Engineering (SEKE 2023). 2023. 363-366
  • Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara. Investigation of Formal Verification of the Autonomous Vehicle Control System by Specification Translation. 2023 International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC). 2023
  • Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara. Formal verification of multi-car elevator systems using statistical model checking. The 38th International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC), Special session: Mathematical Systems Science and its Applications. 2023
more...
MISC (362):
  • 奥澤健冴, 永山悠, 松崎仁平, 小島千昭, 榊原一紀, 齋藤正史, 川村裕直. シュタッケルベルグゲームに基づく太陽光発電による 地域余剰電力を介した EV 充放電の最適化. 第66回自動制御連合講演会実行委員会. 2023
  • 青木洸介, 中村正樹, 榊原一紀. 合流をともなうフレキシブル・ショップ問題の混合整数計画モデルの検討. 2023年度電気・情報関係学会北陸支部連合大会. 2023
  • 村上遥翔, 榊原一紀, 中村正樹, 本吉達郎, 星川圭介. 交通事故概況を用いた形式概念分析による事故要因の分析. 2023年度電気・情報関係学会北陸支部連合大会. 2023
  • 鈴木悠生, 甲斐雅也, 中島誼大, 榊原一紀, 中村正樹, 門嶋梨穂, 仲里卓, 竹橋洋平, 寺崎英樹, 張田真. プロダクトミックス最適化に向けたリサイクルプロセスの確率計画モデルの開発. 2023年度電気・情報関係学会北陸支部連合大会. 2023
  • 甲斐雅也, 中島誼大, 鈴木悠生, 中村正樹, 榊原一紀, 門嶋梨穂, 仲里卓, 竹橋洋平, 寺崎英樹, 張田真. 統計的モデル検査による消費電力を考慮したリサイクルプロセスの生産性向上. スケジューリング・シンポジウム2023. 2023
more...
Books (5):
  • 横幹 <知の統合シリーズ> 共に生きるためのサイバー・コミュニティ - Society5.0への提言
    東京電機大学出版局 2018
  • 電気学会 生産スケジューリング業務プロセスモデリング協同研究委員会 編, 生産スケジューリングシステム導入ガイド~失敗しないシステム開発のために~
    電気学会技術報告書 2014
  • 自己組織化ハンドブック, 電気学会 進化技術応用調査専門委員会 編
    近代科学社 2010
  • 進化技術ハンドブック, 国武豊喜(監)
    エヌ・ティー・エス 2009
  • Vehicle Routing Problem, Edited by Tonci Caric and Hrvoje Gold
    InTech 2008
Lectures and oral presentations  (90):
  • システム技術教育講座「AI・Deep Learning入門」
    (日本鉄鋼協会 システム技術教育講座 2022)
  • AI(人工知能)の仕組みと活用例
    (富山県⺠生涯学習カレッジ「自遊塾」講座 2022)
  • 富山県のDX推進の取り組みと現状および今後の可能性
    (富山県IT企業立地セミナー 2022)
  • システム学を考える会(WG)の活動紹介〜 何を目指し,何を話し合ってきたか 〜
    (計測自動制御学会 システム・情報部門 境界と関係性を視座とするシステムズアプローチ調査研究会第1回例会 2021)
  • 数理計画に対する数式変換アプローチの可能性 〜 生産スケジュールの可視化・最適化を例として
    (システム制御情報学会 スマート・フレキシブル・オートメーション研究分科会 第23回例会 2020)
more...
Professional career (1):
  • 博士(工学) (神戸大学)
Work history (5):
  • 2023/04 - 富山県立大学 工学部 教授
  • 2020/07 - 北陸電力株式会社 新価値創造研究所 研究員(クロスアポイントメント契約)
  • 2013/04 - 富山県立大学 工学部 准教授
  • 2004/04 - 2013/03 立命館大学 情報理工学部 助手、講師
  • 2004/03 - 神戸大学大学院 自然科学研究科 博士後期課程修了 博士(工学)
Awards (7):
  • 2021/11 - 計測自動制御学会 2021年システム・情報部門 SSI研究奨励賞
  • 2021/09 - 2021年 電気学会 電子・情報・システム部門大会 企画賞
  • 2019/11 - 計測自動制御学会 システム・情報部門 部門貢献賞
  • 2016/10 - 第26回インテリジェント・システム・シンポジウム FAN論文賞
  • 2016/09 - 2016年 電気学会 電子・情報・システム部門大会 企画賞
Show all
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page