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

阿草 清滋  AGUSA Kiyoshi

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

阿草 清慈  アグサ キヨシ

阿草 清磁  アグサ キヨシ

隠す
研究者番号 90026360
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2012年度 – 2016年度: 京都大学, 学術情報メディアセンター, 研究員
2011年度: 名古屋大学, 情報科学研究科, 教授
2005年度 – 2011年度: 名古屋大学, 大学院・情報科学研究科, 教授
2004年度: 名古屋大学, 情報科学研究科, 教授
2003年度: 名古屋大学, 大学院・情報科学研究科, 教授 … もっと見る
2002年度: 名古屋大学, 工学研究科, 教授
2000年度: 名古屋大学, 工学研究科, 教授
1999年度 – 2000年度: 名古屋大学, 大学院・工学研究科, 教授
1998年度 – 1999年度: 名古屋大学, 情報メディア教育センター, 教授
1997年度: 名古屋大学, 大学院・工学研究科, 教授
1997年度: 名古屋大学, 工学研究科, 教授
1995年度 – 1996年度: 名古屋大学, 工学部, 教授
1989年度 – 1992年度: 名古屋大学, 工学部, 教授
1987年度 – 1988年度: 京都大学, 工学部, 助教授
1984年度: 京都大学, 工学部, 助教授
1983年度: 京都大学, 工学部, 講師 隠す
審査区分/研究分野
研究代表者
計算機科学 / ソフトウエア / 情報学 / 情報システム学(含情報図書館学)
研究代表者以外
計算機科学 / 情報学 / 無機工業化学・無機材料工学 / 情報工学 / 情報システム学(含情報図書館学)
キーワード
研究代表者
KJ法 / 形式的仕様 / 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ドキュメント / 実時間システム / 通信プロセスモデル / 組み込みシステム / ソフトウェア信頼性 / コード生成 / リアクティブシステム / 時間オートマトン / 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サービス / 「対話的知識獲得」 / 上流工程 / ソフトウェアの自動化 / ソフトウェア発想機構 / 並行プロセス / 自由知識獲得 / コミュニケ-ション技法 … もっと見る
研究代表者以外
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 / 仮想図書館 / マルチメディア / 全文検索 / 情報検索 / インターネット / 図書館 / 電子図書館 / ディジタル図書館 / ソフトウェア構築方法論 / ソフトウェア進化 / ソフトウェア発展 隠す
  • 研究課題

    (22件)
  • 研究成果

    (133件)
  • 共同研究者

    (43人)
  •  バリアントライフサイクルモデルに基づく多品種並行開発手法研究代表者

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      2012 – 2016
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      京都大学
  •  高信頼Webサービスウェアの効率的な開発手法研究代表者

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

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

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  発展機構を備えたソフトウェアの構成原理の研究

    • 研究代表者
      片山 卓也
    • 研究期間 (年度)
      2000
    • 研究種目
      特定領域研究(A)
    • 研究機関
      北陸先端科学技術大学院大学
  •  ソフトウェアリサイクル支援環境の研究-Browser,Slicer,Specializerの設計と開発-研究代表者

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  ソフトウェア発展方式の研究研究代表者

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      重点領域研究
    • 研究機関
      名古屋大学
  •  発展機構を備えたソフトウェアの構成原理にかかわる総合研究

    • 研究代表者
      片山 卓也
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  超高速ネットワーク環境におけるソフトウェア分散協調開発に関する基礎的研究

    • 研究代表者
      稲垣 康善
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  代数的メタプログラミングに関する基礎的研究

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

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1996 – 1998
    • 研究種目
      基盤研究(B)
    • 研究分野
      情報システム学(含情報図書館学)
    • 研究機関
      名古屋大学
  •  ディジタル図書館とそのネットワーク

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

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  ソフトウェア構成法における発想機構の研究研究代表者

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1991
    • 研究種目
      重点領域研究
    • 研究機関
      名古屋大学
  •  ソフトウェア構成法における発想機構の研究研究代表者

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1991 – 1993
    • 研究種目
      重点領域研究
    • 研究機関
      名古屋大学
  •  ソフトウェア構成法における発想機構の研究研究代表者

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1990
    • 研究種目
      重点領域研究
    • 研究機関
      名古屋大学
  •  メタプログラミングの基礎的研究研究代表者

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1989 – 1990
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      名古屋大学
  •  無機材料の分子設計に関する基礎研究

    • 研究代表者
      宮本 明
    • 研究期間 (年度)
      1988 – 1989
    • 研究種目
      一般研究(B)
    • 研究分野
      無機工業化学・無機材料工学
    • 研究機関
      京都大学
  •  画像理解アルゴリズムの並列処理方式に関する研究

    • 研究代表者
      池田 克夫
    • 研究期間 (年度)
      1987 – 1989
    • 研究種目
      一般研究(A)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
      筑波大学
  •  再利用向きオブジェクト指向プログラミングシステムに関する研究

    • 研究代表者
      大野 豊
    • 研究期間 (年度)
      1986 – 1987
    • 研究種目
      一般研究(B)
    • 研究分野
      情報学
    • 研究機関
      京都大学
  •  要求フレームに基づくソフトウェア仕様定義環境の構築

    • 研究代表者
      大野 豊
    • 研究期間 (年度)
      1986 – 1987
    • 研究種目
      試験研究
    • 研究分野
      情報学
    • 研究機関
      京都大学
  •  関数的体系に基くソフトウェアの自動的設計に関する研究研究代表者

    • 研究代表者
      阿草 清滋
    • 研究期間 (年度)
      1983 – 1984
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      京都大学

すべて 2016 2015 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 その他

すべて 雑誌論文 学会発表 産業財産権

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

    • 著者名/発表者名
      渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋
    • 雑誌名

      電子情報通信学会論文誌

      巻: J96-D ページ: 2681-2691

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300006
  • [雑誌論文] Reticella : An Execution Trace Slicing and Visualization Tool based on a Behavior Model2012

    • 著者名/発表者名
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Motoshi Saeki, Kiyoshi Agusa
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: Vol.E95-D, No.4 ページ: 959-969

    • NAID

      10030941849

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] CX-Checker :柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ2012

    • 著者名/発表者名
      大須賀俊憲, 小林隆志, 渥美紀寿, 間瀬順一, 山本晋一郎, 鈴村延保, 阿草清滋
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.53 No.2 ページ: 590-600

    • NAID

      110008767164

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

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

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

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

    • NAID

      110008616674

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] Session Type Inference in Haskell2011

    • 著者名/発表者名
      Keigo Imai, Shoji Yuen, and Kiyoshi Agusa
    • 雑誌名

      Electronic Proceedings in Theoretical Computer Science

      巻: Vol.69 ページ: 74-91

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] OJL:産学連携による新しい人材育成の試み(特集高度IT人材育成の軌跡)2011

    • 著者名/発表者名
      阿草清滋
    • 雑誌名

      情報処理

      巻: 52(10) ページ: 1254-12570

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] Session type inference in Haskell2011

    • 著者名/発表者名
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] On the Job Learning :産学連携による新しいソフトウェア工学教育手法2010

    • 著者名/発表者名
      小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
    • 雑誌名

      情報システム学会誌

      巻: Vol.5 No.2 ページ: 32-45

    • NAID

      110007358930

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] JavaScriptソースコードリポジトリを用いた代替コード発見2010

    • 著者名/発表者名
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 雑誌名

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

      ページ: 129-134

    • NAID

      130004549168

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] Java Scriptソースコードリポジトリを用いた代替コード発見2010

    • 著者名/発表者名
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 雑誌名

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

      巻: 27(2) ページ: 129-134

    • NAID

      130004549168

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

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

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

      ページ: 13-30

    • NAID

      110008616674

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] On the Job Learning:産学連携による新しいソフトウェア工学教育手法2010

    • 著者名/発表者名
      小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
    • 雑誌名

      情報システム学会誌

      巻: 5(2) ページ: 32-45

    • NAID

      110007358930

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] 多粒度な可視化によるソフトウェア理解支援2010

    • 著者名/発表者名
      上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 雑誌名

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

      巻: Vol.27 No.2 ページ: 116-121

    • NAID

      130004549166

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] JavaScriptソースコードリポジトリを用いた代替コード発見2010

    • 著者名/発表者名
      蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 雑誌名

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

      巻: Vol.27 No.2 ページ: 129-134

    • NAID

      130004549168

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] テスト実行に基づくコンポーネント検索2008

    • 著者名/発表者名
      安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
    • 雑誌名

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

      ページ: 194-207

    • NAID

      130004549114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] 特集情報専門学科カリキュラム標準J07ソフトウェアエンジニアリング領域(J07-SE)2008

    • 著者名/発表者名
      阿草清滋, 西康晴, 沢田篤史, 鷲崎弘宣
    • 雑誌名

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

      ページ: 743-749

    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] テスト実行に基づくコンポーネント検索2008

    • 著者名/発表者名
      安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
    • 雑誌名

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

      巻: vol.25 No.3 ページ: 194-207

    • NAID

      130004549114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [雑誌論文] A Deadlock free analysis for AIBO OPEN-R Programs based on Communicating Processes2007

    • 著者名/発表者名
      Ryo, Suetsugu, Shoji, Yuen, Kiyoshi, Agusa
    • 雑誌名

      IPSJ Journal Vol.48

      ページ: 2915-2924

    • NAID

      110006422972

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

    • 著者名/発表者名
      末次亮、結縁祥治、阿草清滋
    • 雑誌名

      情報処理学会論文誌 48

      ページ: 2915-2924

    • NAID

      110006422972

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] 高信頼Webアプリケーションのためのページ生成プログラムのテスト手法2007

    • 著者名/発表者名
      渥美紀寿, 桑原寛明, 金子伸幸, 山本晋一郎, 阿草清滋
    • 雑誌名

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

      ページ: 153-164

    • NAID

      130004549084

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] A Testing Medthod of Page Generators for Dependable Web Application2007

    • 著者名/発表者名
      Noritoshi, Atsumi, Hiroaki, Kuwabara, Kiyoshi, Agusa, Shinichiro, Yamamoto
    • 雑誌名

      Computer Software Vol.24

      ページ: 153-164

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] 関心の分離に基づくコンテンツ制御フレームワーク2006

    • 著者名/発表者名
      飯田 恵大, 金子 伸幸, 山本 晋一郎, 結縁 祥治, 阿草 清滋
    • 雑誌名

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

      ページ: 119-124

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] コレオグラフィ記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • 著者名/発表者名
      バンダリさくら, 結縁祥治, 阿草清滋
    • 雑誌名

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

      ページ: 11-20

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] テスト実行に基づくコンポーネント検索手法2006

    • 著者名/発表者名
      安藤 恭平, 金子 伸幸, 山本 晋一郎, 阿草 清滋
    • 雑誌名

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

      ページ: 147-156

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Web抽象プログラムを用いたリファクタリング2006

    • 著者名/発表者名
      伊藤 崇, 金子 伸幸, 山本 晋一郎, 阿草 清滋
    • 雑誌名

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

      ページ: 121-128

    • NAID

      110004687085

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Webフレームワークを使った開発における単体テスト自動化手法2006

    • 著者名/発表者名
      並河 英二, 森川 和明, 山本 晋一郎, 阿草 清滋
    • 雑誌名

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

      ページ: 21-30

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Javaプログラム理解支援のための不変性解析2006

    • 著者名/発表者名
      水野良太, 桑原寛明, 山本晋一郎, 阿草清滋
    • 雑誌名

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

      ページ: 33-40

    • NAID

      110004849400

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Web 2.0 時代のプログラミングスタイル2006

    • 著者名/発表者名
      金子 伸幸, 末次 亮, 山本 晋一郎, 阿草 清滋
    • 雑誌名

      WebSDE(in conjunction with ASE2006)

      ページ: 1-2

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Supporting Quality Assurance of Client Web Applications: Identifying and Addressing the Challenges2005

    • 著者名/発表者名
      Md. Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
    • 雑誌名

      Journal of Web Engineering 4

      ページ: 144-164

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Supporting Quality Assurance of Client Web Applications : Identifying and Addressing the Challenges2005

    • 著者名/発表者名
      Md. Sharaf, Aun, Shoji, Yuen, Kiyoshi, Agusa
    • 雑誌名

      Journal of Web Engineering Vol.4

      ページ: 144-164

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] コンポーネント組み合わせ型のwebアプリケーション開発支援2005

    • 著者名/発表者名
      金子 伸幸, 中元 秀明, 阿草 清滋, 小川 義明
    • 雑誌名

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

      ページ: 189-194

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] XML記述によるソフトウェアリポジトリを用いたコード検索2005

    • 著者名/発表者名
      渥美 紀寿, 山本 晋一郎, 阿草 清滋
    • 雑誌名

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

      ページ: 57-64

    • NAID

      110002952427

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Congruence Properties for a Timed Extension of the π-Calculus2005

    • 著者名/発表者名
      Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa
    • 雑誌名

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

      ページ: 207-214

    • NAID

      110007380427

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Webアプリケーションにおけるデータ依存グラフ2005

    • 著者名/発表者名
      黒川 翔, 桑原 寛明, 山本 晋一郎, 阿草 清滋
    • 雑誌名

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

      ページ: 237-246

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル2005

    • 著者名/発表者名
      松塚貴英、阿草清滋、山本晋一郎
    • 雑誌名

      情報処理学会論文誌 46

      ページ: 1145-1154

    • NAID

      110002768620

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] イディオム検索のための関数呼出依存グラフのクラスタリング手法2005

    • 著者名/発表者名
      渥美 紀寿, 山本 晋一郎, 阿草 清滋
    • 雑誌名

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

      ページ: 1696-1707

    • NAID

      110004018410

    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] A Semantic Model for Round-trip Engineering of Web Applications2005

    • 著者名/発表者名
      Takahide, Matsuzuka, Kiyoshi, Agusa, Shinirhiro, Yamamoto
    • 雑誌名

      IPSJ Journal Vol.45

      ページ: 1145-1154

    • NAID

      110002768620

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [雑誌論文] Name-passing style GUI Programming in a π calculus based language Nepi2004

    • 著者名/発表者名
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, K.Agusa, S.Yuen
    • 雑誌名

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

      ページ: 49-66

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] FCDGに基づいたコーディングパターン2004

    • 著者名/発表者名
      渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋
    • 雑誌名

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

      ページ: 27-36

    • NAID

      130004549019

    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] 時間オートマンの遷移制約記述に基づくAIBOプログラムスケルトンコードの生成手法2004

    • 著者名/発表者名
      末次亮, 結縁祥治, 阿草清滋
    • 雑誌名

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

      ページ: 126-133

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] Software Engineering Evolution2004

    • 著者名/発表者名
      Kiyoshi Agusa
    • 雑誌名

      Proceedings of the Workshop on Principles of Software Evolution IWPSE2004

      ページ: 3-8

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] Software and Design(Keynote Speech, ESS2004)2004

    • 著者名/発表者名
      Kiyoshi Agusa
    • 雑誌名

      Proceedings of Embedded System Symposium 2004

      ページ: 2-5

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] Software Engineering Evolution2004

    • 著者名/発表者名
      Kiyoshi Agusa
    • 雑誌名

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

      ページ: 3-8

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] Coding Patterns based on Function Call Dependency Graphs2004

    • 著者名/発表者名
      N.Atsumi, S.Yamamoto, S.Yuen, K.Agusa
    • 雑誌名

      Computer Software Vol.21 No.4

      ページ: 27-36

    • NAID

      110003743171

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] ソフトウェア(の×)とデザイン2004

    • 著者名/発表者名
      阿草清滋
    • 雑誌名

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

      ページ: 2-5

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

    • 著者名/発表者名
      桑原寛明, 結縁祥治, 阿草清滋
    • 雑誌名

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

      ページ: 1498-1507

    • NAID

      110002712200

    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] FCDGに基づいたコーディングパターン2004

    • 著者名/発表者名
      渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋
    • 雑誌名

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

      ページ: 27-36

    • NAID

      130004549019

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] An AIBO Program Skeleton Code Generation Based on Transition Constraint Description of Timed Automata2004

    • 著者名/発表者名
      R.Suetsugu, S.Yuen, K-Agusa
    • 雑誌名

      Proceedings of Embedded System Symposium 2004(ESS2004)

      ページ: 126-133

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] A Formal Description of a Real-time Object-Oriented Language by the π calculus with Time2004

    • 著者名/発表者名
      H.Kuwabara, S.Yuen, K.Agusa
    • 雑誌名

      Journal of IPSJ Vol.45, No.6

      ページ: 1497-1507

    • NAID

      110002712200

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] Name-passing style GUI Programming in a π calculus based language Nepi2004

    • 著者名/発表者名
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, K.Agusa, S.Yuen
    • 雑誌名

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

      ページ: 49-66

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

    • 著者名/発表者名
      桑原寛明, 結縁祥治, 阿草清滋
    • 雑誌名

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

      ページ: 1498-1507

    • NAID

      110002712200

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [雑誌論文] A session type system with subject reduction

    • 著者名/発表者名
      Keigo Imai, Syoji Yuen, Kiyoshi. Agusa
    • 雑誌名

      IEICE Transaction

    • NAID

      10031126714

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300009
  • [産業財産権] ウィジェット操作方法、装置、プログラムおよびこのプログラムを記録した記録媒体2004

    • 発明者名
      真野 健, 河辺 義信, 水野 敦, 桑原 寛明, 結縁 祥治, 阿草 清滋
    • 権利者名
      真野 健, 河辺 義信, 水野 敦, 桑原 寛明, 結縁 祥, 阿草 清滋
    • 産業財産権番号
      2004-165578
    • 出願年月日
      2004-06-03
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14380141
  • [学会発表] データ構造と関数定義に着目したプログラミング学習者用テストケース評価記述方法の提案2016

    • 著者名/発表者名
      小林 悟, 蜂巣 吉成, 吉田 敦, 阿草 清滋
    • 学会等名
      第 23 回ソフトウェア工学の基礎ワークショップ FOSE2016
    • 発表場所
      香川県琴平町
    • 年月日
      2016-12-03
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] バリアントコードの改変履歴に基づく前処理条件の構造に関する特徴調査2016

    • 著者名/発表者名
      今西 洋二, 渥美 紀寿, 森崎 修司, 山本 修一郎, 阿草 清滋
    • 学会等名
      第 23 回ソフトウェア工学の基礎ワークショップ FOSE2016
    • 発表場所
      香川県琴平町
    • 年月日
      2016-12-03
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] 前処理命令の制御構造とその構造内のコード改変に関する調査2016

    • 著者名/発表者名
      今西 洋二,渥美 紀寿,森崎 修司,山本 修一郎,阿草 清滋
    • 学会等名
      第191回ソフトウェア工学研究発表会
    • 発表場所
      大阪大学 (大阪府吹田市)
    • 年月日
      2016-03-14
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] ウェブアプリケーション開発のためのPHP オンライン部分評価器の試作2016

    • 著者名/発表者名
      吉田 敦, 蜂巣 吉成, 阿草 清滋
    • 学会等名
      第 23 回ソフトウェア工学の基礎ワークショップ FOSE2016
    • 発表場所
      香川県琴平町
    • 年月日
      2016-12-03
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] 命令型プログラミング言語における初学者向け動作理解支援ツールの提案2015

    • 著者名/発表者名
      蜂巣吉成,吉田敦,阿草清滋
    • 学会等名
      第22回 ソフトウェア工学の基礎ワークショップ (FOSE 2015)
    • 発表場所
      滝の湯(山形県 天童市)
    • 年月日
      2015-11-26
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル2013

    • 著者名/発表者名
      丸岡寛典, 小林隆志, 阿草清滋
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      志賀島休暇村(福岡県)
    • 年月日
      2013-03-06
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] データ依存の伝播確率に基づく欠陥箇所特定支援2013

    • 著者名/発表者名
      村松沙那恵, 小林隆志, 渥美紀寿, 阿草清滋
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      志賀島休暇村(福岡県)
    • 年月日
      2013-03-06
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて2013

    • 著者名/発表者名
      高井康勢, 渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      志賀島休暇村(福岡県)
    • 年月日
      2013-03-06
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] プリプロセス命令の制御構造を利用したフィーチャ2013

    • 著者名/発表者名
      渥美紀寿, 小林隆志, 阿草清滋
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      石垣市民会館(沖縄県)
    • 年月日
      2013-01-10
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] Finding Cross-browser JavaScript Codes using Sequential Pattern Mining2012

    • 著者名/発表者名
      T. Fujitani , T. Kobayashi, N. Atsumi, K. Agusa
    • 学会等名
      10th Joint Conference on Knowledge-Based Software Engineering
    • 発表場所
      Rodos Palace Hotel(ギリシャ)
    • 年月日
      2012-08-23
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] Execution Trace Abstraction based on Meta Patterns Usage2012

    • 著者名/発表者名
      Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa
    • 学会等名
      19th Working Conference on Reverse Engineering
    • 発表場所
      Radisson Hotel Kingston (カナダ)
    • 年月日
      2012-10-16
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] Interaction Histories Mining for Software Change Guide2012

    • 著者名/発表者名
      Takashi Kobayashi, Nozomu Kato, Kiyoshi Agusa
    • 学会等名
      3rd International Workshop on Recommendation Systems for Software Engineering
    • 発表場所
      University of Zurich (スイス)
    • 年月日
      2012-06-04
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール2011

    • 著者名/発表者名
      野田訓広, 小林隆志, 阿草清滋
    • 学会等名
      メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
    • 発表場所
      東京
    • 年月日
      2011-03-15
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] An XML C Source Code Interchange Format for CASE Tools2011

    • 著者名/発表者名
      Noritoshi Atsumi, Shinichiro Yamamoto, Takashi Kobayashi, Kiyoshi Agusa
    • 学会等名
      the IEEE Signature Conference on Computers 2011, Software, and ApplicationsMunich
    • 発表場所
      Germany
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール2011

    • 著者名/発表者名
      野田訓広, 小林隆志, 阿草清滋
    • 学会等名
      情報処理学会ソフトウェア工学研究会
    • 発表場所
      東京
    • 年月日
      2011-03-15
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Preliminary Assessment of Software Metrics based on Coding Standards Violations2011

    • 著者名/発表者名
      Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
    • 学会等名
      Joint Workshop on Software Science and Engineering(IEICE Technical Report No.IEICE-SS2011-12)
    • 発表場所
      Seoul, Korea
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] ファイルアクセス履歴から抽出した参照関係に基づくファイル検索手法2011

    • 著者名/発表者名
      山下訓昭,小林隆志,横田治夫,阿草清滋
    • 学会等名
      第4回Webとデータベースに関するフォーラム
    • 発表場所
      東京
    • 年月日
      2011-11-04
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 変更支援のための成果物アクセス履歴マイニング2011

    • 著者名/発表者名
      加藤希, 小林隆志, 阿草清滋
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      沖縄
    • 年月日
      2011-03-07
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Software Metrics based on Coding Standards Violations2011

    • 著者名/発表者名
      Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
    • 学会等名
      the Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement(IWSM/MENSURA2011)
    • 発表場所
      Nara, Japan
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] An XML Representation of Preprocessed Code for Static Analysis2011

    • 著者名/発表者名
      Noritoshi Atsumi, Mitsuaki Oba, Takashi Kobayashi, Shinichiro Yamamoto and Kiyoshi Agusa
    • 学会等名
      IEEE 22nd annual International Symposium on Software Reliability Engineering(ISSRE 2011)
    • 発表場所
      Hiroshima, Japan
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Session Type Inference in Haskell2010

    • 著者名/発表者名
      今井敬吾, 結縁祥治, 阿草清滋
    • 学会等名
      PLACES '10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • 発表場所
      Coral Beach Hotel(Paphos, Cyprus)
    • 年月日
      2010-03-21
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 極性をもたないセッション型システム2010

    • 著者名/発表者名
      今井敬吾, 結縁祥治, 阿草清滋
    • 学会等名
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • 発表場所
      琴参閣(香川県)
    • 年月日
      2010-03-03
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法2010

    • 著者名/発表者名
      渥美紀寿,谷聡貴,大塚直也,小林隆志,山本晋一郎,阿草清滋
    • 学会等名
      第17回ソフトウェア工学の基礎ワークショップFOSE2010
    • 発表場所
      新潟
    • 年月日
      2010-11-17
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Finding Alternate Javascript Codes with a Code Repository2010

    • 著者名/発表者名
      Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
    • 学会等名
      the IASTED International Conference on Software Engineering 2010
    • 発表場所
      Innsburk, Austria
    • 年月日
      2010-02-17
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 極性をもたないセッション型システム2010

    • 著者名/発表者名
      今井敬吾,結縁祥治,阿草清滋
    • 学会等名
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • 発表場所
      香川
    • 年月日
      2010-03-03
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] トレースに基づくデバッグにおける欠陥箇所発見支援手法2010

    • 著者名/発表者名
      上原伸介,小林隆志,渥美紀寿,山本晋一郎,阿草清滋
    • 学会等名
      第17回ソフトウェア工学の基礎ワークショップFOSE2010
    • 発表場所
      新潟
    • 年月日
      2010-11-17
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Finding Alternate Javascript Codes with a Code Repository2010

    • 著者名/発表者名
      Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
    • 学会等名
      the IASTED International Conference on Software Engineering 2010
    • 発表場所
      Congress Innsbruck(Innsbruck, Austria)
    • 年月日
      2010-02-17
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 例外処理を持つ関数型プログラムの停止性・非停止性証明法2010

    • 著者名/発表者名
      濱口毅、酒井正彦、馬場正貴、阿草清滋
    • 学会等名
      情報処理学会 第81回プログラミング研究発表会
    • 発表場所
      高知
    • 年月日
      2010-10-28
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] CASEツール・プラットフォームのためのCソースプログラムのXML表現とその応用2010

    • 著者名/発表者名
      渥美紀寿,山本晋一郎,小林隆志,阿草清滋
    • 学会等名
      ソフトウェアシンポジウム2010
    • 発表場所
      東京
    • 年月日
      2010-09-01
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Session Type Inference in Haskell2010

    • 著者名/発表者名
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • 学会等名
      PLACES' 10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • 発表場所
      Paphos, Cyprus
    • 年月日
      2010-03-21
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 構文木の構造とラペルの類似性に基づくコードスニペット抽出2009

    • 著者名/発表者名
      大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      ウインターワークショップ2009・イン・宮崎
    • 発表場所
      宮崎 宮崎市民プラザ/宮崎観光ホテル
    • 年月日
      2009-01-23
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] A Full Implementation of Session Types2009

    • 著者名/発表者名
      今井敬吾, 結縁祥治, 阿草清滋
    • 学会等名
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • 発表場所
      岐阜高山グリーンホテル
    • 年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Sequence Diagram Slicing2009

    • 著者名/発表者名
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
    • 学会等名
      Asia-Pacific Software Engineering Conference(APSEC)2009
    • 発表場所
      Bayview Beach Resort(Penang, Malaysia)
    • 年月日
      2009-12-01
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 多粒度な可視化によるソフトウェア理解支援2009

    • 著者名/発表者名
      上原伸介,小林隆志,大須賀俊憲,山本晋一郎,阿草清滋
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム
    • 発表場所
      東京
    • 年月日
      2009-09-08
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証2009

    • 著者名/発表者名
      馬場敬, 結縁祥治, 阿草清滋
    • 学会等名
      ソフトウェアサイエンス研究会
    • 発表場所
      佐賀大学
    • 年月日
      2009-03-02
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] JavaScriptソースコードリポジトリを用いた代替コード発見2009

    • 著者名/発表者名
      蛭牟田英治,末次亮,大須賀俊憲,小林隆志,山本晋一郎,阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップ2009
    • 発表場所
      箱根
    • 年月日
      2009-11-13
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 高精度なデータ依存解析に基づくシーケンス図スライシング手法2009

    • 著者名/発表者名
      野田訓広, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      情報処理学会第163回ソフトウェア工学研究発表会
    • 発表場所
      東京化学会館
    • 年月日
      2009-03-19
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] A Full Implementation of Session Types2009

    • 著者名/発表者名
      今井敬吾,結縁祥治,阿草清滋
    • 学会等名
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • 発表場所
      岐阜
    • 年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Sequence Diagram Slicing2009

    • 著者名/発表者名
      Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
    • 学会等名
      Asia-Pacific Software Engineering Conference(APSEC) 2009
    • 発表場所
      Penang, Malaysia
    • 年月日
      2009-12-01
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ2009

    • 著者名/発表者名
      大須賀俊憲, 小林隆志, 間瀬順一, 渥美紀寿, 山本晋一郎, 鈴村延保, 阿草清滋
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム
    • 発表場所
      東京女子大学(東京都)
    • 年月日
      2009-09-08
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Image Semantic Search Engine2009

    • 著者名/発表者名
      Chao-Qing Lv, Takashi Kobayashi, Kiyoshi Agusa, Wu Kun, Zhu Qing
    • 学会等名
      Intl Workshop on Database Technology and Applications(DBTA2009)
    • 発表場所
      Wuhan University(Wuhan, China)
    • 年月日
      2009-04-25
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] 多粒度な可視化によるソフトウェア理解支援2009

    • 著者名/発表者名
      上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム
    • 発表場所
      東京女子大学(東京都)
    • 年月日
      2009-09-08
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] Java Scriptソースコードリポジトリを用いた代替コード発見2009

    • 著者名/発表者名
      蛭牟田英治, 末次亮, 大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップ2009
    • 発表場所
      箱根湯元温泉ホテルおかだ(神奈川県)
    • 年月日
      2009-11-13
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] スタックトレース情報を用いた問題解決経験の検索2009

    • 著者名/発表者名
      谷聡貴,小林隆志,山本晋一郎,阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2008
    • 発表場所
      兵庫
    • 年月日
      2009-11-14
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ2009

    • 著者名/発表者名
      大須賀俊憲,小林隆志,間瀬順一,渥美紀寿,山本晋一郎,鈴村延保,阿草清滋
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム
    • 発表場所
      東京
    • 年月日
      2009-09-08
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] A Web application bi-execution model for a framework preventing Amazon-bug2008

    • 著者名/発表者名
      Ryota, Mizuno, Keigo, Imai, Ryo, Suetsugu, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • 学会等名
      IEICE SIG-SS
    • 発表場所
      Sasebo(Nagasaki)
    • 年月日
      2008-03-04
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] コードクローンを用いたコードスニペツト抽出の試み2008

    • 著者名/発表者名
      大須賀俊憲, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2008
    • 発表場所
      兵庫ウェステインホテル淡路/淡路夢舞台国際会議場
    • 年月日
      2008-11-14
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] スタックトレース情報を用いた問題解決経験の検索2008

    • 著者名/発表者名
      谷聡貴, 小林隆志, 山本晋一郎, 阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2008
    • 発表場所
      兵庫ウェステインホテル淡路/淡路夢舞台国際会議場
    • 年月日
      2008-11-14
    • データソース
      KAKENHI-PROJECT-20300009
  • [学会発表] アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル2008

    • 著者名/発表者名
      水野良太, 今井敬吾, 末次亮, 金子伸幸, 山本晋一郎, 阿草清滋
    • 学会等名
      電気電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      長崎県佐世保市
    • 年月日
      2008-03-04
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • 著者名/発表者名
      Sakura Bhandari, Shoji Yuen, Kiyoshi Agusa
    • 学会等名
      Workshop on Service Oriented Architecture, APSEC2007, pages 8-15(査読有)
    • 発表場所
      名古屋ミッドランドホール
    • 年月日
      2007-12-04
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] A description for integrated operation of network appliance in Distributed control environment2007

    • 著者名/発表者名
      Sakura, Bhandari, Shoji, Yuen, Kiyoshi, Agusa
    • 学会等名
      5th Dependable System Workshop(DSW07 pp. 35-44)
    • 発表場所
      Hakodate
    • 年月日
      2007-07-04
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] StrutsLint : A code checker of Web applications2007

    • 著者名/発表者名
      Nobuyuki, Kaneko, Hiroaki, Kuwabara, Shinnichiro, Yamamoto, Kiyoshi, Agusa
    • 学会等名
      24th JSSST taikai
    • 発表場所
      Nara
    • 年月日
      2007-09-12
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法2007

    • 著者名/発表者名
      今井 敬吾, 結縁 祥治, 阿草 清滋
    • 学会等名
      情報処理学会プログラミング研究会
    • 発表場所
      名古屋大学
    • 年月日
      2007-10-12
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] A synchronization flow analysis of concurrent objects in AIBO OPEN-11 programs based on communicating processes2007

    • 著者名/発表者名
      Ryo, Suetsugu, Shoji, Yuen, Kiyoshi, Agusa
    • 学会等名
      14th Asia Pacific Sofeware Engineering(APSEC2007, pp.366-373)
    • 発表場所
      Midland Hall
    • 年月日
      2007-12-06
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • 著者名/発表者名
      Sakura, Bhandari, Shoji, Yuen, Kiyoshi, Agusa
    • 学会等名
      Workshop on Service Oriented Architecture collocated at APSEC2007(pp.8-15)
    • 発表場所
      Midland-hall(Nagoya)
    • 年月日
      2007-12-04
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] 分散環境における家電機器の連携動作の記述手法2007

    • 著者名/発表者名
      バンダリさくら、結縁祥治、阿草清滋
    • 学会等名
      日本ソフトウェア科学会第5回ディペンダブルソフトウェアワークショプ, pages35-44(査読無)
    • 発表場所
      函館大沼公園
    • 年月日
      2007-07-04
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] π計算におけるセッションの構造化2007

    • 著者名/発表者名
      今井敬吾、結縁祥治、阿草清滋
    • 学会等名
      日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ, pages140-154(査読有)
    • 発表場所
      山代温泉(福井県)
    • 年月日
      2007-03-09
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Reuse support system based on software integral search2007

    • 著者名/発表者名
      Osuka, Toshinori, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • 学会等名
      Foundation of Software Engineering (FOSE2007,pp.203-208)
    • 発表場所
      Shimonoseki
    • 年月日
      2007-11-09
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] A synchronization flow analysis of concurrent objects in AIBO OPEN-Rprograms based on communicating processes2007

    • 著者名/発表者名
      Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
    • 学会等名
      14th Asia-Pacific software engineering conference APSEC2007, pages 366-373(査読有)
    • 発表場所
      名古屋ミッドランドホール
    • 年月日
      2007-12-06
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] StrutsLint:Webアプリケーションコーディングチェッカ2007

    • 著者名/発表者名
      金子 伸幸, 桑原 寛明, 山本 晋一郎, 阿草 清滋
    • 学会等名
      日本ソフトウェア科学会24回大会
    • 発表場所
      奈良先端科学技術大学院大学
    • 年月日
      2007-09-12
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Structured sessions in the pi-calculus2007

    • 著者名/発表者名
      Keigo, Imai, Shoji, Yuen, Kiyoshi, Agusa
    • 学会等名
      9th Workshop on Programming and Programing Languages(PPL2007 pp.140-154)
    • 発表場所
      Yamashiro-onsen(Fukui)
    • 年月日
      2007-03-09
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Dependable network programming with Haskell based on session types2007

    • 著者名/発表者名
      Keigo, Imai, Shoji, Yuen, Kiyoshi, Agusa
    • 学会等名
      5th Dependable System' Workshop(DSW07 pp.95-105)
    • 発表場所
      Hakodate
    • 年月日
      2007-07-03
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] ソフトウェア統合検索を利用した再利用支援システム2007

    • 著者名/発表者名
      大須賀俊憲、金子伸幸、山本晋一郎、小林隆志、阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2007, pages 203-208(査読有)
    • 発表場所
      下関第一ホテル
    • 年月日
      2007-11-09
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] plog : Programming activity recording system aiming at extraction of Programming experience2007

    • 著者名/発表者名
      Tani, Toshiki, Nobuyuki Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • 学会等名
      Foundation of Software Engineering(FOSE2007, pp.161-166)
    • 発表場所
      Shimonoseki
    • 年月日
      2007-11-09
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Plog:プログラミング経験の抽出を目的とした作業収集システム2007

    • 著者名/発表者名
      谷聡貴、金子伸幸、山本晋一郎、阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2007, pages161-166(査読有)
    • 発表場所
      下関第一ホテル
    • 年月日
      2007-11-09
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] セッション型に基づく高信頼ネットワークプログラムのHaskell言語による実装2007

    • 著者名/発表者名
      今井敬吾、結縁祥治、阿草清滋
    • 学会等名
      日本ソフトウェア科学会第5回ディペンダブルソフトウェアワークショプ, pages95-105(査読無)
    • 発表場所
      函館大沼公園
    • 年月日
      2007-07-03
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] A Refactoring Method Using Web Abstract Program2006

    • 著者名/発表者名
      Takashi, Ito, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • 学会等名
      IPSJ SIG-SE-151(pp.97-104)
    • 発表場所
      Kagaku-kaikan
    • 年月日
      2006-03-24
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] コレオグラフィー記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • 著者名/発表者名
      バンダリさくら、結縁祥治、阿草清滋
    • 学会等名
      日本ソフトウェア科学会第4回ディペンダブルソフトウェアワークショプ, pages11-20(査読無)
    • 発表場所
      東京大学
    • 年月日
      2006-12-20
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Webフレームワークを使った開発における単体テスト自動化手法2006

    • 著者名/発表者名
      並河英二、森川和明、山本晋一郎、阿草清滋
    • 学会等名
      日本ソフトウェア科学会第4回ディペンダブルソフトウェアワークショプ, pages21-30(査読無)
    • 発表場所
      東京大学
    • 年月日
      2006-12-20
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Web2.0時代のプログラミングスタイル2006

    • 著者名/発表者名
      金子伸幸、末次亮、山本晋一郎、阿草清滋
    • 学会等名
      Workshop on Leveraging Web2.0 Technologies in Software Development Environment, pages1-2(査読有)
    • 発表場所
      学術総合センター
    • 年月日
      2006-09-19
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Web抽象プログラムを用いたリファクタリング2006

    • 著者名/発表者名
      伊藤崇、金子伸幸、山本晋一郎、阿草清滋
    • 学会等名
      情報処理学会研究会報告2006-SE-151, pages97-104(査読無)
    • 発表場所
      化学会館(東京都千代田区)
    • 年月日
      2006-03-24
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Immutability Analysis for Java Program Understanding2006

    • 著者名/発表者名
      Ryota, Mizuno, Hiroaki, Kuwabara, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • 学会等名
      IPSJ SIG-SE-152(pp.33-40)
    • 発表場所
      Kagaku-kaikan
    • 年月日
      2006-05-17
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] An automated technique of unit-tests in the Web framework development2006

    • 著者名/発表者名
      Eiji, Nabika, Kazuaki, Morikawa, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • 学会等名
      Dependable Software Workshop(DSW06-2)
    • 発表場所
      University of Tokyo
    • 年月日
      2006-12-20
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Javaプログラム理解支援のための不変量解析2006

    • 著者名/発表者名
      水野良太、桑原寛明、山本晋一郎、阿草清滋
    • 学会等名
      情報処理学会研究会報告2006-SE-152, pages33-40(査読無)
    • 発表場所
      化学会館(東京都千代田区)
    • 年月日
      2006-05-17
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] A Programming style in Web 2.0 Environment2006

    • 著者名/発表者名
      Nobuyuki, Kaneko, Ryo, Suetsugu, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • 学会等名
      Japanese Workshop on Leveraging Web 2.0 Technologies in Software Development Environment(pp.1-2)
    • 発表場所
      NH(Tokyo)
    • 年月日
      2006-09-19
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] A Content Control Framework based on Separation of Concern2006

    • 著者名/発表者名
      Shigehiro, Iida, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Shoji, Yuen, Kiyoshi, Agusa
    • 学会等名
      Foundation of Software Engineering 2006
    • 発表場所
      Welsampia-Tateyama
    • 年月日
      2006-11-10
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] Communication Centered Programming for Integrated Services of Home Appliances using Choreography Description Language2006

    • 著者名/発表者名
      Sakura, Bhandari, Shoij, Yuen, Kiyoshi, Agusa
    • 学会等名
      4th Dependable Software Workshop(DSW06-2)
    • 発表場所
      University of Tokyo
    • 年月日
      2006-12-20
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] 関心の分離に基づくコンテンツ制御フレームワーク2006

    • 著者名/発表者名
      飯田恵大、金子伸幸、山本晋一郎、結縁祥治、阿草清滋
    • 学会等名
      ソフトウェア工学の基礎ワークショップFOSE2006, pages147-156(査読有)
    • 発表場所
      ウエルサンピア立山
    • 年月日
      2006-11-10
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300006
  • [学会発表] オブジェクトの動的特徴に着目した実行トレースの抽象化

    • 著者名/発表者名
      戸田 達也, 小林隆志, 渥美紀寿, 阿草清滋
    • 学会等名
      電子情報通信学会 ソフトウェアサイエンス研究会
    • 発表場所
      てんぷす那覇(沖縄県)
    • データソース
      KAKENHI-PROJECT-24300006
  • [学会発表] Grouping Objects for Execution Trace Analysis based on Design Patterns

    • 著者名/発表者名
      Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
    • 学会等名
      The 5th International Workshop on Empirical Software Engineering in Practice
    • 発表場所
      Pullman Bangkok King Power Hotel (Thailand)
    • データソース
      KAKENHI-PROJECT-24300006
  • 1.  濱ロ 毅 (90273284)
    共同の研究課題数: 7件
    共同の研究成果数: 3件
  • 2.  山本 晋一郎 (40240098)
    共同の研究課題数: 6件
    共同の研究成果数: 38件
  • 3.  結縁 祥治 (70230612)
    共同の研究課題数: 6件
    共同の研究成果数: 42件
  • 4.  坂部 俊樹 (60111829)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 5.  鰺坂 恒夫 (30175864)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 6.  片山 卓也 (70016468)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  小谷 善行 (20111627)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 8.  大岩 元 (20011679)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  牛島 和男 (40037750)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 10.  美濃 導彦 (70166099)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  宮本 衛市 (00001173)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  武市 正人 (10011165)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  伊藤 貴康 (80124551)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  小林 隆志 (50345386)
    共同の研究課題数: 2件
    共同の研究成果数: 46件
  • 15.  酒井 正彦 (50215597)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 16.  稲垣 康善 (10023079)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 17.  落水 浩一郎 (10022310)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 18.  佐伯 元司 (80162254)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 19.  大野 豊 (60026185)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 20.  大西 淳 (50160560)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 21.  手嶋 茂晴 (50394599)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 22.  田畑 孝一 (50026085)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  中津 楢男 (90133131)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  橋爪 宏達 (40172853)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  安達 淳 (80143551)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  杉本 重雄 (40154489)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  荒木 啓二郎 (40117057)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  当麻 喜弘 (50016317)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  河口 信夫 (10273286)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  中田 育男 (70133022)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  池田 克夫 (30026009)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  中村 奉夫 (70015923)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  海老原 義彦 (00101155)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  西原 清一 (50026168)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  大田 友一 (50115804)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  宮本 明 (50093076)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  平尾 一之 (90127126)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  渥美 紀寿 (70397446)
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 39.  細野 公男 (50051628)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  鳥居 宏次 (10172222)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  馮 速 (90262881)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  渡辺 正子 (70127158)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 43.  手嶋 重晴
    共同の研究課題数: 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