IWAMI Munehiro

写真a

Title

Associate Professor

Laboratory Address

Faculty of Software and Information Science, Iwate Prefectural University, 152-52 Sugo, Takizawa, Iwate, 020-0693, Japan

Mail Address

E-mail address

To the head of this page.▲

Research Interests 【 display / non-display 】

  • Term Rewriting System

  • Functional and Logic Programming Languages

  • Automated Theorem Proving

  • Theoretical Computer Science

  • Software Science

To the head of this page.▲

Graduating School 【 display / non-display 】

  • 1990.04
    -
    1994.03

    Tokai University   Faculty of Science   University   Graduated   Japan

To the head of this page.▲

Graduate School 【 display / non-display 】

  • 1994.04
    -
    1996.03

    Japan Advanced Institute of Science and Technology    Master's Course  Completed  Japan

  • 1996.04
    -
    1999.03

    Japan Advanced Institute of Science and Technology    Doctor's Course  Completed  Japan

To the head of this page.▲

Campus Career 【 display / non-display 】

  • 2024.10
    -

    Iwate Prefectural University   Faculty of Software and Information Science   Associate Professor  

To the head of this page.▲

External Career 【 display / non-display 】

  • 1999.04
    -
    2007

      Research Assistant  

  • 2007
    -
    2008

      Assistant Professor  

  • 2008
    -
    2012

      Lecturer  

  • 2012
    -
    2018

      Associate Professor  

  • 2018
    -
    2024.09

      Associate Professor  

To the head of this page.▲

Research Areas 【 display / non-display 】

  • Informatics / Theory of informatics  / プログラム理論、ソフトウェア科学、理論計算機科学、項書き換えシステム、定理自動証明

To the head of this page.▲
 

Papers 【 display / non-display 】

  • Disproving Termination of O-like Combinators by Tree Automata

    Munehiro Iwami, Keisuke Nakano

    Non-SRC Posters, APLAS 2024, extended abstract    1 - 4   2024.10

    Research paper (other science council materials etc.)

    Joint Work  English 

    Permalink

  • Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (full version)

    Keisuke Nakano, Munehiro Iwami

    arXiv:2406.14305v1    1 - 20   2024.06

    Research paper (other science council materials etc.)

    Joint Work  English 

    DOI： 10.48550/arXiv.2406.14305

    Permalink DOI

  • Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata

    Keisuke Nakano and Munehiro Iwami

    Proc. of the 28th International Conference on Implementation and Application of Automata, CIAA 2024, Akita, Japan, LNCS  15015   261 - 275   2024

    Research paper (international conference proceedings)

    Joint Work  English 

    DOI： 10.1007/978-3-031-71112-1_19

    DOI

  • Commutative Rational Term Rewriting

    Mamoru Ishizuka, Takahito Aoto and Munehiro Iwami

    Proc. of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, Milan, Italy, LNCS  12638   200 - 212   2021

    Research paper (international conference proceedings)

    Joint Work  English 

    DOI： 10.1007/978-3-030-68195-1_15

    DOI

  • Uniform Semi-Unification and Anchored Semi-Unification

    Munehiro Iwami

    Informal Proc. of 29th International Workshop on Unification    25 - 29   2015.06

    Research paper (international conference proceedings)

    Single Work  English 

display all >>

To the head of this page.▲

Grant-in-Aid for Scientific Research 【 display / non-display 】

  • Grant-in-Aid for Scientific Research(C)

    2022.04
    -

  • Grant-in-Aid for Young Scientists(B)

    2009.04
    -
    2011.03

To the head of this page.▲