HASHIMOTO Kenji 橋本健二

Researcher Number	90548447
Affiliation *help	2017 – 2018 : 名古屋大学, 情報学研究科, 助教 2012 – 2017 : 名古屋大学, 情報科学研究科, 助教 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 / 木オートマトン / 投射モデル計数 / 情報保存 / スキーマ / 文書変換 / 量的情報流解析 Except Principal Investigator XML … More

量的情報流解析のための投射モデル計数ソルバの開発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
木およびグラフ変換における問合せ保存の自動検証Principal InvestigatorOngoing
- 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 2017 2016 2015 2014 2013 2012 2010 Other

All Journal Article Presentation

[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] 木文法に基づき圧縮された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] トップ木に基づく木圧縮法の実装と問合せ処理法の提案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 : 20results
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

HASHIMOTO Kenji 橋本 健二

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

木およびグラフ変換における問合せ保存の自動検証Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Analysis based on Formaly Language Theory and Its Application to Security Verification

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Derivation and update of XML schemas using conceptual model and query setPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers2016

Author(s)

Journal Title

Data Source

[Journal Article] Query Rewriting for Nondeterministic Tree Transducers2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Query Rewriting for Nondeterministic Tree Transducers2016

Author(s)

Journal Title

Data Source

[Journal Article] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015

Author(s)

Journal Title

Data Source

[Journal Article] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Deciding Schema k-Secrecy for XML Databases2013

Author(s)

Journal Title

Data Source

[Presentation] 木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件2017

Author(s)

Organizer

HASHIMOTO Kenji 橋本健二