• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

濱口 毅  HAMAGUCHI Takeshi

ORCIDORCID連携する *注記
… 別表記

濱ロ 毅  HAMAGUCHI Takeshi

隠す
研究者番号 90273284
その他のID
外部サイト
所属 (現在) 2025年度: 名古屋大学, 情報学研究科, 助教
所属 (過去の研究課題情報に基づく) *注記 2007年度 – 2011年度: 名古屋大学, 大学院・情報科学研究科, 助教
2006年度: 名古屋大学, 大学院情報科学研究科(工学部), 助手
2005年度 – 2006年度: 名古屋大学, 大学院・情報科学研究科, 助手
2005年度: 名古屋大学, 大学院情報科学研究科, 助手
2004年度: 名古屋大学, 情報科学研究科, 助手 … もっと見る
2003年度: 名古屋大学, 大学院・情報科学研究科, 助手
2002年度: 名古屋大学, 工学研究科, 助手
2001年度: 名古屋大学, 大学院・工学研究科, 助手
2000年度: 名古屋大学, 工学研究科, 助手
1998年度 – 1999年度: 名古屋大学, 情報メディア教育センター, 助手
1997年度: 名古屋大学, 大学院・工学研究科, 助手
1997年度: 名古屋大学, 工学研究科, 助手
1996年度: 名古屋大学, 工学部, 助手 隠す
審査区分/研究分野
研究代表者
計算機科学 / ソフトウエア
研究代表者以外
計算機科学 / ソフトウエア / 情報システム学(含情報図書館学)
キーワード
研究代表者
代数的仕様 / cover set induction / inductive theory / algebraic specification / verification / concurrent computation / term rewriting system / rewriting computation / meta computation / 被覆集合帰納法 … もっと見る / 帰納的定理 / 検証 / 並行計算 / 項書換え系 / 書換え計算 / メタ計算 / ライブラリ / プラットフォーム / 代数的仕様記述 / ソフトウェア開発 / ソフトウェア移植 … もっと見る
研究代表者以外
依存解析 / Webアプリケーション / プログラムパターン / ソフトウェアリポジトリ / 再利用 / Software Engineering / Refactoring / Web Applications / Advanced Internet / データ依存グラフ / 形式仕様 / テスト駆動開発 / 抽象機械 / ソフトウェア工学 / ソフトウェアエ学 / リファクタリング / Web応用システム / インターネット高度化 / Real-time Systems / Communicating Processes / Embedded Systems / Software Reliability / Code Generation / Reactive System / Timed Automata / π計算 / プロセス代数 / 実時間振舞いモデル / XML / ミドルウェアデータベース / ミドルウェア / Java / 実時間並行ソフトウェア / モデル検査 / XMLドキュメント / 実時間システム / 通信プロセスモデル / 組み込みシステム / ソフトウェア信頼性 / コード生成 / リアクティブシステム / 時間オートマトン / Reuse Environment / Reuse / Dependency Analysis / Function Dependency Graph / Idiom / Program Pattern / プログラム部品 / CASEツール / 関数依存グラフ / 開発環境 / 再利用環境 / 再利用支援 / 関数呼出依存グラフ / イディオム / program pattern / dependency analysis / specializer / slicer / browser / software recycle / Specializer / Slicer / Browser / ソフトウェアリサイクル / software document / optimize / simulation / realtime system / embedded system / ソフトウェア文書 / 最適化 / シミュレーション / リアルタイムシステム / 組込みシステム / software parts database / software reuse / similarity of specification / retrieval of specification / formal specification / 検索 / 類似性 / 代数的仕様 / 部品データベース / ソフトウェア部品 / ソフトウェアの再利用 / ソフトウェア部品データベース / 仕様の類似性 / 仕様の検索 / 形式的仕様 / コードスニペット / ソフトウェア再利用 / コードマイニング / Web応用プログラム / 通信指向プログラミング / プログラム解析 / コレオグラフィー / Webサービス 隠す
  • 研究課題

    (9件)
  • 研究成果

    (4件)
  • 共同研究者

    (14人)
  •  高信頼Webサービスウェアの効率的な開発手法

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      名古屋大学
  •  代数的仕様を用いたソフトウェアの移植支援の研究研究代表者

    • 研究代表者
      濱口 毅
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      名古屋大学
  •  Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      名古屋大学
  •  高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  関数依存グラフを用いたプログラム分類と再利用環境に関する研究

    • 研究代表者
      山本 晋一郎
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      愛知県立大学
  •  ソフトウェアリサイクル支援環境の研究-Browser,Slicer,Specializerの設計と開発-

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  代数的メタプログラミングに関する基礎的研究研究代表者

    • 研究代表者
      濱口 毅
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  機器組込み型ソフトウェア開発のための設計・検証システムの構築

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1996 – 1998
    • 研究種目
      基盤研究(B)
    • 研究分野
      情報システム学(含情報図書館学)
    • 研究機関
      名古屋大学
  •  仕様の意味的類似性判定とそのソフトウェア自動合成への応用に関する研究

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学

すべて 2012 2011 2010

すべて 雑誌論文 学会発表

  • [雑誌論文] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2011

    • 著者名/発表者名
      濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
    • 雑誌名

      情報処理学会論文誌(トランザクション)プログラミング

      巻: Vol.4 No.1 ページ: 13-30

    • NAID

      110008616674

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2010

    • 著者名/発表者名
      濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
    • 雑誌名

      情報処理学会論文誌(トランザクション)プログラミング Vol.4, No.2,

      ページ: 13-30

    • NAID

      110008616674

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Proving Termination of Functional Programs with Exception Handling2012

    • 著者名/発表者名
      Takeshi Hamaguchi
    • 学会等名
      36th TRS Meeting
    • 発表場所
      Matsue, Japan
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2010

    • 著者名/発表者名
      濱口毅、酒井正彦、馬場正貴、阿草清滋
    • 学会等名
      情報処理学会 第81回プログラミング研究発表会
    • 発表場所
      高知
    • 年月日
      2010-10-28
    • データソース
      KAKENHI-PROJECT-20300009
  • 1.  阿草 清滋 (90026360)
    共同の研究課題数: 7件
    共同の研究成果数: 3件
  • 2.  山本 晋一郎 (40240098)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 3.  結縁 祥治 (70230612)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 4.  小林 隆志 (50345386)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  酒井 正彦 (50215597)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  河口 信夫 (10273286)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  稲垣 康善 (10023079)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  坂部 俊樹 (60111829)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  大久保 弘崇 (40295580)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  粕谷 英人 (10295579)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  吉田 敦 (50283495)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  馮 速 (90262881)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  手嶋 茂晴
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  手嶋 重晴
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi