• Search Research Projects
  • Search Researchers
  1. Back to previous page

HASHIMOTO Kenji  橋本 健二

ORCIDConnect your ORCID iD *help
Researcher Number 90548447
Affiliation *help 2017 – 2018 : 名古屋大学, 情報学研究科, 助教
2012 – 2016 : 名古屋大学, 情報科学研究科, 助教
2015 : 名古屋大学, 大学院情報科学研究科, 助教
2010 – 2012 : 奈良先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field
Principal Investigator
Software / Media informatics/Database / Theory of informatics
Except Principal Investigator
Software / Software
Keywords
Principal Investigator
木変換器 / 問合せ保存 / XML / 木オートマトン / 成分キャッシュ / 投射モデル計数 / 関数性 / 情報保存 / スキーマ / 文書変換 / 量的情報流解析 … More
Except Principal Investigator
… More XML / 木オートマトン / セキュリティ / 情報保存性 / 木文法 / 形式言語理論 / 木変換器 / 圧縮 / ソフトウェア検証 / 頂点問合せ / 直線的文脈木文法 / 文脈自由文法 / 自動解析 / プライバシー / モデル検査 / トップ木 / 有向グラフ / XPath / ソフトウェア解析 Less
  • Research Projects

    (5results)
  • Research Products

    (39results)
  • Co-Researchers

    (4People)
  •  量的情報流解析のための投射モデル計数ソルバの開発Principal InvestigatorOngoing

    • Principal Investigator
      橋本 健二
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  ソフトウェアセキュリティ・プライバシーのための静的解析・動的検査法Ongoing

    • Principal Investigator
      関 浩之
    • Project Period (FY)
      2015 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Verification of query preservation for tree and graph transformationsPrincipal Investigator

    • Principal Investigator
      橋本 健二
    • Project Period (FY)
      2014 – 2017
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
      Theory of informatics
    • Research Institution
      Nagoya University
  •  Software Analysis based on Formaly Language Theory and Its Application to Security Verification

    • Principal Investigator
      Seki Hiroyuki
    • Project Period (FY)
      2011 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
      Nara Institute of Science and Technology
  •  Derivation and update of XML schemas using conceptual model and query setPrincipal Investigator

    • Principal Investigator
      HASHIMOTO Kenji
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Media informatics/Database
    • Research Institution
      Nara Institute of Science and Technology

All 2018 2017 2016 2015 2014 2013 2012 2010 Other

