• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

HAMAGUCHI Takeshi  濱口 毅

ORCIDConnect your ORCID iD *help
… Alternative Names

濱口 毅  ハマグチ タケシ

Less
Researcher Number 90273284
Other IDs
External Links
Affiliation (Current) 2025: 名古屋大学, 情報学研究科, 助教
Affiliation (based on the past Project Information) *help 2007 – 2011: Nagoya University, Graduate School of Information Saence, Assistant Professor
2006: 名古屋大学, 大学院情報科学研究科(工学部), 助手
2005 – 2006: 名古屋大学, 大学院・情報科学研究科, 助手
2005: 名古屋大学, 大学院情報科学研究科, 助手
2004: Nagoya University, Graduate School of Information Science, Assistant Professor, 情報科学研究科, 助手 … More
2003: 名古屋大学, 大学院・情報科学研究科, 助手
2002: 名古屋大学, 工学研究科, 助手
2001: 名古屋大学, 大学院・工学研究科, 助手
2000: School of Engineering, Nagoya University, Research Associate, 工学研究科, 助手
1998 – 1999: Center for Information Media Studies, Research Associate, 情報メディア教育センター, 助手
1997: 名古屋大学, 大学院・工学研究科, 助手
1997: Nagoya University, School of Engineering, Research Associate, 工学研究科, 助手
1996: 名古屋大学, 工学部, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Software
Except Principal Investigator
計算機科学 / Software / 情報システム学(含情報図書館学)
Keywords
Principal Investigator
代数的仕様 / cover set induction / inductive theory / algebraic specification / verification / concurrent computation / term rewriting system / rewriting computation / meta computation / 被覆集合帰納法 … More / 帰納的定理 / 検証 / 並行計算 / 項書換え系 / 書換え計算 / メタ計算 / ライブラリ / プラットフォーム / 代数的仕様記述 / ソフトウェア開発 / ソフトウェア移植 … More
Except Principal Investigator
依存解析 / 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サービス Less
  • Research Projects

    (9 results)
  • Research Products

    (4 results)
  • Co-Researchers

    (14 People)
  •  A Development Method for Dependable WebService-ware

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  代数的仕様を用いたソフトウェアの移植支援の研究Principal Investigator

    • Principal Investigator
      濱口 毅
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Semantic Refacteting Techniqus for Round-trip development of Web applications

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Software Models for Building Reliable Reactive Middle-ware

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Research on Classification of Programs and Reuse Environment based on Function Dependency Graph

    • Principal Investigator
      YAMAMOTO Shinichirou
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Aichi Prefectural University
  •  Research on Software Recycle Environment -Design and Implementation of Browser, Slicer, and Specializer-

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Fundamental research on algebraic meta-programmingPrincipal Investigator

    • Principal Investigator
      HAMAGUCHI Takeshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Computer Aided Software Design and Verification for Embedded System

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      Nagoya University
  •  Semantic Similarity of Specification and its Application to Software Automatic Composition

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University

All 2012 2011 2010

All Journal Article Presentation

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

    • Author(s)
      濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
    • Journal Title

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

      Volume: Vol.4 No.1 Pages: 13-30

    • NAID

      110008616674

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2010

    • Author(s)
      濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
    • Journal Title

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

      Pages: 13-30

    • NAID

      110008616674

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Proving Termination of Functional Programs with Exception Handling2012

    • Author(s)
      Takeshi Hamaguchi
    • Organizer
      36th TRS Meeting
    • Place of Presentation
      Matsue, Japan
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2010

    • Author(s)
      濱口毅、酒井正彦、馬場正貴、阿草清滋
    • Organizer
      情報処理学会 第81回プログラミング研究発表会
    • Place of Presentation
      高知
    • Year and Date
      2010-10-28
    • Data Source
      KAKENHI-PROJECT-20300009
  • 1.  AGUSA Kiyoshi (90026360)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 3 results
  • 2.  YAMAMOTO Shinichirou (40240098)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 3.  YUEN Shoji (70230612)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 4.  KOBAYASHI Takashi (50345386)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  SAKAI Masahiko (50215597)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  KAWAGUCHI Nobuo (10273286)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  INAGAKI Yasuyoshi (10023079)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  SAKABE Toshiki (60111829)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  OHKUBO Hirotaka (40295580)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  KASUYA Hideto (10295579)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  YOSHIDA Atsushi (50283495)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  馮 速 (90262881)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  TESHIMA Shigeharu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  手嶋 重晴
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi