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
Homepage
http://www.sqlab.i.is.nagoya-u.ac.jp/~hamaguti/

Degree 1

  1. Master of Engineering

To the head of Degree.▲

Research Areas 1

  1. Others / Others  / Software

To the head of Research Areas.▲

Current Research Project and SDGs 1

  1. Study on Software Development based on formal Specifications

To the head of Current Research Project and SDGs.▲

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

To the head of Education.▲

Professional Memberships 2

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

  2. 電子情報通信学会

To the head of Professional Memberships.▲
 

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)  

To the head of Papers.▲

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  

To the head of Presentations.▲
 

Teaching Experience (On-campus) 34

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

    2023

  2. 離散数学及び演習

    2023

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

    2023

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

    2023

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

    2022

  6. 離散数学及び演習

    2022

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

    2022

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

    2022

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

    2021

  10. 離散数学及び演習

    2021

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

    2021

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

    2021

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

    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. 情報工学実験第２

    2018

  27. 情報工学実験第１

    2018

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

    2017

  29. 情報工学実験第２

    2017

  30. 情報工学実験第１

    2017

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

    2016

  32. 離散数学及び演習

    2016

  33. 情報工学実験第２

    2016

  34. 情報工学実験第１

    2016

▼display all

To the head of Teaching Experience (On-campus).▲

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

To the head of Teaching Experience (Off-campus).▲