研究者
J-GLOBAL ID：202301019753756290   更新日: 2024年05月23日

橋本 健二

ハシモト ケンジ | Hashimoto Kenji
所属機関・部署：
香川大学 創造工学部

香川大学 創造工学部 について


職名： 准教授
研究分野 (2件)： ソフトウェア ,  情報学基礎論
研究キーワード (3件)： SAT ,  モデル計数 ,  形式言語理論
競争的資金等の研究課題 (9件)：
  • 2023 - 2026 投射モデル計数のためのグラフ表現を用いた問題分類と計数戦略
  • 2022 - 2025 データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
  • 2019 - 2023 ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用
  • 2017 - 2020 量的情報流解析のための投射モデル計数ソルバの開発
  • 2015 - 2019 ソフトウェアセキュリティ・プライバシーのための静的解析・動的検査法
全件表示
論文 (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
もっと見る
MISC (1件)：
  • Kenji Hashimoto. GPMC version mc2020. Model Counting Competition 2020. 2020
書籍 (1件)：
  • 理論計算機科学事典
    朝倉書店 2022
講演・口頭発表等 (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)
もっと見る
学歴 (3件)：
  • - 2009 大阪大学 情報科学研究科
  • - 2006 大阪大学 情報科学研究科
  • - 2004 大阪大学 基礎工学部
学位 (1件)：
  • 博士(情報科学) (大阪大学)
経歴 (4件)：
  • 2024/04 - 現在 香川大学 創造工学部 准教授
  • 2017/04 - 2024/03 名古屋大学 大学院情報学研究科情報システム学専攻 助教
  • 2013/10 - 2017/03 名古屋大学 大学院情報科学研究科情報システム学専攻 助教
  • 2009/04 - 2013/09 奈良先端科学技術大学院大学 情報科学研究科 助教
委員歴 (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) プログラム委員
全件表示
受賞 (7件)：
  • 2023/09 - グラフ数え上げ国際競技会 アイデア部門(The Inspiring Idea Track)第1位 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年度電子情報通信学会ソフトウェアサイエンス研究会 研究奨励賞 トップ木に基づく圧縮データに対する直接更新法
全件表示
所属学会 (2件)：
電子情報通信学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM