Rchr
J-GLOBAL ID：202301019753756290   Update date: May. 23, 2024

Hashimoto Kenji

ハシモト ケンジ | Hashimoto Kenji
Affiliation and department：
Kagawa University Faculty of Engineering and Design

About Kagawa University Faculty of Engineering and Design


Job title： Associate professor
Research field  (2)： Software ,  Information theory
Research keywords  (3)： SAT ,  model counting ,  formal language theory
Research theme for competitive and other funds  (9)：
  • 2023 - 2026 投射モデル計数のためのグラフ表現を用いた問題分類と計数戦略
  • 2022 - 2025 データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
  • 2019 - 2023 ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用
  • 2017 - 2020 量的情報流解析のための投射モデル計数ソルバの開発
  • 2015 - 2019 Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy
Show all
Papers (33)：
  • Inoue Y, Hashimoto K, Seki H. An ambiguity hierarchy of weighted context-free grammars. Theoretical Computer Science. 2023. 974
  • Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki. When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh’s Theorem. 27th International Conference on Implementation and Application of Automata (CIAA 2023) , LNCS. 2023. 14151. 166-178
  • Hashimoto Kenji, Maneth Sebastian. Characterizing attributed tree translations in terms of macro tree transducers. Theoretical Computer Science. 2023. 963
  • INOUE Yusuke, HASHIMOTO Kenji, SEKI Hiroyuki. Weighted Multiple Context-Free Grammars. IEICE Transactions on Information and Systems. 2023. E106.D. 3. 309-318
  • Inoue Yusuke, Hashimoto Kenji, Seki Hiroyuki. An Ambiguity Hierarchy of Weighted Context-Free Grammars. 26th International Conference on Implementation and Application of Automata (CIAA 2022). 2022. 13266. 238-250
ｍore...
MISC (1)：
  • Kenji Hashimoto. GPMC version mc2020. Model Counting Competition 2020. 2020
Books (1)：
  • 理論計算機科学事典
    朝倉書店 2022
Lectures and oral presentations  (26)：
  • An Ambiguity Hierarchy of Weighted Context-free Grammars
    (第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)
  • 重み付き文脈自由文法の曖昧さ階層について
    (2022年度 夏のLAシンポジウム 2022)
  • Solving Rep-tile by Computers
    (The 14th Gathering 4 Gardner Conference (2022) 2022)
  • 重み付き文脈自由文法の曖昧さ階層について
    (電子情報通信学会コンピュテーション研究会 2022)
  • レプ・タイルの定式化を用いた各種ソルバの性能比較
    (人工知能学会 第119回人工知能基本問題研究会 2022)
ｍore...
Education (3)：
  • - 2009 Osaka University Graduate School, Division of Information Science
  • - 2006 Osaka University Graduate School, Division of Information Science
  • - 2004 Osaka University Faculty of Engineering Science
Professional career (1)：
  • 博士(情報科学) (大阪大学)
Work history (4)：
  • 2024/04 - 現在 Kagawa University Faculty of Engineering and Design Associate professor
  • 2017/04 - 2024/03 Nagoya University Assistant Professor
  • 2013/10 - 2017/03 Nagoya University Assistant Professor
  • 2009/04 - 2013/09 Nara Institute of Science and Technology Assistant Professor
Committee career (10)：
  • 2018/06 - 現在 電子情報通信学会ソフトウェアサイエンス研究専門委員会 専門委員
  • 2019/06 - 2023/05 情報処理学会論文誌ジャーナル/JIP編集委員会 編集委員
  • 2022/04 - 2023/03 第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 組織委員
  • 2022/06 - 2022/12 第20回情報学ワークショップ(WiNF2022) プログラム委員
  • 2021/08 - 2022/03 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) プログラム委員
Show all
Awards (7)：
  • 2023/09 - International Competition on Graph Counting Algorithms The Inspiring Idea Track The First Place NaPS+GPMC
  • 2023/07 - Model Counting Competition 2023 Projected Weighted Model Counting Track Ranking A the 1st place GPMC
  • 2022/08 - Model Counting Competition 2022 Projected Weighted Model Counting Track Ranking B 1st place
  • 2022/08 - Model Counting Competition 2022 Projected Model Counting Track Ranking A 1st place GPMC
  • 2018/07 - 電子情報通信学会ソフトウェアサイエンス研究会 平成29年度電子情報通信学会ソフトウェアサイエンス研究会 研究奨励賞 トップ木に基づく圧縮データに対する直接更新法
Show all
Association Membership(s) (2)：
電子情報通信学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM