Updated on 2024/04/25

写真a

 
HAGIWARA Takeshi
 
Organization
Academic Assembly Institute of Science and Technology JOUHOU DENSHI KOUGAKU KEIRETU Assistant Professor
Graduate School of Science and Technology Electrical and Information Engineering Assistant Professor
Faculty of Engineering Department of Engineering Assistant Professor
Title
Assistant Professor
Homepage
http://www.cs.ie.niigata-u.ac.jp/~hagiwara/
External link

Degree

  • 博士(工学) ( 1997.3   東京工業大学 )

Research Interests

  • Attribute Grammars

  • XML

  • 属性文法

  • XML

Research Areas

  • Informatics / Human interface and interaction

  • Informatics / Software

  • Informatics / Database

Research History

  • Niigata University   Faculty of Engineering Department of Engineering   Assistant Professor

    2017.4

  • Niigata University   Graduate School of Science and Technology Electrical and Information Engineering   Assistant Professor

    2010.4

  • Niigata University   Graduate School of Science and Technology Electrical and Information Engineering   Assistant Professor

    2010.4

  • Niigata University   Faculty of Engineering Department of Information Engineering   Assistant Professor

    2004.4 - 2017.3

Education

  • Tokyo Institute of Technology   Science of Engineering   情報工学

    - 1997

    　 More details

    Country： Japan

    researchmap

  • Tokyo Institute of Technology   Graduate School, Division of Science and Engineering

    - 1997

    　 More details

  • Tokyo Institute of Technology   School of Engineering   情報工学

    - 1991

    　 More details

    Country： Japan

    researchmap

  • Tokyo Institute of Technology   Faculty of Engineering

    - 1991

    　 More details

Professional Memberships

 

