所属
大学院情報学研究科 情報システム学専攻 ソフトウェア論 助教
大学院担当
大学院情報学研究科
学部担当
工学部
情報学部 コンピュータ科学科
情報学部 コンピュータ科学科
職名
助教
ハマグチ タケシ
濱口 毅
HAMAGUCHI, Takeshi
学位 1
-
修士（工学）
研究分野 1
-
その他 / その他 / ソフトウェア
現在の研究課題とSDGs 1
-
形式的仕様記述に基づくソフトウェア開発法に関する研究
学歴 2
-
名古屋大学 工学研究科 情報工学
- 1995年
国名： 日本国
-
名古屋大学 工学部 情報工学科
- 1990年
国名： 日本国
所属学協会 2
-
電子情報通信学会
-
日本ソフトウェア科学会
論文 2
-
例外処理を持つ関数型プログラムの停止性・非停止性証明法 査読有り
濱口 毅,酒井 正彦,馬場 正貴,阿草 清滋
情報処理学会論文誌 プログラミング 4 巻 ( 2 ) 頁： 13-30 2011年3月
-
*エラー付き代数的仕様とエラー記述の自動付加 査読有り
電子情報通信学会論文誌 J78-D-I 巻 ( 3 ) 頁： 323-330 1995年
講演・口頭発表等 5
-
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対
濱口 毅
電子情報通信学会 ソフトウェアサイエンス研究会 2023年1月11日 電子情報通信学会
-
例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現
太田浩一,濱口毅,酒井正彦,山田晃久,西田直樹,坂部俊樹
電子情報通信学会ソフトウェアサイエンス研究会
-
例外処理を含む関数型プログラム停止性証明のための条件付き依存対法
濱口毅, 酒井正彦
電子情報通信学会ソフトウェアサイエンス研究会
-
Proving Termination of Functional Programs with Exception Handling
Takeshi Hamaguchi
36th TRS Meeting
-
例外処理を持つ関数型プログラムの停止性・非停止性証明法
濱口 毅, 酒井 正彦, 馬場 正貴, 阿草 清滋
情報処理学会プログラミング研究会
担当経験のある科目 (本学) 38
-
非手続き型言語及び演習
2024
-
離散数学及び演習
2024
-
コンピュータ科学実験b
2024
-
コンピュータ科学実験a
2024
-
非手続き型言語及び演習
2023
担当経験のある科目 (本学以外) 34
-
ソフトウェア工学
2024年4月 - 2025年3月 （愛知大学）
科目区分：学部専門科目 国名：日本国
-
ソフトウェア工学
2023年4月 - 2024年3月 （愛知大学）
国名：日本国
-
ソフトウェア工学
2022年4月 - 2023年3月 （愛知大学）
科目区分：学部専門科目 国名：日本国
-
ソフトウェア工学
2021年4月 - 2022年3月 （愛知大学）
科目区分：学部専門科目
-
新・初歩からのパソコン
2021年4月 - 2022年3月 （放送大学）
科目区分：学部教養科目