Updated on 2024/03/22

写真a

 
HAMAGUCHI, Takeshi
 
Organization
Graduate School of Informatics Department of Computing and Software Systems 3 Assistant Professor
Graduate School
Graduate School of Informatics
Undergraduate School
School of Engineering
School of Informatics Department of Computer Science
Title
Assistant Professor

Degree 1

  1. Master of Engineering

Research Areas 1

  1. Others / Others  / Software

Current Research Project and SDGs 1

  1. Study on Software Development based on formal Specifications

Education 2

  1. Nagoya University   Graduate School, Division of Engineering

    - 1995

      More details

    Country: Japan

  2. Nagoya University   Faculty of Engineering   Department of Information Engineering

    - 1990

      More details

    Country: Japan

Professional Memberships 2

  1. 電子情報通信学会

  2. 日本ソフトウェア科学会

 

Papers 2

  1. Proving Method of Termination/Non-Termination for Functional Programs with Exception Handling Reviewed

    Takeshi Hamaguchi, Masahiko Sakai, Masataka Baba, Kiyoshi Agusa

    IPSJ Transaction on Programming   Vol. 4 ( 2 ) page: 13-30   2011.3

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

  2. Error Description onAlgebraic Specification and Its AutomaticAddition Reviewed

    The Transactions ofthe Institute of Electronics, Information andCommunication Engineers   Vol. J78-D-I ( 3 ) page: 323-330   1995

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

Presentations 5

  1. A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs

    Takeshi HAMAGUCHI

    2023.1.11  Institute of Electronics, Information and Communication Engineers

     More details

    Event date: 2023.1

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Osaka   Country:Japan  

  2. Implementing a Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling

    K.OHTA,T.Hamaguchi,M.Sakai,A.Yamada,N.Nishida,T.Sakabe

     More details

    Event date: 2015.1

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  3. Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling

     More details

    Event date: 2013.7

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  4. Proving Termination of Functional Programs with Exception Handling

    Takeshi Hamaguchi

    36th TRS Meeting 

     More details

    Event date: 2012.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  5. Proving Method of Termination/Non-Termination for Functional Programs with Exception Handling

     More details

    Event date: 2010.10

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

 

Teaching Experience (On-campus) 34

  1. 非手続き型言語及び演習

    2023

  2. 離散数学及び演習

    2023

  3. コンピュータ科学実験第2

    2023

  4. コンピュータ科学実験第1

    2023

  5. 非手続き型言語及び演習

    2022

  6. 離散数学及び演習

    2022

  7. コンピュータ科学実験第2

    2022

  8. コンピュータ科学実験第1

    2022

  9. 非手続き型言語及び演習

    2021

  10. 離散数学及び演習

    2021

  11. コンピュータ科学実験第3

    2021

  12. コンピュータ科学実験第2

    2021

  13. コンピュータ科学実験第1

    2021

  14. 離散数学及び演習

    2020

  15. 非手続き型言語及び演習

    2020

  16. コンピュータ科学実験第3

    2020

  17. コンピュータ科学実験第2

    2020

  18. コンピュータ科学実験第1

    2020

  19. 離散数学及び演習

    2019

  20. 非手続き型言語及び演習

    2019

  21. コンピュータ科学実験第3

    2019

  22. コンピュータ科学実験第2

    2019

  23. コンピュータ科学実験第1

    2019

  24. 離散数学及び演習

    2018

  25. 非手続き型言語及び演習

    2018

  26. 情報工学実験第2

    2018

  27. 情報工学実験第1

    2018

  28. 非手続き型言語及び演習

    2017

  29. 情報工学実験第2

    2017

  30. 情報工学実験第1

    2017

  31. 非手続き型言語及び演習

    2016

  32. 離散数学及び演習

    2016

  33. 情報工学実験第2

    2016

  34. 情報工学実験第1

    2016

▼display all

Teaching Experience (Off-campus) 33

  1. ソフトウェア工学

    2023.4 - 2024.3 Aichi University)

     More details

    Country:Japan

  2. 新・初歩からのパソコン

    2021.4 - 2022.3 The Open University of Japan)

     More details

    Level:Undergraduate (liberal arts) 

  3. アルゴリズム

    2020.4 - 2021.3 Aichi University)

  4. ソフトウェア工学

    2022.4 - 2023.3 Aichi University)

     More details

    Level:Undergraduate (specialized)  Country:Japan

  5. ソフトウェア工学

    2021.4 - 2022.3 Aichi University)

     More details

    Level:Undergraduate (specialized) 

  6. ソフトウェア工学

    2020.4 - 2021.3 Aichi University)

  7. 新・初歩からのパソコン

    2020.4 - 2021.3 The Open University of Japan)

  8. ソフトウェア工学

    2019.4 - 2020.3 Aichi University)

  9. 新・初歩からのパソコン

    2019.4 - 2020.3 The Open University of Japan)

  10. ソフトウェア工学

    2018.4 - 2019.3 Aichi University)

  11. 新・初歩からのパソコン

    2018.4 - 2019.3 The Open University of Japan)

  12. アルゴリズム

    2018.4 - 2019.3 Aichi University)

  13. アルゴリズム

    2017.4 - 2018.3 Aichi University)

  14. 新・初歩からのパソコン

    2017.4 - 2018.3 The Open University of Japan)

  15. ソフトウェア工学

    2017.4 - 2018.3 Aichi University)

  16. ソフトウェア工学

    2016.4 - 2017.3 Aichi University)

  17. アルゴリズム

    2016.4 - 2017.3 Aichi University)

  18. アルゴリズム

    2015.4 - 2016.3 Aichi University)

  19. ソフトウェア工学

    2015.4 - 2016.3 Aichi University)

  20. ソフトウェア工学

    2014.4 - 2015.3 Aichi University)

  21. アルゴリズム

    2014.4 - 2015.3 Aichi University)

  22. ソフトウェア工学

    2013.4 - 2014.3 Aichi University)

  23. アルゴリズム

    2013.4 - 2014.3 Aichi University)

  24. アルゴリズム

    2012.4 - 2013.3 Aichi University)

  25. ソフトウェア工学

    2012.4 - 2013.3 Aichi University)

  26. ソフトウェア工学

    2011.4 - 2012.3 Aichi University)

  27. アルゴリズム

    2011.4 - 2012.3 Aichi University)

  28. ソフトウェア工学

    2010.4 - 2011.3 Aichi University)

  29. アルゴリズム

    2010.4 - 2011.3 Aichi University)

  30. ソフトウェア工学

    2009.4 - 2010.3 Aichi University)

  31. アルゴリズム

    2009.4 - 2010.3 Aichi University)

  32. アルゴリズム

    2008.4 - 2009.3 Aichi University)

  33. ソフトウェア工学

    2008.4 - 2009.3 Aichi University)

▼display all