橋本健二 Hashimoto Kenji

研究者番号	90548447
その他のID
所属 (現在)	2025年度: 香川大学, 創造工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2024年度: 香川大学, 創造工学部, 准教授 2017年度 – 2023年度: 名古屋大学, 情報学研究科, 助教 2017年度: 名古屋大学, 大学院情報学研究科, 助教 2012年度 – 2016年度: 名古屋大学, 情報科学研究科, 助教 2015年度: 名古屋大学, 大学院情報科学研究科, 助教 2010年度 – 2012年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウェア / 情報学基礎理論 / メディア情報学・データベース研究代表者以外小区分60050:ソフトウェア関連 / ソフトウェア / ソフトウエア
キーワード	研究代表者投射モデル計数 / 木変換器 / 問合せ保存 / SAT / モデル計数 / 分割 / 分類 / 機械学習 / 成分キャッシュ / d-DNNF … もっと見る / 変数順序 / 阻止節 / BDD / 量的情報流解析 / 関数性 / 木オートマトン / 問合せ保存性 / スキーマ / 情報保存 / 文書変換 / XML … もっと見る研究代表者以外セキュリティ / 形式言語理論 / XML / プログラム自動合成 / 量的情報流 / プライバシー / レジスタオートマトン / 木文法 / 圧縮 / 木オートマトン / 木変換器 / 情報保存性 / モデル検査 / ソフトウェア検証 / あいまいさ階層 / 対話的学習 / 重み付き計算モデル / プログラム自動生成 / レジスタ計算モデル / プライバシー保護 / 計算論的ゲーム構造 / プログラム合成 / mu-計算 / 重み付き文脈自由文法 / アクティブ学習 / ゲーム構造 / 線形時相論理 / 情報理論 / タイミング攻撃 / 隠れマルコフモデル / データベース / SAT / SMT / 差分プライバシー / 時間攻撃 / XMLデータベース / k-安全性 / XPath / 直線的文脈木文法 / 有向グラフ / 文脈自由文法 / トップ木 / 自動解析 / ソフトウェア解析 / 動的情報漏洩量 / プログラムセキュリティ / 計算複雑さ / レジスタ文脈自由文法 / SMTソルバ / マルウェア解析 / 文法圧縮 / 頂点問合せ隠す

投射モデル計数のためのグラフ表現を用いた問題分類と計数戦略研究代表者
- 研究代表者
  
  橋本健二
- 研究期間 (年度)
  2023 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  名古屋大学
データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  名古屋大学
ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2019 – 2022
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  名古屋大学
量的情報流解析のための投射モデル計数ソルバの開発研究代表者
- 研究代表者
  
  橋本健二
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  名古屋大学
ソフトウェアセキュリティ・プライバシーのための静的解析・動的検査法
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  名古屋大学
木およびグラフ変換における問合せ保存の自動検証研究代表者
- 研究代表者
  
  橋本健二
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎理論
- 研究機関
  名古屋大学
ソフトウェアセキュリティのための量を扱う計算モデルの提案
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  ソフトウェア
- 研究機関
  名古屋大学
形式言語理論に基づく静的解析法とその安全性検査への応用
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2011 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  名古屋大学
   奈良先端科学技術大学院大学
概念モデルと問合せ集合を用いた XML スキーマの導出と更新研究代表者
- 研究代表者
  
  橋本健二
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  若手研究(B)
- 研究分野
  
  メディア情報学・データベース
- 研究機関
  奈良先端科学技術大学院大学

すべて 2024 2023 2022 2021 2019 2018 2017 2016 2015 2014 2013 2012 2010 その他

すべて雑誌論文学会発表

[雑誌論文] Weighted Multiple Context-Free Grammars2023
- 著者名/発表者名
  INOUE Yusuke, HASHIMOTO Kenji, SEKI Hiroyuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E106.D 号: 3 ページ: 309-318
- DOI
  10.1587/transinf.2022FCP0006
- ISSN
  0916-8532, 1745-1361
- 年月日
  2023-03-01
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23KJ1127, KAKENHI-PROJECT-23K24824
[雑誌論文] An Ambiguity Hierarchy of Weighted Context-Free Grammars2022
- 著者名/発表者名
  Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  26th International Conference on Implementation and Application of Automata (CIAA 2022)
  
  巻: LNCS 13266 ページ: 238-250
- DOI
  10.1007/978-3-031-07469-1_19
- ISBN
  9783031074684, 9783031074691
- 査読あり
- データソース
  KAKENHI-PROJECT-23K24824
[雑誌論文] On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem2019
- 著者名/発表者名
  Bao Trung Chu, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  13th International Conference on Emerging Security Information, Systems and Technologies
  
  巻: - ページ: 1-8
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04083
[雑誌論文] Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -2019
- 著者名/発表者名
  Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E102.D 号: 10 ページ: 1952-1965
- DOI
  10.1587/transinf.2019EDP7132
- NAID
  130007722186
- ISSN
  0916-8532, 1745-1361
- 年月日
  2019-10-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-17K00098, KAKENHI-PROJECT-19H04083
[雑誌論文] Direct Update of XML Documents with Data Values Compressed by Tree Grammars2018
- 著者名/発表者名
  Kenji Hashimoto, Ryunosuke Takayama and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E101.D 号: 6 ページ: 1467-1478
- DOI
  10.1587/transinf.2017FOP0002
- NAID
  130007382456
- ISSN
  0916-8532, 1745-1361
- 年月日
  2018-06-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-15H02684, KAKENHI-PROJECT-17H01722
[雑誌論文] Counting Algorithms for Recognizable and Algebraic Series2018
- 著者名/発表者名
  Trung CHU Bao, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E101.D 号: 6 ページ: 1479-1490
- DOI
  10.1587/transinf.2017FOP0003
- NAID
  130007382455
- ISSN
  0916-8532, 1745-1361
- 年月日
  2018-06-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-26540025
[雑誌論文] Query Rewriting for Nondeterministic Tree Transducers2016
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E99-D(6) ページ: 1410-1419
- NAID
  130005154738
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15H02684
[雑誌論文] Query Rewriting for Nondeterministic Tree Transducers2016
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E99.D 号: 6 ページ: 1410-1419
- DOI
  10.1587/transinf.2015FOP0007
- NAID
  130005154738
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-26870270
[雑誌論文] Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers2016
- 著者名/発表者名
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E99.D 号: 3 ページ: 575-587
- DOI
  10.1587/transinf.2015FCP0015
- NAID
  130005131811
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-26870270
[雑誌論文] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers2016
- 著者名/発表者名
  Kenji Hashimoto, Ryuta Swada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E99-D ページ: 575-587
- NAID
  130005131811
- 査読あり
- データソース
  KAKENHI-PROJECT-23300008
[雑誌論文] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto, and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E98.D 号: 3 ページ: 512-523
- DOI
  10.1587/transinf.2014FCP0014
- NAID
  130004841871
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-26870270
[雑誌論文] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E89-D(3) ページ: 512-523
- NAID
  110009642350
- 査読あり
- データソース
  KAKENHI-PROJECT-23300008
[雑誌論文] Deciding Schema k-Secrecy for XML Databases2013
- 著者名/発表者名
  4. Chittaphone Phonharath, Kenji Hashimoto, and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96-D(6) ページ: 1268-1277
- NAID
  10031193987
- 査読あり
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] ペントミノパズルの解の計数のための問題分割手法2024
- 著者名/発表者名
  小栗滉介, 酒井正彦, 橋本健二
- 学会等名
  組合せゲーム・パズル(CGP) プロジェクト, 第18回研究集会
- データソース
  KAKENHI-PROJECT-23K11045
