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

AGUSA Kiyoshi  阿草 清滋

ORCIDConnect your ORCID iD *help
… Alternative Names

阿草 清慈  アグサ キヨシ

阿草 清磁  アグサ キヨシ

阿草 清滋

Less
Researcher Number 90026360
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2012 – 2016: 京都大学, 学術情報メディアセンター, 研究員
2011: 名古屋大学, 情報科学研究科, 教授
2005 – 2011: 名古屋大学, 大学院・情報科学研究科, 教授
2004: Nagoya University, Graduate School of Information Science, Professor, 情報科学研究科, 教授
2003: 名古屋大学, 大学院・情報科学研究科, 教授 … More
2002: 名古屋大学, 工学研究科, 教授
2000: School of Engineering, Nagoya University, Professor, 工学研究科, 教授
1999 – 2000: Nagoya University, Graduate School of Engineering, Professor, 大学院・工学研究科, 教授
1998 – 1999: Center for Information Media Studies, Professor, 情報メディア教育センター, 教授
1997: 名古屋大学, 大学院・工学研究科, 教授
1997: Nagoya University, School of Engineering, Professor, 工学研究科, 教授
1995 – 1996: 名古屋大学, 工学部, 教授
1989 – 1992: Nagoya Univ., Fac. of Eng., Prof., 工学部, 教授
1987 – 1988: Associate Professor, Faculty of Engineering, Kyoto University, 工学部, 助教授
1984: 京都大学, 工学部, 助教授
1983: 京都大学, 工学部, 講師 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Software / Informatics / 情報システム学(含情報図書館学)
Except Principal Investigator
計算機科学 / Informatics / 無機工業化学 / 計算機工学 / 情報システム学(含情報図書館学)
Keywords
Principal Investigator
KJ法 / 形式的仕様 / Webアプリケーション / 依存解析 / ソフトウェアリポジトリ / ソフトウェア部品 / ソフトウェア工学 / 部品データベース / ソフトウェア開発支援 / 項書換え系 … More / 代数的仕様 / 仕様直接実行 / 仕様デ-タベ-ス / 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ドキュメント / 実時間システム / 通信プロセスモデル / 組み込みシステム / ソフトウェア信頼性 / コード生成 / リアクティブシステム / 時間オートマトン / program pattern / dependency analysis / specializer / slicer / browser / software recycle / プログラムパターン / Specializer / Slicer / Browser / ソフトウェアリサイクル / method engineering / software pipelining / distributed software development / step-wise refinement / fine-grained repository / 構造的発展 / 漸増的ソフトウェア設計 / 波及解析 / プログラム・パターン / 構造的仕様化技法 / ソフトウェア発展 / メソッドエンジニアリング / ソフトウェアパイプライニング / 分散ソフトウェア開発 / 段階的詳細化 / 細粒度リポジトリ / software document / optimize / simulation / realtime system / embedded system / ソフトウェア文書 / 最適化 / シミュレーション / リアルタイムシステム / 組込みシステム / software parts database / software reuse / similarity of specification / retrieval of specification / formal specification / 検索 / 類似性 / ソフトウェアの再利用 / ソフトウェア部品データベース / 再利用 / 仕様の類似性 / 仕様の検索 / Program transformation / Customization / Metaーprogramming / Automatic program generation / Software parts / Programming reusing / カスタマイゼ-ション / ソフトウェア仕様 / メタプログラム / プラグラム自動生成 / プログラム変換 / カスタマイズ / メタプログラミング / プログラム自動生成 / プログラム部品 / プログラム再利用 / 開発活動履歴解析 / トレーサビリティ管理 / 構成管理 / 多品種並行開発 / 多品種同時開発 / トレーサビリティ / ソフトウェア保守 / ソフトウェア構成管理 / コードスニペット / ソフトウェア再利用 / コードマイニング / Web応用プログラム / 通信指向プログラミング / プログラム解析 / コレオグラフィー / Webサービス / 「対話的知識獲得」 / 上流工程 / ソフトウェアの自動化 / ソフトウェア発想機構 / 並行プロセス / 自由知識獲得 / コミュニケ-ション技法 … More
Except Principal Investigator
Superconductor films / Zeolites / Molecular dynamics / Simulation / Computer graphics / Computer / Molecular design / Inoganic materials / シミュレーション / コンピュータ・グラフィックス / コンピュータ / 超伝導薄膜 / ゼオライト / 分子動力学 / シミュレ-ション / コンピュ-タ・グラフィックス / コンピュ-タ / 分子設計 / 無機材料 / Correspondence Problem / Stereo Image / Distributed Processing Environment / Image Processing Library / Shared Memory / Loosely Coupled Parallel Processing System / Tightly Coupled Parallel Processing System / Parallel Processing Algorithm / コンピュータビジョン / 実時間処理 / アルゴリズム統合 / 並列計算機 / 並列処理 / 画像理解 / 対応探索法 / ステレオ画像 / 分散処理環境 / 画像処理ライブラリ / 共有メモリ / 粗結合型並列計算機 / 密結合型並列計算機 / 並列処理アルゴリズム / Software Productibity / Sofrware Desigh with Good quality / Definition of Software Requitements / Definition of Requirements Specification / ソフトウェア工学 / ソフトウェア生産性 / ソフトウェア開発 / 高品質ソフトウェア設計 / ソフトウェア仕様定義 / 要求仕様定義 / Expert Systems / Programming Environment / Object Oriented Languages / Software Reusing / ソフトウェアの再利用 / オブジェクト指向言語 / オブジェクト指向プログラミング / ライブラリ検索 / エキスパートシステム / プログラミング環境 / オブジェクト指向型言語 / ソフトウエアの再利用 / adaptive reconstruction / environment for evolution / methodologies for evolution / mechanisms of evolution / principles for evolution / ソフトウエア構築再構成方法論 / ソフトウェア構築再構成方法論 / 発展的ソフトウェア検証証明法 / ソフトウェア適応的再構成 / ソフトウェア方式 / ソフトウェア発展方法論 / ソフトウェア発展基本機構 / ソフトウェア発展構成原理 / cover set induction / inductive theory / algebraic specification / verification / concurrent computation / term rewriting system / rewriting computation / meta computation / 被覆集合帰納法 / 帰納的定理 / 代数的仕様 / 検証 / 並行計算 / 項書換え系 / 書換え計算 / メタ計算 / formal model / agent / network environment / network protocol / software process / hypergeometric distribution model / LOTOS specification / requirement acquistion / 実時間並行プロセスモデル / 進捗モデル / ソフトウェア文書 / 形式モデル / エージェント / ネットワーク環境 / ソフトウェアプロセス / LOTOS仕様 / 超幾何分布モデル / ソフトウェア信頼性モデル / 要求獲得 / multi-media / full-text search / information retrieval / Internet / library / virtual library / electronic library / digital library / 仮想図書館 / マルチメディア / 全文検索 / 情報検索 / インターネット / 図書館 / 電子図書館 / ディジタル図書館 / ソフトウェア構築方法論 / ソフトウェア進化 / ソフトウェア発展 Less
  • Research Projects

    (22 results)
  • Research Products

    (133 results)
  • Co-Researchers

    (43 People)
  •  Multi-variant development management method based on variant life cycle modelPrincipal Investigator

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyoto University
  •  A Development Method for Dependable WebService-warePrincipal Investigator

    • 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
  •  Semantic Refacteting Techniqus for Round-trip development of Web applicationsPrincipal Investigator

    • 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-warePrincipal Investigator

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Principles for Constructing Evolutionary Software

    • Principal Investigator
      KATAYAMA Takuya
    • Project Period (FY)
      2000
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Research on Software Recycle Environment -Design and Implementation of Browser, Slicer, and Specializer-Principal Investigator

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Research on Mechanism and Methodology for Software EvolutionPrincipal Investigator

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  発展機構を備えたソフトウェアの構成原理にかかわる総合研究

    • Principal Investigator
      KATAYAMA Takuya
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Fundamental Study on Distributed and Cooperative Software Development in Very High Speed Network Environment

    • Principal Investigator
      INAGAKI Yasuyoshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Fundamental research on algebraic meta-programming

    • 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 SystemPrincipal Investigator

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      Nagoya University
  •  DIGITAL LIBRARIES AND THEIR NETWORK

    • Principal Investigator
      TABATA Koichi
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      UNIVERSITY OF LIBRARY AND INFORMATION SCIENCE
  •  Semantic Similarity of Specification and its Application to Software Automatic CompositionPrincipal Investigator

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  ソフトウェア構成法における発想機構の研究Principal Investigator

    • Principal Investigator
      阿草 清滋
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  ソフトウェア構成法における発想機構の研究Principal Investigator

    • Principal Investigator
      阿草 清滋
    • Project Period (FY)
      1991 – 1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  ソフトウェア構成法における発想機構の研究Principal Investigator

    • Principal Investigator
      阿草 清滋
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  Fundamental Researches on Meta-ProgrammingPrincipal Investigator

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Nagoya Univ.
  •  A Fundamental Study on the Molecular Design of Inorganic Materials

    • Principal Investigator
      MIYAMOTO Akira
    • Project Period (FY)
      1988 – 1989
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      無機工業化学
    • Research Institution
      KYOTO UNIVERSITY
  •  PARALLEL PROCESSING OF IMAGE UNDERSTANDING ALGORITHMS

    • Principal Investigator
      IKEDA Katsuo
    • Project Period (FY)
      1987 – 1989
    • Research Category
      Grant-in-Aid for General Scientific Research (A)
    • Research Field
      計算機工学
    • Research Institution
      KYOTO UNIVERSITY
      University of Tsukuba
  •  Research on Object Oriented Programming System for Reusing Classes

    • Principal Investigator
      OHNO Yutaka
    • Project Period (FY)
      1986 – 1987
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      Informatics
    • Research Institution
      Kyoto University
  •  Development of sofrware Requirements Definition Environment on the basis of Requirments Frame Model

    • Principal Investigator
      OHNO Yutaka
    • Project Period (FY)
      1986 – 1987
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      Informatics
    • Research Institution
      Kyoto University
  •  関数的体系に基くソフトウェアの自動的設計に関する研究Principal Investigator

    • Principal Investigator
      阿草 清滋
    • Project Period (FY)
      1983 – 1984
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Kyoto University

All 2016 2015 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Patent

  • [Journal Article] ソフトウェア開発支援基盤のためのソースプログラムの XML表現 ソフトウェア開発支援基盤のためのソースプログラムの XML表現2013

    • Author(s)
      渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋
    • Journal Title

      電子情報通信学会論文誌

      Volume: J96-D Pages: 2681-2691

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Journal Article] Reticella : An Execution Trace Slicing and Visualization Tool based on a Behavior Model2012

    • Author(s)
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Motoshi Saeki, Kiyoshi Agusa
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol.E95-D, No.4 Pages: 959-969

    • NAID

      10030941849

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] CX-Checker :柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ2012

    • Author(s)
      大須賀俊憲, 小林隆志, 渥美紀寿, 間瀬順一, 山本晋一郎, 鈴村延保, 阿草清滋
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.53 No.2 Pages: 590-600

    • NAID

      110008767164

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [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] Session Type Inference in Haskell2011

    • Author(s)
      Keigo Imai, Shoji Yuen, and Kiyoshi Agusa
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: Vol.69 Pages: 74-91

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] OJL:産学連携による新しい人材育成の試み(特集高度IT人材育成の軌跡)2011

    • Author(s)
      阿草清滋
    • Journal Title

      情報処理

      Volume: 52(10) Pages: 1254-12570

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] Session type inference in Haskell2011

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Post-proceedings of PLACES10, EPTCS 2011 (採録決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] On the Job Learning :産学連携による新しいソフトウェア工学教育手法2010

    • Author(s)
      小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
    • Journal Title

      情報システム学会誌

      Volume: Vol.5 No.2 Pages: 32-45

    • NAID

      110007358930

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] JavaScriptソースコードリポジトリを用いた代替コード発見2010

    • Author(s)
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • Journal Title

      コンピュータソフトウェア 27(2)

      Pages: 129-134

    • NAID

      130004549168

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] Java Scriptソースコードリポジトリを用いた代替コード発見2010

    • Author(s)
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • Journal Title

      コンピュータソフトウェア

      Volume: 27(2) Pages: 129-134

    • NAID

      130004549168

    • 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
  • [Journal Article] On the Job Learning:産学連携による新しいソフトウェア工学教育手法2010

    • Author(s)
      小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
    • Journal Title

      情報システム学会誌

      Volume: 5(2) Pages: 32-45

    • NAID

      110007358930

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] 多粒度な可視化によるソフトウェア理解支援2010

    • Author(s)
      上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • Journal Title

      コンピュータソフトウェア

      Volume: Vol.27 No.2 Pages: 116-121

    • NAID

      130004549166

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] JavaScriptソースコードリポジトリを用いた代替コード発見2010

    • Author(s)
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • Journal Title

      コンピュータソフトウェア

      Volume: Vol.27 No.2 Pages: 129-134

    • NAID

      130004549168

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] テスト実行に基づくコンポーネント検索2008

    • Author(s)
      安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
    • Journal Title

      コンピュータソフトウェア vol. 25, no. 3

      Pages: 194-207

    • NAID

      130004549114

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] 特集情報専門学科カリキュラム標準J07ソフトウェアエンジニアリング領域(J07-SE)2008

    • Author(s)
      阿草清滋, 西康晴, 沢田篤史, 鷲崎弘宣
    • Journal Title

      情報処理学会論文誌 vol. 49, no. 7

      Pages: 743-749

    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] テスト実行に基づくコンポーネント検索2008

    • Author(s)
      安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
    • Journal Title

      コンピュータソフトウェア

      Volume: vol.25 No.3 Pages: 194-207

    • NAID

      130004549114

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] A Deadlock free analysis for AIBO OPEN-R Programs based on Communicating Processes2007

    • Author(s)
      Ryo, Suetsugu, Shoji, Yuen, Kiyoshi, Agusa
    • Journal Title

      IPSJ Journal Vol.48

      Pages: 2915-2924

    • NAID

      110006422972

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法2007

    • Author(s)
      末次亮、結縁祥治、阿草清滋
    • Journal Title

      情報処理学会論文誌 48

      Pages: 2915-2924

    • NAID

      110006422972

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] 高信頼Webアプリケーションのためのページ生成プログラムのテスト手法2007

    • Author(s)
      渥美紀寿, 桑原寛明, 金子伸幸, 山本晋一郎, 阿草清滋
    • Journal Title

      コンピュータソフトウェア 24

      Pages: 153-164

    • NAID

      130004549084

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] A Testing Medthod of Page Generators for Dependable Web Application2007

    • Author(s)
      Noritoshi, Atsumi, Hiroaki, Kuwabara, Kiyoshi, Agusa, Shinichiro, Yamamoto
    • Journal Title

      Computer Software Vol.24

      Pages: 153-164

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] 関心の分離に基づくコンテンツ制御フレームワーク2006

    • Author(s)
      飯田 恵大, 金子 伸幸, 山本 晋一郎, 結縁 祥治, 阿草 清滋
    • Journal Title

      ソフトウェア工学の基礎ワークショップFOSE2006 XIII

      Pages: 119-124

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] コレオグラフィ記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • Author(s)
      バンダリさくら, 結縁祥治, 阿草清滋
    • Journal Title

      第4回ディペンダブルソフトウェアワークショップDSW 2006-2 論文集

      Pages: 11-20

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] テスト実行に基づくコンポーネント検索手法2006

    • Author(s)
      安藤 恭平, 金子 伸幸, 山本 晋一郎, 阿草 清滋
    • Journal Title

      ソフトウェア工学の基礎ワークショップFOSE2006 XIII

      Pages: 147-156

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Web抽象プログラムを用いたリファクタリング2006

    • Author(s)
      伊藤 崇, 金子 伸幸, 山本 晋一郎, 阿草 清滋
    • Journal Title

      情報処理学会研究報告 2006-SE-151

      Pages: 121-128

    • NAID

      110004687085

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Webフレームワークを使った開発における単体テスト自動化手法2006

    • Author(s)
      並河 英二, 森川 和明, 山本 晋一郎, 阿草 清滋
    • Journal Title

      第4回ディペンダブルソフトウェアワークショップDSW 2006-2 論文集

      Pages: 21-30

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Javaプログラム理解支援のための不変性解析2006

    • Author(s)
      水野良太, 桑原寛明, 山本晋一郎, 阿草清滋
    • Journal Title

      情報処理学会研究報告 ソフトウェアエンジニアリング SE-152・48

      Pages: 33-40

    • NAID

      110004849400

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Web 2.0 時代のプログラミングスタイル2006

    • Author(s)
      金子 伸幸, 末次 亮, 山本 晋一郎, 阿草 清滋
    • Journal Title

      WebSDE(in conjunction with ASE2006)

      Pages: 1-2

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Supporting Quality Assurance of Client Web Applications: Identifying and Addressing the Challenges2005

    • Author(s)
      Md. Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Journal of Web Engineering 4

      Pages: 144-164

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Supporting Quality Assurance of Client Web Applications : Identifying and Addressing the Challenges2005

    • Author(s)
      Md. Sharaf, Aun, Shoji, Yuen, Kiyoshi, Agusa
    • Journal Title

      Journal of Web Engineering Vol.4

      Pages: 144-164

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] コンポーネント組み合わせ型のwebアプリケーション開発支援2005

    • Author(s)
      金子 伸幸, 中元 秀明, 阿草 清滋, 小川 義明
    • Journal Title

      ソフトウェア工学の基礎 XII

      Pages: 189-194

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] XML記述によるソフトウェアリポジトリを用いたコード検索2005

    • Author(s)
      渥美 紀寿, 山本 晋一郎, 阿草 清滋
    • Journal Title

      情報処理学会研究報告 2005-SE-149

      Pages: 57-64

    • NAID

      110002952427

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Congruence Properties for a Timed Extension of the π-Calculus2005

    • Author(s)
      Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Supplemental Volume of the 2005 International Conference on Dependable Systems & Networks DSN2005

      Pages: 207-214

    • NAID

      110007380427

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Webアプリケーションにおけるデータ依存グラフ2005

    • Author(s)
      黒川 翔, 桑原 寛明, 山本 晋一郎, 阿草 清滋
    • Journal Title

      ソフトウェア工学の基礎 XII

      Pages: 237-246

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル2005

    • Author(s)
      松塚貴英、阿草清滋、山本晋一郎
    • Journal Title

      情報処理学会論文誌 46

      Pages: 1145-1154

    • NAID

      110002768620

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] イディオム検索のための関数呼出依存グラフのクラスタリング手法2005

    • Author(s)
      渥美 紀寿, 山本 晋一郎, 阿草 清滋
    • Journal Title

      電子情報通信学会論文誌 Vol.J88-D-I

      Pages: 1696-1707

    • NAID

      110004018410

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] A Semantic Model for Round-trip Engineering of Web Applications2005

    • Author(s)
      Takahide, Matsuzuka, Kiyoshi, Agusa, Shinirhiro, Yamamoto
    • Journal Title

      IPSJ Journal Vol.45

      Pages: 1145-1154

    • NAID

      110002768620

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Name-passing style GUI Programming in a π calculus based language Nepi2004

    • Author(s)
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, K.Agusa, S.Yuen
    • Journal Title

      In Proceedings of ARTS2004, Technical Reprot No.2004/28,University of Leicester 2004/28(ENTCS採録決定、印刷中)

      Pages: 49-66

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] FCDGに基づいたコーディングパターン2004

    • Author(s)
      渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋
    • Journal Title

      コンピューターソフトウェア Vol.21, No.4

      Pages: 27-36

    • NAID

      130004549019

    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] 時間オートマンの遷移制約記述に基づくAIBOプログラムスケルトンコードの生成手法2004

    • Author(s)
      末次亮, 結縁祥治, 阿草清滋
    • Journal Title

      組込みソフトウェアシンポジウム

      Pages: 126-133

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Software Engineering Evolution2004

    • Author(s)
      Kiyoshi Agusa
    • Journal Title

      Proceedings of the Workshop on Principles of Software Evolution IWPSE2004

      Pages: 3-8

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Software and Design(Keynote Speech, ESS2004)2004

    • Author(s)
      Kiyoshi Agusa
    • Journal Title

      Proceedings of Embedded System Symposium 2004

      Pages: 2-5

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Software Engineering Evolution2004

    • Author(s)
      Kiyoshi Agusa
    • Journal Title

      Proceedings 7^<th> International Workshop on Principles of Software Evolution

      Pages: 3-8

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Coding Patterns based on Function Call Dependency Graphs2004

    • Author(s)
      N.Atsumi, S.Yamamoto, S.Yuen, K.Agusa
    • Journal Title

      Computer Software Vol.21 No.4

      Pages: 27-36

    • NAID

      110003743171

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] ソフトウェア(の×)とデザイン2004

    • Author(s)
      阿草清滋
    • Journal Title

      組込みソフトウェアシンポジウム

      Pages: 2-5

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述2004

    • Author(s)
      桑原寛明, 結縁祥治, 阿草清滋
    • Journal Title

      情報処理学会論文誌 Vol.45, No.6

      Pages: 1498-1507

    • NAID

      110002712200

    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] FCDGに基づいたコーディングパターン2004

    • Author(s)
      渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋
    • Journal Title

      コンピューターソフトウェア Vol.21,No.4

      Pages: 27-36

    • NAID

      130004549019

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] An AIBO Program Skeleton Code Generation Based on Transition Constraint Description of Timed Automata2004

    • Author(s)
      R.Suetsugu, S.Yuen, K-Agusa
    • Journal Title

      Proceedings of Embedded System Symposium 2004(ESS2004)

      Pages: 126-133

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] A Formal Description of a Real-time Object-Oriented Language by the π calculus with Time2004

    • Author(s)
      H.Kuwabara, S.Yuen, K.Agusa
    • Journal Title

      Journal of IPSJ Vol.45, No.6

      Pages: 1497-1507

    • NAID

      110002712200

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Name-passing style GUI Programming in a π calculus based language Nepi2004

    • Author(s)
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, K.Agusa, S.Yuen
    • Journal Title

      Proceedings of ARTS2004, Technical Reprot No.2004/28(University of Leicester)(Further revised version will apper in ENTCS)

      Pages: 49-66

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述2004

    • Author(s)
      桑原寛明, 結縁祥治, 阿草清滋
    • Journal Title

      情報処理学会論文誌 Vol.45,No.6

      Pages: 1498-1507

    • NAID

      110002712200

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] A session type system with subject reduction

    • Author(s)
      Keigo Imai, Syoji Yuen, Kiyoshi. Agusa
    • Journal Title

      IEICE Transaction

    • NAID

      10031126714

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Patent] ウィジェット操作方法、装置、プログラムおよびこのプログラムを記録した記録媒体2004

    • Inventor(s)
      真野 健, 河辺 義信, 水野 敦, 桑原 寛明, 結縁 祥治, 阿草 清滋
    • Industrial Property Rights Holder
      真野 健, 河辺 義信, 水野 敦, 桑原 寛明, 結縁 祥, 阿草 清滋
    • Industrial Property Number
      2004-165578
    • Filing Date
      2004-06-03
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Presentation] データ構造と関数定義に着目したプログラミング学習者用テストケース評価記述方法の提案2016

    • Author(s)
      小林 悟, 蜂巣 吉成, 吉田 敦, 阿草 清滋
    • Organizer
      第 23 回ソフトウェア工学の基礎ワークショップ FOSE2016
    • Place of Presentation
      香川県琴平町
    • Year and Date
      2016-12-03
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] バリアントコードの改変履歴に基づく前処理条件の構造に関する特徴調査2016

    • Author(s)
      今西 洋二, 渥美 紀寿, 森崎 修司, 山本 修一郎, 阿草 清滋
    • Organizer
      第 23 回ソフトウェア工学の基礎ワークショップ FOSE2016
    • Place of Presentation
      香川県琴平町
    • Year and Date
      2016-12-03
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] 前処理命令の制御構造とその構造内のコード改変に関する調査2016

    • Author(s)
      今西 洋二,渥美 紀寿,森崎 修司,山本 修一郎,阿草 清滋
    • Organizer
      第191回ソフトウェア工学研究発表会
    • Place of Presentation
      大阪大学 (大阪府吹田市)
    • Year and Date
      2016-03-14
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] ウェブアプリケーション開発のためのPHP オンライン部分評価器の試作2016

    • Author(s)
      吉田 敦, 蜂巣 吉成, 阿草 清滋
    • Organizer
      第 23 回ソフトウェア工学の基礎ワークショップ FOSE2016
    • Place of Presentation
      香川県琴平町
    • Year and Date
      2016-12-03
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] 命令型プログラミング言語における初学者向け動作理解支援ツールの提案2015

    • Author(s)
      蜂巣吉成,吉田敦,阿草清滋
    • Organizer
      第22回 ソフトウェア工学の基礎ワークショップ (FOSE 2015)
    • Place of Presentation
      滝の湯(山形県 天童市)
    • Year and Date
      2015-11-26
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル2013

    • Author(s)
      丸岡寛典, 小林隆志, 阿草清滋
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      志賀島休暇村(福岡県)
    • Year and Date
      2013-03-06
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] データ依存の伝播確率に基づく欠陥箇所特定支援2013

    • Author(s)
      村松沙那恵, 小林隆志, 渥美紀寿, 阿草清滋
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      志賀島休暇村(福岡県)
    • Year and Date
      2013-03-06
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて2013

    • Author(s)
      高井康勢, 渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      志賀島休暇村(福岡県)
    • Year and Date
      2013-03-06
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] プリプロセス命令の制御構造を利用したフィーチャ2013

    • Author(s)
      渥美紀寿, 小林隆志, 阿草清滋
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      石垣市民会館(沖縄県)
    • Year and Date
      2013-01-10
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] Finding Cross-browser JavaScript Codes using Sequential Pattern Mining2012

    • Author(s)
      T. Fujitani , T. Kobayashi, N. Atsumi, K. Agusa
    • Organizer
      10th Joint Conference on Knowledge-Based Software Engineering
    • Place of Presentation
      Rodos Palace Hotel(ギリシャ)
    • Year and Date
      2012-08-23
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] Execution Trace Abstraction based on Meta Patterns Usage2012

    • Author(s)
      Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa
    • Organizer
      19th Working Conference on Reverse Engineering
    • Place of Presentation
      Radisson Hotel Kingston (カナダ)
    • Year and Date
      2012-10-16
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] Interaction Histories Mining for Software Change Guide2012

    • Author(s)
      Takashi Kobayashi, Nozomu Kato, Kiyoshi Agusa
    • Organizer
      3rd International Workshop on Recommendation Systems for Software Engineering
    • Place of Presentation
      University of Zurich (スイス)
    • Year and Date
      2012-06-04
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール2011

    • Author(s)
      野田訓広, 小林隆志, 阿草清滋
    • Organizer
      メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
    • Place of Presentation
      東京
    • Year and Date
      2011-03-15
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] An XML C Source Code Interchange Format for CASE Tools2011

    • Author(s)
      Noritoshi Atsumi, Shinichiro Yamamoto, Takashi Kobayashi, Kiyoshi Agusa
    • Organizer
      the IEEE Signature Conference on Computers 2011, Software, and ApplicationsMunich
    • Place of Presentation
      Germany
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール2011

    • Author(s)
      野田訓広, 小林隆志, 阿草清滋
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      東京
    • Year and Date
      2011-03-15
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Preliminary Assessment of Software Metrics based on Coding Standards Violations2011

    • Author(s)
      Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
    • Organizer
      Joint Workshop on Software Science and Engineering(IEICE Technical Report No.IEICE-SS2011-12)
    • Place of Presentation
      Seoul, Korea
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] ファイルアクセス履歴から抽出した参照関係に基づくファイル検索手法2011

    • Author(s)
      山下訓昭,小林隆志,横田治夫,阿草清滋
    • Organizer
      第4回Webとデータベースに関するフォーラム
    • Place of Presentation
      東京
    • Year and Date
      2011-11-04
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 変更支援のための成果物アクセス履歴マイニング2011

    • Author(s)
      加藤希, 小林隆志, 阿草清滋
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      沖縄
    • Year and Date
      2011-03-07
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Software Metrics based on Coding Standards Violations2011

    • Author(s)
      Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
    • Organizer
      the Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement(IWSM/MENSURA2011)
    • Place of Presentation
      Nara, Japan
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] An XML Representation of Preprocessed Code for Static Analysis2011

    • Author(s)
      Noritoshi Atsumi, Mitsuaki Oba, Takashi Kobayashi, Shinichiro Yamamoto and Kiyoshi Agusa
    • Organizer
      IEEE 22nd annual International Symposium on Software Reliability Engineering(ISSRE 2011)
    • Place of Presentation
      Hiroshima, Japan
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Session Type Inference in Haskell2010

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Organizer
      PLACES '10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • Place of Presentation
      Coral Beach Hotel(Paphos, Cyprus)
    • Year and Date
      2010-03-21
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 極性をもたないセッション型システム2010

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • Place of Presentation
      琴参閣(香川県)
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法2010

    • Author(s)
      渥美紀寿,谷聡貴,大塚直也,小林隆志,山本晋一郎,阿草清滋
    • Organizer
      第17回ソフトウェア工学の基礎ワークショップFOSE2010
    • Place of Presentation
      新潟
    • Year and Date
      2010-11-17
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Finding Alternate Javascript Codes with a Code Repository2010

    • Author(s)
      Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
    • Organizer
      the IASTED International Conference on Software Engineering 2010
    • Place of Presentation
      Innsburk, Austria
    • Year and Date
      2010-02-17
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 極性をもたないセッション型システム2010

    • Author(s)
      今井敬吾,結縁祥治,阿草清滋
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • Place of Presentation
      香川
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] トレースに基づくデバッグにおける欠陥箇所発見支援手法2010

    • Author(s)
      上原伸介,小林隆志,渥美紀寿,山本晋一郎,阿草清滋
    • Organizer
      第17回ソフトウェア工学の基礎ワークショップFOSE2010
    • Place of Presentation
      新潟
    • Year and Date
      2010-11-17
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Finding Alternate Javascript Codes with a Code Repository2010

    • Author(s)
      Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
    • Organizer
      the IASTED International Conference on Software Engineering 2010
    • Place of Presentation
      Congress Innsbruck(Innsbruck, Austria)
    • Year and Date
      2010-02-17
    • 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
  • [Presentation] CASEツール・プラットフォームのためのCソースプログラムのXML表現とその応用2010

    • Author(s)
      渥美紀寿,山本晋一郎,小林隆志,阿草清滋
    • Organizer
      ソフトウェアシンポジウム2010
    • Place of Presentation
      東京
    • Year and Date
      2010-09-01
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Session Type Inference in Haskell2010

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      PLACES' 10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • Place of Presentation
      Paphos, Cyprus
    • Year and Date
      2010-03-21
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 構文木の構造とラペルの類似性に基づくコードスニペット抽出2009

    • Author(s)
      大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • Organizer
      ウインターワークショップ2009・イン・宮崎
    • Place of Presentation
      宮崎 宮崎市民プラザ/宮崎観光ホテル
    • Year and Date
      2009-01-23
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] A Full Implementation of Session Types2009

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • Place of Presentation
      岐阜高山グリーンホテル
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Sequence Diagram Slicing2009

    • Author(s)
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
    • Organizer
      Asia-Pacific Software Engineering Conference(APSEC)2009
    • Place of Presentation
      Bayview Beach Resort(Penang, Malaysia)
    • Year and Date
      2009-12-01
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 多粒度な可視化によるソフトウェア理解支援2009

    • Author(s)
      上原伸介,小林隆志,大須賀俊憲,山本晋一郎,阿草清滋
    • Organizer
      ソフトウェアエンジニアリングシンポジウム
    • Place of Presentation
      東京
    • Year and Date
      2009-09-08
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証2009

    • Author(s)
      馬場敬, 結縁祥治, 阿草清滋
    • Organizer
      ソフトウェアサイエンス研究会
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] JavaScriptソースコードリポジトリを用いた代替コード発見2009

    • Author(s)
      蛭牟田英治,末次亮,大須賀俊憲,小林隆志,山本晋一郎,阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップ2009
    • Place of Presentation
      箱根
    • Year and Date
      2009-11-13
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 高精度なデータ依存解析に基づくシーケンス図スライシング手法2009

    • Author(s)
      野田訓広, 小林隆志, 山本晋一郎, 阿草清滋
    • Organizer
      情報処理学会第163回ソフトウェア工学研究発表会
    • Place of Presentation
      東京化学会館
    • Year and Date
      2009-03-19
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] A Full Implementation of Session Types2009

    • Author(s)
      今井敬吾,結縁祥治,阿草清滋
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • Place of Presentation
      岐阜
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Sequence Diagram Slicing2009

    • Author(s)
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
    • Organizer
      Asia-Pacific Software Engineering Conference(APSEC) 2009
    • Place of Presentation
      Penang, Malaysia
    • Year and Date
      2009-12-01
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ2009

    • Author(s)
      大須賀俊憲, 小林隆志, 間瀬順一, 渥美紀寿, 山本晋一郎, 鈴村延保, 阿草清滋
    • Organizer
      ソフトウェアエンジニアリングシンポジウム
    • Place of Presentation
      東京女子大学(東京都)
    • Year and Date
      2009-09-08
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Image Semantic Search Engine2009

    • Author(s)
      Chao-Qing Lv, Takashi Kobayashi, Kiyoshi Agusa, Wu Kun, Zhu Qing
    • Organizer
      Intl Workshop on Database Technology and Applications(DBTA2009)
    • Place of Presentation
      Wuhan University(Wuhan, China)
    • Year and Date
      2009-04-25
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 多粒度な可視化によるソフトウェア理解支援2009

    • Author(s)
      上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • Organizer
      ソフトウェアエンジニアリングシンポジウム
    • Place of Presentation
      東京女子大学(東京都)
    • Year and Date
      2009-09-08
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Java Scriptソースコードリポジトリを用いた代替コード発見2009

    • Author(s)
      蛭牟田英治, 末次亮, 大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップ2009
    • Place of Presentation
      箱根湯元温泉ホテルおかだ(神奈川県)
    • Year and Date
      2009-11-13
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] スタックトレース情報を用いた問題解決経験の検索2009

    • Author(s)
      谷聡貴,小林隆志,山本晋一郎,阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2008
    • Place of Presentation
      兵庫
    • Year and Date
      2009-11-14
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ2009

    • Author(s)
      大須賀俊憲,小林隆志,間瀬順一,渥美紀寿,山本晋一郎,鈴村延保,阿草清滋
    • Organizer
      ソフトウェアエンジニアリングシンポジウム
    • Place of Presentation
      東京
    • Year and Date
      2009-09-08
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] A Web application bi-execution model for a framework preventing Amazon-bug2008

    • Author(s)
      Ryota, Mizuno, Keigo, Imai, Ryo, Suetsugu, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      IEICE SIG-SS
    • Place of Presentation
      Sasebo(Nagasaki)
    • Year and Date
      2008-03-04
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] コードクローンを用いたコードスニペツト抽出の試み2008

    • Author(s)
      大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2008
    • Place of Presentation
      兵庫ウェステインホテル淡路/淡路夢舞台国際会議場
    • Year and Date
      2008-11-14
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] スタックトレース情報を用いた問題解決経験の検索2008

    • Author(s)
      谷聡貴, 小林隆志, 山本晋一郎, 阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2008
    • Place of Presentation
      兵庫ウェステインホテル淡路/淡路夢舞台国際会議場
    • Year and Date
      2008-11-14
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル2008

    • Author(s)
      水野良太, 今井敬吾, 末次亮, 金子伸幸, 山本晋一郎, 阿草清滋
    • Organizer
      電気電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      長崎県佐世保市
    • Year and Date
      2008-03-04
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • Author(s)
      Sakura Bhandari, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      Workshop on Service Oriented Architecture, APSEC2007, pages 8-15(査読有)
    • Place of Presentation
      名古屋ミッドランドホール
    • Year and Date
      2007-12-04
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A description for integrated operation of network appliance in Distributed control environment2007

    • Author(s)
      Sakura, Bhandari, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      5th Dependable System Workshop(DSW07 pp. 35-44)
    • Place of Presentation
      Hakodate
    • Year and Date
      2007-07-04
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] StrutsLint : A code checker of Web applications2007

    • Author(s)
      Nobuyuki, Kaneko, Hiroaki, Kuwabara, Shinnichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      24th JSSST taikai
    • Place of Presentation
      Nara
    • Year and Date
      2007-09-12
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法2007

    • Author(s)
      今井 敬吾, 結縁 祥治, 阿草 清滋
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      名古屋大学
    • Year and Date
      2007-10-12
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A synchronization flow analysis of concurrent objects in AIBO OPEN-11 programs based on communicating processes2007

    • Author(s)
      Ryo, Suetsugu, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      14th Asia Pacific Sofeware Engineering(APSEC2007, pp.366-373)
    • Place of Presentation
      Midland Hall
    • Year and Date
      2007-12-06
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • Author(s)
      Sakura, Bhandari, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      Workshop on Service Oriented Architecture collocated at APSEC2007(pp.8-15)
    • Place of Presentation
      Midland-hall(Nagoya)
    • Year and Date
      2007-12-04
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] 分散環境における家電機器の連携動作の記述手法2007

    • Author(s)
      バンダリさくら、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第5回ディペンダブルソフトウェアワークショプ, pages35-44(査読無)
    • Place of Presentation
      函館大沼公園
    • Year and Date
      2007-07-04
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] π計算におけるセッションの構造化2007

    • Author(s)
      今井敬吾、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ, pages140-154(査読有)
    • Place of Presentation
      山代温泉(福井県)
    • Year and Date
      2007-03-09
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Reuse support system based on software integral search2007

    • Author(s)
      Osuka, Toshinori, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      Foundation of Software Engineering (FOSE2007,pp.203-208)
    • Place of Presentation
      Shimonoseki
    • Year and Date
      2007-11-09
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A synchronization flow analysis of concurrent objects in AIBO OPEN-Rprograms based on communicating processes2007

    • Author(s)
      Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      14th Asia-Pacific software engineering conference APSEC2007, pages 366-373(査読有)
    • Place of Presentation
      名古屋ミッドランドホール
    • Year and Date
      2007-12-06
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] StrutsLint:Webアプリケーションコーディングチェッカ2007

    • Author(s)
      金子 伸幸, 桑原 寛明, 山本 晋一郎, 阿草 清滋
    • Organizer
      日本ソフトウェア科学会24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-12
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Structured sessions in the pi-calculus2007

    • Author(s)
      Keigo, Imai, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      9th Workshop on Programming and Programing Languages(PPL2007 pp.140-154)
    • Place of Presentation
      Yamashiro-onsen(Fukui)
    • Year and Date
      2007-03-09
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Dependable network programming with Haskell based on session types2007

    • Author(s)
      Keigo, Imai, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      5th Dependable System' Workshop(DSW07 pp.95-105)
    • Place of Presentation
      Hakodate
    • Year and Date
      2007-07-03
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] ソフトウェア統合検索を利用した再利用支援システム2007

    • Author(s)
      大須賀俊憲、金子伸幸、山本晋一郎、小林隆志、阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2007, pages 203-208(査読有)
    • Place of Presentation
      下関第一ホテル
    • Year and Date
      2007-11-09
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] plog : Programming activity recording system aiming at extraction of Programming experience2007

    • Author(s)
      Tani, Toshiki, Nobuyuki Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      Foundation of Software Engineering(FOSE2007, pp.161-166)
    • Place of Presentation
      Shimonoseki
    • Year and Date
      2007-11-09
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Plog:プログラミング経験の抽出を目的とした作業収集システム2007

    • Author(s)
      谷聡貴、金子伸幸、山本晋一郎、阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2007, pages161-166(査読有)
    • Place of Presentation
      下関第一ホテル
    • Year and Date
      2007-11-09
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] セッション型に基づく高信頼ネットワークプログラムのHaskell言語による実装2007

    • Author(s)
      今井敬吾、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第5回ディペンダブルソフトウェアワークショプ, pages95-105(査読無)
    • Place of Presentation
      函館大沼公園
    • Year and Date
      2007-07-03
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A Refactoring Method Using Web Abstract Program2006

    • Author(s)
      Takashi, Ito, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      IPSJ SIG-SE-151(pp.97-104)
    • Place of Presentation
      Kagaku-kaikan
    • Year and Date
      2006-03-24
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] コレオグラフィー記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • Author(s)
      バンダリさくら、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第4回ディペンダブルソフトウェアワークショプ, pages11-20(査読無)
    • Place of Presentation
      東京大学
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Webフレームワークを使った開発における単体テスト自動化手法2006

    • Author(s)
      並河英二、森川和明、山本晋一郎、阿草清滋
    • Organizer
      日本ソフトウェア科学会第4回ディペンダブルソフトウェアワークショプ, pages21-30(査読無)
    • Place of Presentation
      東京大学
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Web2.0時代のプログラミングスタイル2006

    • Author(s)
      金子伸幸、末次亮、山本晋一郎、阿草清滋
    • Organizer
      Workshop on Leveraging Web2.0 Technologies in Software Development Environment, pages1-2(査読有)
    • Place of Presentation
      学術総合センター
    • Year and Date
      2006-09-19
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Web抽象プログラムを用いたリファクタリング2006

    • Author(s)
      伊藤崇、金子伸幸、山本晋一郎、阿草清滋
    • Organizer
      情報処理学会研究会報告2006-SE-151, pages97-104(査読無)
    • Place of Presentation
      化学会館(東京都千代田区)
    • Year and Date
      2006-03-24
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Immutability Analysis for Java Program Understanding2006

    • Author(s)
      Ryota, Mizuno, Hiroaki, Kuwabara, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      IPSJ SIG-SE-152(pp.33-40)
    • Place of Presentation
      Kagaku-kaikan
    • Year and Date
      2006-05-17
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] An automated technique of unit-tests in the Web framework development2006

    • Author(s)
      Eiji, Nabika, Kazuaki, Morikawa, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      Dependable Software Workshop(DSW06-2)
    • Place of Presentation
      University of Tokyo
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Javaプログラム理解支援のための不変量解析2006

    • Author(s)
      水野良太、桑原寛明、山本晋一郎、阿草清滋
    • Organizer
      情報処理学会研究会報告2006-SE-152, pages33-40(査読無)
    • Place of Presentation
      化学会館(東京都千代田区)
    • Year and Date
      2006-05-17
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A Programming style in Web 2.0 Environment2006

    • Author(s)
      Nobuyuki, Kaneko, Ryo, Suetsugu, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      Japanese Workshop on Leveraging Web 2.0 Technologies in Software Development Environment(pp.1-2)
    • Place of Presentation
      NH(Tokyo)
    • Year and Date
      2006-09-19
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A Content Control Framework based on Separation of Concern2006

    • Author(s)
      Shigehiro, Iida, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      Foundation of Software Engineering 2006
    • Place of Presentation
      Welsampia-Tateyama
    • Year and Date
      2006-11-10
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Communication Centered Programming for Integrated Services of Home Appliances using Choreography Description Language2006

    • Author(s)
      Sakura, Bhandari, Shoij, Yuen, Kiyoshi, Agusa
    • Organizer
      4th Dependable Software Workshop(DSW06-2)
    • Place of Presentation
      University of Tokyo
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] 関心の分離に基づくコンテンツ制御フレームワーク2006

    • Author(s)
      飯田恵大、金子伸幸、山本晋一郎、結縁祥治、阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2006, pages147-156(査読有)
    • Place of Presentation
      ウエルサンピア立山
    • Year and Date
      2006-11-10
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] オブジェクトの動的特徴に着目した実行トレースの抽象化

    • Author(s)
      戸田 達也, 小林隆志, 渥美紀寿, 阿草清滋
    • Organizer
      電子情報通信学会 ソフトウェアサイエンス研究会
    • Place of Presentation
      てんぷす那覇(沖縄県)
    • Data Source
      KAKENHI-PROJECT-24300006
  • [Presentation] Grouping Objects for Execution Trace Analysis based on Design Patterns

    • Author(s)
      Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
    • Organizer
      The 5th International Workshop on Empirical Software Engineering in Practice
    • Place of Presentation
      Pullman Bangkok King Power Hotel (Thailand)
    • Data Source
      KAKENHI-PROJECT-24300006
  • 1.  HAMAGUCHI Takeshi (90273284)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 3 results
  • 2.  YAMAMOTO Shinichirou (40240098)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 38 results
  • 3.  YUEN Shoji (70230612)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 42 results
  • 4.  SAKABE Toshiki (60111829)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 5.  AJISAKA Tsuneo (30175864)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 6.  KATAYAMA Takuya (70016468)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  小谷 善行 (20111627)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  大岩 元 (20011679)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  USHIJIMA Kazuo (40037750)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  MINO Michihiko (70166099)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  MIYAMOTO Eiichi (00001173)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  TAKEICHI Masato (10011165)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  ITO Takayasu (80124551)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  KOBAYASHI Takashi (50345386)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 46 results
  • 15.  SAKAI Masahiko (50215597)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  INAGAKI Yasuyoshi (10023079)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 17.  OCHIMIZU Koichiro (10022310)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 18.  SAEKI Motoshi (80162254)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 19.  OHNO Yutaka (60026185)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 20.  OHNISHI Atsushi (50160560)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 21.  手嶋 茂晴 (50394599)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 22.  TABATA Koichi (50026085)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  NAKATSU Narao (90133131)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  HASHIZUME Hiromichi (40172853)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  ADACHI Jun (80143551)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  SUGIMOTO Shigeo (40154489)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  ARAKI Keijiro (40117057)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  TOHMA Yoshihiro (50016317)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  KAWAGUCHI Nobuo (10273286)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  NAKATA Ikuo (70133022)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  IKEDA Katsuo (30026009)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  NAKAMURA Tomoo (70015923)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  EBIHARA Yoshihiko (00101155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  NISHIHARA Seiichi (50026168)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  OHTA Yuichi (50115804)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  MIYAMOTO Akira (50093076)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  HIRAO Kazuyuki (90127126)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  渥美 紀寿 (70397446)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 9 results
  • 39.  細野 公男 (50051628)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  鳥居 宏次 (10172222)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  馮 速 (90262881)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  渡辺 正子 (70127158)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  手嶋 重晴
    # 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