All Journal Article Presentation

  • [Journal Article] Direct Update of XML Documents with Data Values Compressed by Tree Grammars, IEICE Transactions on Information and Systems2018

    • Author(s)
      Kenji Hashimoto, Ryunosuke Takayama and Hiroyuki Seki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume : E101-D(6)

    • DOI
      10.1587/transinf.2017fop0002
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Journal Article] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers2016

    • Author(s)
      Kenji Hashimoto, Ryuta Swada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume : E99-D Pages : 575-587

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Journal Article] Query Rewriting for Nondeterministic Tree Transducers2016

    • Author(s)
      Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume : E99-D Pages : 1410-1419

    • DOI
      10.1587/transinf.2015fop0007
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26870270
  • [Journal Article] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers2016

    • Author(s)
      Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume : E99-D Pages : 575-587

    • DOI
      10.1587/transinf.2015fcp0015
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26870270
  • [Journal Article] Query Rewriting for Nondeterministic Tree Transducers2016

    • Author(s)
      Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume : E99-D(6) Pages : 1410-1419

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Journal Article] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015

    • Author(s)
      Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume : E89-D(3) Pages : 512-523

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Journal Article] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015

    • Author(s)
      Kazuki Miyahara, Kenji Hashimoto, and Hiroyuki Seki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume : E98-D Pages : 512-523

    • DOI
      10.1587/transinf.2014fcp0014
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26870270
  • [Journal Article] Deciding Schema k-Secrecy for XML Databases2013

    • Author(s)
      4. Chittaphone Phonharath, Kenji Hashimoto, and Hiroyuki Seki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume : E96-D(6) Pages : 1268-1277

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Presentation] 線形マルチボトムアップ木変換器の関数性の決定可能性2018

    • Author(s)
      田端 浩明,橋本 健二
    • Organizer
      情報処理学会プログラミング研究会
    • Data Source
      KAKENHI-PROJECT-26870270
  • [Presentation] 有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案2018

    • Author(s)
      武田健志,橋本健二,関浩之
    • Organizer
      第10回データ工学と情報マネジメントに関するフォーラム(DEIM 2018)
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] 非決定性選択木オートマトンの決定化2018

    • Author(s)
      川本将也,橋本健二,関浩之
    • Organizer
      情報処理学会第117回プログラミング研究会(講演番号:2017-4-(2))
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] 木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法2017

    • Author(s)
      高山隆之介,橋本健二,関浩之
    • Organizer
      第9回データ工学と情報マネジメントに関するフォーラム(DEIM 2017)
    • Place of Presentation
      那覇市,てんぷす那覇
    • Year and Date
      2017-03-09
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換2017

    • Author(s)
      川本将也,橋本健二,関浩之
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-54)
    • Place of Presentation
      京都市,京都工芸繊維大学
    • Year and Date
      2017-01-26
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] 非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件2017

    • Author(s)
      石原鷹, 橋本健二, 関浩之
    • Organizer
      電子情報通信学会
    • Place of Presentation
      てんぶす那覇, 沖縄
    • Year and Date
      2017-03-10
    • Data Source
      KAKENHI-PROJECT-26870270
  • [Presentation] トップ木に基づく圧縮データに対する直接更新法2017

    • Author(s)
      西村卓, 橋本健二,関浩之
    • Organizer
      電子通信学会ソフトウェアサイエンス研究会(講演番号:SS2017-22)
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] 木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法2017

    • Author(s)
      武田健志,橋本健二,関浩之
    • Organizer
      電子通信学会ソフトウェアサイエンス研究会(講演番号:SS2017-1)
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] トップ木に基づく木圧縮法の実装と問合せ処理法の提案2016

    • Author(s)
      西村卓,橋本健二,関浩之
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-10)
    • Place of Presentation
      札幌市,北海道立道民活動センター
    • Year and Date
      2016-07-13
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] ①Direct Evaluation of Selecting Tree Automata on XML Documents Compressed with Top Trees2016

    • Author(s)
      Kenji Hashimoto, Suguru Nishimura and Hiroyuki Seki
    • Organizer
      4th International Workshop on Trends in Tree Automata and Tree Transducers
    • Place of Presentation
      Seoul, South Korea
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] 木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法2016

    • Author(s)
      高山隆之介,橋本健二,関浩之
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2016-27)
    • Place of Presentation
      彦根市,彦根勤労福祉会館
    • Year and Date
      2016-10-27
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] 非決定性木変換器における問合せ保存2016

    • Author(s)
      宮原一喜,橋本健二,関浩之
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会(講演番号:SS2015-79)
    • Place of Presentation
      沖縄県宮古青少年の家
    • Year and Date
      2016-03-10
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] On the query preservation for nondeterministic tree transducers2016

    • Author(s)
      Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
    • Organizer
      日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岡山県玉野市
    • Year and Date
      2016-03-07
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] Determinacy and Query Preservation of Tree Transducers2016

    • Author(s)
      Kenji Hashimoto
    • Organizer
      4th Int. Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2016)
    • Place of Presentation
      Yonsei University, Seoul, South Korea
    • Year and Date
      2016-07-18
    • Int'l Joint Research / Invited
    • Data Source
      KAKENHI-PROJECT-26870270
  • [Presentation] 圧縮構造化文書のための更新手法の拡張とその実験的評価2016

    • Author(s)
      後藤健志,高山隆之介,橋本健二,関浩之
    • Organizer
      電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会(講演番号:LOIS2015-75)
    • Place of Presentation
      沖縄県宮古島市役所中央公民館
    • Year and Date
      2016-03-03
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] Query-based l-diversity2015

    • Author(s)
      Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
    • Organizer
      7th International Conference on Advances in Databases, Knowledge, and Data Applications
    • Place of Presentation
      Roma, Italy
    • Year and Date
      2015-05-25
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Presentation] 拡張線形ボトムアップ木変換器の関数性の多項式時間判定2015

    • Author(s)
      石原 鷹, 橋本 健二, 関 浩之, 酒井 正彦
    • Organizer
      第104回情報処理学会・プログラミング研究会
    • Place of Presentation
      富山市
    • Year and Date
      2015-06-04
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Presentation] Query-based l-diversity2015

    • Author(s)
      Chittaphone Phonharath, Ryunosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      熊本市
    • Year and Date
      2015-05-12
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Presentation] 木文法に基づく圧縮XML文書に対する直接更新手法の評価2015

    • Author(s)
      後藤健志,尾上栄浩,橋本健二,関浩之
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会,SS2014-45, 114(416), 73-78
    • Place of Presentation
      鳥取県
    • Year and Date
      2015-01-27
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Presentation] 木文法による圧縮XML文書に対する問合せと更新手法2014

    • Author(s)
      尾上栄浩,橋本健二,関浩之
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会,SS2014-28, 114(271), 17-22
    • Place of Presentation
      高知県
    • Year and Date
      2014-10-23
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013

    • Author(s)
      80. Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
    • Organizer
      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
    • Place of Presentation
      Bilbao, Spain
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013

    • Author(s)
      Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, and Toru Fujiwara
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) カテゴリ 2
    • Place of Presentation
      福島
    • Year and Date
      2013-03-04
    • Data Source
      KAKENHI-PROJECT-22700099
  • [Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013

    • Author(s)
      Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, and Toru Fujiwara
    • Organizer
      Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA 2013)
    • Place of Presentation
      Bilbao, Spain
    • Year and Date
      2013-04-02
    • Data Source
      KAKENHI-PROJECT-22700099
  • [Presentation] 決定性線形下降木変換器における頂点問合せ保存2012

    • Author(s)
      宮原一喜, 橋本健二, 関浩之
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      広島
    • Year and Date
      2012-11-01
    • Data Source
      KAKENHI-PROJECT-22700099
  • [Presentation] 決定性線形トップダウン木変換器における問合せ保存の決定可能性2012

    • Author(s)
      澤田龍太, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      沖縄
    • Year and Date
      2012-03-14
    • Data Source
      KAKENHI-PROJECT-22700099
  • [Presentation] 決定性線形トップダウン木変換器における問合せ保存の決定可能性2012

    • Author(s)
      澤田龍太、橋本健二、石原靖哲、藤原融
    • Organizer
      ソフトウェアサイエンス研究会
    • Place of Presentation
      てんぶす那覇(沖縄県)
    • Year and Date
      2012-03-13
    • Data Source
      KAKENHI-PROJECT-22700099
  • [Presentation] The Validity Problem of Positive XPath Queries in the Presence of DTDs2010

    • Author(s)
      Kenji Hashimoto
    • Organizer
      ソフトウェアサイエンス研究会
    • Place of Presentation
      ホテル天坊(群馬県)
    • Year and Date
      2010-12-15
    • Data Source
      KAKENHI-PROJECT-22700099
  • [Presentation] Verification of the Security against Inference Attacks on XML Databases

    • Author(s)
      Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
    • Organizer
      1st International Workshop on Trends in Tree Automata and Tree T2ransducers (TTATT 2012)
    • Place of Presentation
      名古屋大学
    • Data Source
      KAKENHI-PROJECT-23300008
  • [Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers

    • Author(s)
      Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, and Toru Fujiwara
    • Organizer
      7th International Conference on Language and Automata Theory and Applications
    • Place of Presentation
      Spain, Bilbao
    • Data Source
      KAKENHI-PROJECT-22700099
  • [Presentation] 決定性線形下降木変換器における頂点問合せ保存

    • Author(s)
      宮原 一喜, 橋本 健二, 関 浩之
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      広島市立大学
    • Data Source
      KAKENHI-PROJECT-22700099
  • [Presentation] Static Analysis for k-secrecy against Inference Attacks

    • Author(s)
      Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
    • Organizer
      Korea-Japan Joint Workshop on Software Science and Engineering
    • Place of Presentation
      高麗大学, 韓国
    • Data Source
      KAKENHI-PROJECT-23300008
  • 1.  Seki Hiroyuki (80196948)
    # of Collaborated Projects : 2results
    # of Collaborated Products : 25results
  • 2.  OGAWA MIZUHITO (40362024)
    # of Collaborated Projects : 2results
    # of Collaborated Products : 0results
  • 3.  KAJI YUICHI (70263431)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 4.  結縁 祥治 (70230612)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results

URL :

Are you sure that you want to connect your ORCID iD to this researcher?

Information FAQ News Terms of Use

Powered by NII kakenhi