[学会発表] An Ambiguity Hierarchy of Weighted Context-Free Grammars2023
- 著者名/発表者名
  Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), カテゴリ2
- データソース
  KAKENHI-PROJECT-23K24824
[学会発表] 重み付き文脈自由文法の曖昧さ階層について2022
- 著者名/発表者名
  井上裕介，橋本健二，関浩之
- 学会等名
  夏のLAシンポジウム，講演番号6
- データソース
  KAKENHI-PROJECT-23K24824
[学会発表] 重み付き文脈自由文法の曖昧さ階層について2022
- 著者名/発表者名
  井上裕介，橋本健二，関浩之
- 学会等名
  電子情報通信学会コンピュテーション研究会（講演番号：COMP2021-31）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] 命題論理式の全ての投射モデルを表現するBDDの構成法2021
- 著者名/発表者名
  磯貝孝明, 橋本健二, 酒井正彦
- 学会等名
  人工知能学会第116回人工知能基本問題研究会
- データソース
  KAKENHI-PROJECT-17K00098
[学会発表] Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query2019
- 著者名/発表者名
  Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS 2019), CD104, 257-261
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem2019
- 著者名/発表者名
  Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
- 学会等名
  The 30th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00098
[学会発表] 線形マルチボトムアップ木変換器の関数性の決定可能性2018
- 著者名/発表者名
  田端浩明，橋本健二
- 学会等名
  情報処理学会プログラミング研究会
- データソース
  KAKENHI-PROJECT-26870270
[学会発表] 有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案2018
- 著者名/発表者名
  武田健志,橋本健二,関浩之
- 学会等名
  第10回データ工学と情報マネジメントに関するフォーラム（DEIM 2018）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 非決定性選択木オートマトンの決定化2018
- 著者名/発表者名
  川本将也,橋本健二,関浩之
- 学会等名
  情報処理学会第117回プログラミング研究会（講演番号：2017-4-(2)）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] トップ木に基づく圧縮データに対する直接更新法2017
- 著者名/発表者名
  西村卓, 橋本健二,関浩之
- 学会等名
  電子通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-22）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法2017
- 著者名/発表者名
  武田健志,橋本健二,関浩之
- 学会等名
  電子通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-1）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法2017
- 著者名/発表者名
  高山隆之介，橋本健二，関浩之
- 学会等名
  第9回データ工学と情報マネジメントに関するフォーラム（DEIM 2017）
- 発表場所
  那覇市，てんぷす那覇
- 年月日
  2017-03-09
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] モデル計数を用いた量的情報流解析のための論理式簡約と静的解析2017
- 著者名/発表者名
  中島聖斗，橋本健二，酒井正彦，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-61）
- 発表場所
  那覇市，てんぷす那覇
- 年月日
  2017-03-09
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換2017
- 著者名/発表者名
  川本将也，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-54）
- 発表場所
  京都市，京都工芸繊維大学
- 年月日
  2017-01-26
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] Counting for Recognizable and Algebraic Series2017
- 著者名/発表者名
  Hiroyuki Seki, Kenji Hashimoto and Trug Chu Bao
- 学会等名
  情報処理学会第113回プログラミング研究会
- 発表場所
  東京都，東京大学
- 年月日
  2017-03-03
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] 非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件2017
- 著者名/発表者名
  石原鷹, 橋本健二, 関浩之
- 学会等名
  電子情報通信学会
- 発表場所
  てんぶす那覇, 沖縄
- 年月日
  2017-03-10
- データソース
  KAKENHI-PROJECT-26870270
[学会発表] Determinacy and Query Preservation of Tree Transducers2016
- 著者名/発表者名
  Kenji Hashimoto
- 学会等名
  4th Int. Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2016)
- 発表場所
  Yonsei University, Seoul, South Korea
- 年月日
  2016-07-18
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26870270
[学会発表] ①Direct Evaluation of Selecting Tree Automata on XML Documents Compressed with Top Trees2016
- 著者名/発表者名
  Kenji Hashimoto, Suguru Nishimura and Hiroyuki Seki
- 学会等名
  4th International Workshop on Trends in Tree Automata and Tree Transducers
- 発表場所
  Seoul, South Korea
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化2016
- 著者名/発表者名
  浅井孝俊，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  金沢市
- 年月日
  2016-01-25
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] 圧縮構造化文書のための更新手法の拡張とその実験的評価2016
- 著者名/発表者名
  後藤健志，高山隆之介，橋本健二，関浩之
- 学会等名
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（講演番号：LOIS2015-75）
- 発表場所
  沖縄県宮古島市役所中央公民館
- 年月日
  2016-03-03
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 非決定性木変換器における問合せ保存2016
- 著者名/発表者名
  宮原一喜，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2015-79）
- 発表場所
  沖縄県宮古青少年の家
- 年月日
  2016-03-10
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] トップ木に基づく木圧縮法の実装と問合せ処理法の提案2016
- 著者名/発表者名
  西村卓，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-10）
- 発表場所
  札幌市，北海道立道民活動センター
- 年月日
  2016-07-13
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] #SMTツールを用いた量的情報流解析手法の高速化2016
- 著者名/発表者名
  中島聖斗，Trung Chu Bao, 橋本健二，酒井正彦，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-26）
- 発表場所
  彦根市，彦根勤労福祉会館
- 年月日
  2016-10-27
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] On the query preservation for nondeterministic tree transducers2016
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  岡山県玉野市
- 年月日
  2016-03-07
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法2016
- 著者名/発表者名
  高山隆之介，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-27）
- 発表場所
  彦根市，彦根勤労福祉会館
- 年月日
  2016-10-27
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] Query-based l-diversity2015
- 著者名/発表者名
  Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  7th International Conference on Advances in Databases, Knowledge, and Data Applications
- 発表場所
  Roma, Italy
- 年月日
  2015-05-25
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] 拡張線形ボトムアップ木変換器の関数性の多項式時間判定2015
- 著者名/発表者名
  石原鷹, 橋本健二, 関浩之, 酒井正彦
- 学会等名
  第104回情報処理学会・プログラミング研究会
- 発表場所
  富山市
- 年月日
  2015-06-04
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Query-based l-diversity2015
- 著者名/発表者名
  Chittaphone Phonharath, Ryunosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  熊本市
- 年月日
  2015-05-12
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] モデル計数を用いたXMLデータベースのk-安全性検査2015
- 著者名/発表者名
  浅井孝俊，上杉正紀，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  熊本市
- 年月日
  2015-05-12
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] 木文法に基づく圧縮XML文書に対する直接更新手法の評価2015
- 著者名/発表者名
  後藤健志，尾上栄浩，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会，SS2014-45, 114(416), 73-78
- 発表場所
  鳥取県
- 年月日
  2015-01-27
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] 木文法による圧縮XML文書に対する問合せと更新手法2014
- 著者名/発表者名
  尾上栄浩，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会，SS2014-28, 114(271), 17-22
- 発表場所
  高知県
- 年月日
  2014-10-23
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Towards HMM parameter estimation with differential privacy2014
- 著者名/発表者名
  Nut Sornchumni, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  情報処理学会第98回数理モデル化と問題解決研究会, 2014-MPS-98(25)
- 発表場所
  沖縄県
- 年月日
  2014-06-27
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013
- 著者名/発表者名
  80. Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
- 学会等名
  Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA 2013), April 2013, Lecture Notes in Computer Science 7810, pp.335-346
- 発表場所
  Bilbao, Spain
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013
- 著者名/発表者名
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, and Toru Fujiwara
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) カテゴリ 2
- 発表場所
  福島
- 年月日
  2013-03-04
- データソース
  KAKENHI-PROJECT-22700099
[学会発表] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013
- 著者名/発表者名
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, and Toru Fujiwara
- 学会等名
  Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA 2013)