MISC

  • OAG*: Improved ordered attribute grammars for less type 3 circularities

    S Natori, K Gondow, T Imaizumi, T Hagiwara, T Katayama

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS   E86D ( 4 )   673 - 685   2003.4

    　More details

    Language：English   Publisher：IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG  

    Ordered attribute grammars (OAGs for short) are a useful class of attribute grammars (AGs). For some attribute grammars, even though they are not circular, OAG circularity test reports that they are not ordered and fails to generate attribute evaluators because some approximation introduces circularities (called type 3 circularities in this paper). First we discuss that it is sometimes difficult for programmers to eliminate type 3 circularities by hand. Second, to reduce this difficulty, we propose a new AG class called OAG* that produces less type 3 circularities than OAG while preserving the positive characteristic of OAG. OAG* uses a global dependency graph GDS that provides a new approximation algorithm. We obtained good results with our experimental implementation of OAG*. It is shown that OAG* is different from the existing GAG and Eli/Liga systems. Finally, two combinations of Eli/Liga and OAG* are provided.

    Web of Science

    researchmap

  • OAG*: Improved ordered attribute grammars for less type 3 circularities

    S Natori, K Gondow, T Imaizumi, T Hagiwara, T Katayama

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS   E86D ( 4 )   673 - 685   2003.4

    　More details

    Language：English   Publisher：IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG  

    Ordered attribute grammars (OAGs for short) are a useful class of attribute grammars (AGs). For some attribute grammars, even though they are not circular, OAG circularity test reports that they are not ordered and fails to generate attribute evaluators because some approximation introduces circularities (called type 3 circularities in this paper). First we discuss that it is sometimes difficult for programmers to eliminate type 3 circularities by hand. Second, to reduce this difficulty, we propose a new AG class called OAG* that produces less type 3 circularities than OAG while preserving the positive characteristic of OAG. OAG* uses a global dependency graph GDS that provides a new approximation algorithm. We obtained good results with our experimental implementation of OAG*. It is shown that OAG* is different from the existing GAG and Eli/Liga systems. Finally, two combinations of Eli/Liga and OAG* are provided.

    Web of Science

    researchmap

  • Using Object-Oriented Attribute Grammars as ODB System Generator.

    3rd Int. Workshop on Attribute Grammars and their Applications(WAGA'00)   141 - 160   2000

    　More details

  • Using Object-Oriented Attribute Grammars as ODB System Generator.

    3rd Int. Workshop on Attribute Grammars and their Applications(WAGA'00)   141 - 160   2000

    　More details

  • On Eliminating Type 3 Circularities of Ordered Attribute Grammas

    2nd Int. Workshop on Attribute. Grammars and their Applications(WAGA'99)   99 - 112   1999

    　More details

  • On Eliminating Type 3 Circularities of Ordered Attribute Grammas

    2nd Int. Workshop on Attribute. Grammars and their Applications(WAGA'99)   99 - 112   1999

    　More details

  • A Tool for Constructing Software Objectbases from Language Structures(jointly worked)

    Proceedings of the IPSJ International Symposium on Information Systems and Technologies for Network Society, World Scientific Publishing Co. Pte. Ltd.   71 - 78   1997

    　More details

  • オブジェクト指向属性文法OOAGによるソフトウェアリポジトリシステムの自動生成(共著)

    情報処理学会論文誌   37 ( 12 )   2362 - 2375   1996

    　More details

  • Generating Software Repository System by Object-Orientec Attribute Grammars

    37 ( 12 )   2362 - 2375   1996

    　More details

  • オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用(共著)

    電子情報通信学会論文誌D-I   J78-D-1 ( 5 )   478 - 491   1995

    　More details

  • On Application of Object Oriented Attribute Grammars(OOAG)to Software Development Environments

    GONDOW Katsuhiko, IMAIZUMI Takashi, HAGIWARA Takeshi, KATATAMA Takuya

    The Transactions of the Institute of Electronics,Information and Communication Engineers.   J78-D-1 ( 5 )   478 - 491   1995

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    CiNii Article

    CiNii Books

    researchmap

  • An Executable Specification Language for Structure Oriented Systems

    IMAIZUMI Takashi, GONDOW Katsuhiko, HIGIWARA Takeshi, MATSUTSUKA Takahide, KATAYAMA Takuya

    IPSJ Journal   36 ( 5 )   1126 - 1137   1995

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    A specification language is important in rapid prototyping area in software development environment. In this paper, we explain a computational model OOAG. Using this model, we can execute the specification just written in OOAG based language. OOAG is a model based on attribute grammars and extended by object oriented concepts for describing system's dynamic behavior. We show the ability of OOAG for describing structure oriented systems, by describing UNIX file system using OOAG.

    CiNii Article

    CiNii Books

    researchmap

  • An Executable Specification Language for Structure Oriented Systems

    IMAIZUMI Takashi, GONDOW Katsuhiko, HIGIWARA Takeshi, MATSUTSUKA Takahide, KATAYAMA Takuya

    IPSJ Journal   36 ( 5 )   1126 - 1137   1995

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    A specification language is important in rapid prototyping area in software development environment. In this paper, we explain a computational model OOAG. Using this model, we can execute the specification just written in OOAG based language. OOAG is a model based on attribute grammars and extended by object oriented concepts for describing system's dynamic behavior. We show the ability of OOAG for describing structure oriented systems, by describing UNIX file system using OOAG.

    CiNii Article

    CiNii Books

    researchmap

  • オブジェクト指向属性文法OOAGの高速な処理系の設計と実現(共著)

    信学技法   94 ( 135 )   18 - 24   1994

    　More details

▶ display all

Research Projects

  • 多様化した web ブラウザ端末向のページデータ生成の効率化に関する研究

    2003

    System name：補助金

    　 More details

    Grant type：Competitive

    researchmap

  • XMLにおけるスキーマの変更とそれに伴うインスタンス文書の更新に関する研究

    2002 - 2004

    System name：科学研究費補助金

    　 More details

    Grant type：Competitive

    researchmap

  • Study on XML Data Translation

    2002 - 2004

    System name：Grant-in-Aid for Scientific Research

    　 More details

    Grant type：Competitive

    researchmap

  • Study on Software Development Environment using Attribute Grammars

    　 More details

    Grant type：Competitive

    researchmap

  • ソフトウェア開発環境への属性文法の応用に関する研究

    　 More details

    Grant type：Competitive

    researchmap

 

Teaching Experience

  • 情報セキュリティ概論

    2023
    Institution name：新潟大学

  • 知能情報システム実験II

    2022
    Institution name：新潟大学

  • 知能情報システム実験I

    2022
    Institution name：新潟大学

  • ソフトウエア構成論特論

    2021
    Institution name：新潟大学

  • プログラミング基礎Ⅰ

    2020
    Institution name：新潟大学

  • オペレーティングシステム

    2020
    Institution name：新潟大学

  • プログラミング基礎Ⅱ

    2020
    -
    2021
    Institution name：新潟大学

  • 工学リテラシー入門(情報電子分野)

    2019
    Institution name：新潟大学

  • 情報システム基礎実習

    2018
    Institution name：新潟大学

  • コンピュータ基礎

    2018
    -
    2019
    Institution name：新潟大学

  • リメディアル演習

    2018
    Institution name：新潟大学

  • 情報工学実習

    2016
    Institution name：新潟大学

  • 自然科学総論Ⅲ

    2014
    Institution name：新潟大学

  • 情報工学特定研究Ⅱ

    2013
    -
    2015
    Institution name：新潟大学

  • 情報工学研究発表(外部発表)

    2013
    -
    2015
    Institution name：新潟大学

  • 情報工学文献詳読Ⅱ

    2013
    -
    2015
    Institution name：新潟大学

  • 情報工学セミナーⅡ

    2013
    -
    2015
    Institution name：新潟大学

  • 情報工学特定研究Ⅰ

    2012
    -
    2015
    Institution name：新潟大学

  • 情報工学文献詳読Ⅰ

    2012
    -
    2015
    Institution name：新潟大学

  • 情報工学セミナーⅠ

    2012
    -
    2015
    Institution name：新潟大学

  • 情報工学発表演習(中間発表)

    2012
    -
    2015
    Institution name：新潟大学

  • プログラミングII

    2011
    -
    2018
    Institution name：新潟大学

  • コンパイラ

    2008
    -
    2021
    Institution name：新潟大学

  • 情報工学基礎実習II

    2007
    -
    2020
    Institution name：新潟大学

  • プログラミング実習II

    2007
    -
    2018
    Institution name：新潟大学

  • 情報工学基礎実習I

    2007
    -
    2017
    Institution name：新潟大学

  • プログラミング実習I

    2007
    -
    2015
    Institution name：新潟大学

  • プログラミング実習

    2007
    -
    2008
    Institution name：新潟大学

  • プログラミング基礎実習

    2007
    -
    2008
    Institution name：新潟大学

  • プログラミング基礎演習

    2007
    Institution name：新潟大学

▶ display all