2024/03/22 更新

写真a

ハマグチ タケシ
濱口 毅
HAMAGUCHI, Takeshi
所属
大学院情報学研究科 情報システム学専攻 ソフトウェア論 助教
大学院担当
大学院情報学研究科
学部担当
工学部
情報学部 コンピュータ科学科
職名
助教

学位 1

  1. 修士(工学)

研究分野 1

  1. その他 / その他  / ソフトウェア

現在の研究課題とSDGs 1

  1. 形式的仕様記述に基づくソフトウェア開発法に関する研究

学歴 2

  1. 名古屋大学   工学研究科   情報工学

    - 1995年

      詳細を見る

    国名: 日本国

  2. 名古屋大学   工学部   情報工学科

    - 1990年

      詳細を見る

    国名: 日本国

所属学協会 2

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

  2. 電子情報通信学会

 

論文 2

  1. 例外処理を持つ関数型プログラムの停止性・非停止性証明法 査読有り

    濱口 毅,酒井 正彦,馬場 正貴,阿草 清滋

    情報処理学会論文誌 プログラミング   4 巻 ( 2 ) 頁: 13-30   2011年3月

     詳細を見る

    担当区分:筆頭著者   記述言語:日本語   掲載種別:研究論文(学術雑誌)  

  2. *エラー付き代数的仕様とエラー記述の自動付加 査読有り

    電子情報通信学会論文誌   J78-D-I 巻 ( 3 ) 頁: 323-330   1995年

     詳細を見る

    担当区分:筆頭著者   記述言語:日本語   掲載種別:研究論文(学術雑誌)  

講演・口頭発表等 5

  1. 例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対

    濱口 毅

    電子情報通信学会 ソフトウェアサイエンス研究会  2023年1月11日  電子情報通信学会

     詳細を見る

    開催年月日: 2023年1月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:大阪府大阪市   国名:日本国  

  2. 例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現

    太田浩一,濱口毅,酒井正彦,山田晃久,西田直樹,坂部俊樹

    電子情報通信学会ソフトウェアサイエンス研究会 

     詳細を見る

    開催年月日: 2015年1月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  3. 例外処理を含む関数型プログラム停止性証明のための条件付き依存対法

    濱口毅, 酒井正彦

    電子情報通信学会ソフトウェアサイエンス研究会 

     詳細を見る

    開催年月日: 2013年7月

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:札幌   国名:日本国  

  4. Proving Termination of Functional Programs with Exception Handling

    Takeshi Hamaguchi

    36th TRS Meeting 

     詳細を見る

    開催年月日: 2012年2月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  5. 例外処理を持つ関数型プログラムの停止性・非停止性証明法

    濱口 毅, 酒井 正彦, 馬場 正貴, 阿草 清滋

    情報処理学会プログラミング研究会 

     詳細を見る

    開催年月日: 2010年10月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

 

担当経験のある科目 (本学) 34

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

    2023

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

    2023

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

    2023

  4. 離散数学及び演習

    2023

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

    2022

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

    2022

  7. 離散数学及び演習

    2022

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

    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

▼全件表示

担当経験のある科目 (本学以外) 33

  1. ソフトウェア工学

    2023年4月 - 2024年3月 愛知大学)

     詳細を見る

    国名:日本国

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

    2021年4月 - 2022年3月 放送大学)

     詳細を見る

    科目区分:学部教養科目 

  3. アルゴリズム

    2020年4月 - 2021年3月 愛知大学)

  4. ソフトウェア工学

    2022年4月 - 2023年3月 愛知大学)

     詳細を見る

    科目区分:学部専門科目  国名:日本国

  5. ソフトウェア工学

    2021年4月 - 2022年3月 愛知大学)

     詳細を見る

    科目区分:学部専門科目 

  6. ソフトウェア工学

    2020年4月 - 2021年3月 愛知大学)

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

    2020年4月 - 2021年3月 放送大学)

  8. ソフトウェア工学

    2019年4月 - 2020年3月 愛知大学)

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

    2019年4月 - 2020年3月 放送大学)

  10. ソフトウェア工学

    2018年4月 - 2019年3月 愛知大学)

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

    2018年4月 - 2019年3月 放送大学)

  12. アルゴリズム

    2018年4月 - 2019年3月 愛知大学)

  13. アルゴリズム

    2017年4月 - 2018年3月 愛知大学)

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

    2017年4月 - 2018年3月 放送大学)

  15. ソフトウェア工学

    2017年4月 - 2018年3月 愛知大学)

  16. ソフトウェア工学

    2016年4月 - 2017年3月 愛知大学)

  17. アルゴリズム

    2016年4月 - 2017年3月 愛知大学)

  18. アルゴリズム

    2015年4月 - 2016年3月 愛知大学)

  19. ソフトウェア工学

    2015年4月 - 2016年3月 愛知大学)

  20. ソフトウェア工学

    2014年4月 - 2015年3月 愛知大学)

  21. アルゴリズム

    2014年4月 - 2015年3月 愛知大学)

  22. ソフトウェア工学

    2013年4月 - 2014年3月 愛知大学)

  23. アルゴリズム

    2013年4月 - 2014年3月 愛知大学)

  24. アルゴリズム

    2012年4月 - 2013年3月 愛知大学)

  25. ソフトウェア工学

    2012年4月 - 2013年3月 愛知大学)

  26. ソフトウェア工学

    2011年4月 - 2012年3月 愛知大学)

  27. アルゴリズム

    2011年4月 - 2012年3月 愛知大学)

  28. ソフトウェア工学

    2010年4月 - 2011年3月 愛知大学)

  29. アルゴリズム

    2010年4月 - 2011年3月 愛知大学)

  30. ソフトウェア工学

    2009年4月 - 2010年3月 愛知大学)

  31. アルゴリズム

    2009年4月 - 2010年3月 愛知大学)

  32. アルゴリズム

    2008年4月 - 2009年3月 愛知大学)

  33. ソフトウェア工学

    2008年4月 - 2009年3月 愛知大学)

▼全件表示