- 発表場所
  Bilbao, Spain
- 年月日
  2013-04-02
- データソース
  KAKENHI-PROJECT-22700099
[学会発表] 決定性線形トップダウン木変換器における問合せ保存の決定可能性2012
- 著者名/発表者名
  澤田龍太、橋本健二、石原靖哲、藤原融
- 学会等名
  ソフトウェアサイエンス研究会
- 発表場所
  てんぶす那覇(沖縄県)
- 年月日
  2012-03-13
- データソース
  KAKENHI-PROJECT-22700099
[学会発表] 決定性線形トップダウン木変換器における問合せ保存の決定可能性2012
- 著者名/発表者名
  澤田龍太, 橋本健二, 石原靖哲, 藤原融
- 学会等名
  電子情報通信学会技術研究報告
- 発表場所
  沖縄
- 年月日
  2012-03-14
- データソース
  KAKENHI-PROJECT-22700099
[学会発表] 決定性線形下降木変換器における頂点問合せ保存2012
- 著者名/発表者名
  宮原一喜, 橋本健二, 関浩之
- 学会等名
  電子情報通信学会技術研究報告
- 発表場所
  広島
- 年月日
  2012-11-01
- データソース
  KAKENHI-PROJECT-22700099
[学会発表] The Validity Problem of Positive XPath Queries in the Presence of DTDs2010
- 著者名/発表者名
  Kenji Hashimoto
- 学会等名
  ソフトウェアサイエンス研究会
- 発表場所
  ホテル天坊(群馬県)
- 年月日
  2010-12-15
- データソース
  KAKENHI-PROJECT-22700099
[学会発表] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
- 著者名/発表者名
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, and Toru Fujiwara
- 学会等名
  7th International Conference on Language and Automata Theory and Applications
- 発表場所
  Spain, Bilbao
- データソース
  KAKENHI-PROJECT-22700099
[学会発表] 決定性線形下降木変換器における頂点問合せ保存
- 著者名/発表者名
  宮原一喜, 橋本健二, 関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  広島市立大学
- データソース
  KAKENHI-PROJECT-22700099
[学会発表] Verification of the Security against Inference Attacks on XML Databases
- 著者名/発表者名
  Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  1st International Workshop on Trends in Tree Automata and Tree T2ransducers (TTATT 2012)
- 発表場所
  名古屋大学
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Static Analysis for k-secrecy against Inference Attacks
- 著者名/発表者名
  Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  Korea-Japan Joint Workshop on Software Science and Engineering
- 発表場所
  高麗大学, 韓国
- データソース
  KAKENHI-PROJECT-23300008

1. 関浩之 (80196948)

共同の研究課題数: 5件

共同の研究成果数: 36件
2. 小川瑞史 (40362024)

共同の研究課題数: 4件

共同の研究成果数: 0件
3. 結縁祥治 (70230612)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 楫勇一 (70263431)

共同の研究課題数: 1件

共同の研究成果数: 0件

橋本 健二 Hashimoto Kenji

研究課題

研究成果

共同研究者

投射モデル計数のためのグラフ表現を用いた問題分類と計数戦略研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

量的情報流解析のための投射モデル計数ソルバの開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェアセキュリティ・プライバシーのための静的解析・動的検査法

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

木およびグラフ変換における問合せ保存の自動検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェアセキュリティのための量を扱う計算モデルの提案

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式言語理論に基づく静的解析法とその安全性検査への応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

概念モデルと問合せ集合を用いた XML スキーマの導出と更新研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Weighted Multiple Context-Free Grammars2023

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

[雑誌論文] An Ambiguity Hierarchy of Weighted Context-Free Grammars2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem2019

著者名/発表者名

雑誌名

データソース

[雑誌論文] Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -2019

著者名/発表者名

雑誌名

DOI

橋本健二 Hashimoto Kenji