KASUYA Hideto 粕谷英人

… Alternative Names

粕谷英人カスヤヒデト

粨谷英人カスヤヒデト

Less

Researcher Number	10295579
External Links
Affiliation (Current)	2025: 愛知県立大学, 情報科学部, 講師
Affiliation (based on the past Project Information) *help	2009 – 2013: 愛知県立大学, 情報科学部, 講師 2007 – 2008: Aichi Prefectural University, Faculty of Information Science and Technology, Assistant Professor 1998 – 2006: 愛知県立大学, 情報科学部, 助手 2004: Aichi Prefectural University, Faculty of Information Science and Technology, Assistant Professor, 助手 2001: 和歌山大学, システム情報学センター, 助手
Review Section/Research Field	Principal Investigator Software Except Principal Investigator 計算機科学 / Software / Fundamental theory of informatics
Keywords	Principal Investigator 決定可能性 / 必須書換え戦略 / 正規化戦略 / 高階書換え系 / 関数型プログラミング言語 Except Principal Investigator 関数型言語 / 項書換え系 / RSS / functional language / normalizing strategy … More / term rewriting system / 正規化戦略 / Idiom / 関数呼出依存グラフ / イディオム / 停止性証明 / 潜在帰納法 / software understanding support / XML Sticky Notes / volatile information / ソフトウェアブラウザ / ソフトウェア理解支援 / XML付箋 / 揮発性情報 / outer-most strategy / implicit induction / termination proof / 最外戦略 / Clustering / Similarity / Software Retrieval / Software Reuse / Program Corpus / オープンコース / ソフトウエア / コーパス / 検索 / オープンソース / ソフトウェア / クラスタリング / 類似度 / ソフトウェア検索 / ソフトウェア再利用 / プログラムコーパス / Reuse Environment / Reuse / Dependency Analysis / Function Dependency Graph / Program Pattern / プログラム部品 / CASEツール / 関数依存グラフ / 開発環境 / 再利用 / 再利用環境 / 再利用支援 / 依存解析 / プログラムパターン / Contents Management System / Webモーフィング / CMS / Webコンテンツ開発 / プログラム解析 / Web開発環境 / Webアプリケーション / 滞在帰納法 / 定理自動証明 / 単純型書換え系 / 合流性 / 停止性 / Specializer / ソフトウェア発展 / 差分 / Semantic Diff Less

Web development environment for evolutional Web sites
- Principal Investigator
  
  YAMAMOTO Shinichirou
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Aichi Prefectural University
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
- Principal Investigator
  
  SAKAI Masahiko
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
正規化戦略に基づく関数型プログラムの効率的実行に関する研究Principal Investigator
- Principal Investigator
  
  粕谷英人
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Aichi Prefectural University
A Novel Software Artifacts Management System using XML Sticky Notes and RSS
- Principal Investigator
  
  YAMAMOTO Shinichirou
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Aichi Prefectural University
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
- Principal Investigator
  
  SAKAI Masahiko
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
Research on Large-scale Program Corpus for Open Source Software
- Principal Investigator
  
  YAMAMOTO Sinichiro
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Aichi Prefectual University
Research on Classification of Programs and Reuse Environment based on Function Dependency Graph
- Principal Investigator
  
  YAMAMOTO Shinichirou
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Aichi Prefectural University
Strategies on functional languages
- Principal Investigator
  
  SAKAI Masahiro
- Project Period (FY)
  1999 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
Semantic Diffを用いた高品質ソフトウェアの発展過程に関する研究
- Principal Investigator
  
  YAMAMOTO Shinichirou
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Aichi Prefectural University

All 2014 2013 2012 2011 2009 2008 2007 2006 2005 2004

All Journal Article Presentation

[Journal Article] プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出2011
- Author(s)
  藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア
  
  Volume: Vol.28, No.4 Pages: 358-370
- NAID
  130004549247
- Data Source
  KAKENHI-PROJECT-22300011
[Journal Article] モデル検査における妥当性確認を目的とした並行システムの表現手法2011
- Author(s)
  竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア
  
  Volume: Vol.28, No.1 Pages: 293-299
- NAID
  130004892166
- Data Source
  KAKENHI-PROJECT-22300011
[Journal Article] モデル検査における妥当性確認を目的とした並行システムの表現手法2011
- Author(s)
  竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.28, No.1 Pages: 293-299
- NAID
  130004892166
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300011
[Journal Article] Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes2009
- Author(s)
  Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
- Journal Title
  
  IPSJ Transactions of Programming Vol.2
  
  Pages: 144-165
- NAID
  130000107986
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Recognizability of Redexes for Higher-Order Rewrite Systems2009
- Author(s)
  Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
- Journal Title
  
  IPSJ Transactions of Programming 2巻
  
  Pages: 166-175
- NAID
  130000107987
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes2009
- Author(s)
  Hideto Kasuya Masahiko Sakai, Kiyoshi Agusa
- Journal Title
  
  IPSJ Transactions of Programming 2
  
  Pages: 144-165
- NAID
  130000107986
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes2009
- Author(s)
  Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
- Journal Title
  
  IPSJ Transactions of Programming 2巻
  
  Pages: 144-165
- NAID
  130000107986
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Rcognizability of Redexes for Higher-Order Rewrite Systems2009
- Author(s)
  Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
- Journal Title
  
  IPSJ Transactions of Programming Vol.2
  
  Pages: 166-175
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Recognizability of Redexes for Higher-Order Rewrite Systems2009
- Author(s)
  Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
- Journal Title
  
  IPSJ Transactions of Programming 2
  
  Pages: 166-175
- NAID
  130000107987
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 形式的概念分析を用いたグルーピングによるCプログラム理解支援手法2007
- Author(s)
  栗田健士, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦
- Journal Title
  
  情報研報 Vol.2007,no.2007-SE-155(20)
  
  Pages: 151-158
- NAID
  110006249964
- Data Source
  KAKENHI-PROJECT-17300008
[Journal Article] 構造の対応に基づいたXml文書のスキーマ変換器自動生成2007
- Author(s)
  小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎
- Journal Title
  
  信学技報 Vol.106,No.522
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-17300008
[Journal Article] 構文木に着目してXMLマークアップされたソースプログラム間の差分抽出2006
- Author(s)
  高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎
- Journal Title
  
  情報処理学会研究報告 2006-SE-151
  
  Pages: 41-48
- NAID
  110004687078
- Data Source
  KAKENHI-PROJECT-17300008
[Journal Article] Javaプログラムからのオブジェクトフローグラフの生成2005
- Author(s)
  堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦
- Journal Title
  
  情報学ワークショップ2005(WiNF2005)論文集
  
  Pages: 25-31
- Data Source
  KAKENHI-PROJECT-17300008
[Journal Article] CASE-tool Platform Development Framework based on XML2004
- Author(s)
  Tohru TAKAHASHI, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO
- Journal Title
  
  Foundation of Software Engineering 2004 JSSST
  
  Pages: 161-172
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14380148
[Journal Article] 高階書換え系の決定可能な計算戦略について2004
- Author(s)
  粕谷英人, 酒井正彦, 阿草清滋
- Journal Title
  
  電子情報通信学会技術報告 SS2004-6
  
  Pages: 1-6
- NAID
  110003276712
- Data Source
  KAKENHI-PROJECT-15500007
[Presentation] 言語変換系を用いたソフトウェア開発におけるソースレベルデバッグ支援2014
- Author(s)
  西村将広, 大久保弘崇, 粕谷英人, 山本晋一郎
- Organizer
  電子情報通信学会東海支部平成25年度卒業研究発表会論文集
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] 言語変換系を用いたソフトウェア開発におけるソースレベルデバッグ支援2014
- Author(s)
  伊東宥, 大久保弘崇, 粕谷英人, 山本晋一郎
- Organizer
  電子情報通信学会東海支部平成25年度卒業研究発表会
- Place of Presentation
  三重県津市
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] Haskellプログラムの学習支援を目的とした実行トレースの可視化手法2014
- Author(s)
  西村将広, 大久保弘崇, 粕谷英人, 山本晋一郎
- Organizer
  電子情報通信学会東海支部平成25年度卒業研究発表会
- Place of Presentation
  三重県津市
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] 大規模ソフトウェアの概要把握支援のための動的解析結果の静的解析を用いた一元化2013
- Author(s)
  竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦
- Organizer
  ソフトウェアエンジニアリングシンポジウム2013 論文集
- Place of Presentation
  (Vol.2013)
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] 大規模ソフトウェアの概要把握の支援を目的とした構造体型の特徴付け2013
- Author(s)
  竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦
- Organizer
  研究報告ソフトウェア工学(SE)
- Place of Presentation
  (Vol.2013-SE-179, No.2)
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] 大規模ソフトウェアの概要把握の支援を目的とした構造体型の特徴付け2013
- Author(s)
  竹治勲，大久保弘崇，粕谷英人，山本晋一郎，齋藤邦彦
- Organizer
  情報処理学会ソフトウェア工学研究会 2013-SE-179(2)
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] API の使用状況に基づく機能のグルーピングとそれを用いたソフトウェア自動分類2013
- Author(s)
  丹羽一平, 大久保弘崇, 粕谷英人, 山本晋一郎
- Organizer
  研究報告ソフトウェア工学(SE)
- Place of Presentation
  (Vol.2013-SE-179, No.3,)
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] APIの使用状況に基づく機能のグルーピングとそれを用いたソフトウェア自動分類2013
- Author(s)
  丹羽一平，大久保弘崇，粕谷英人，山本晋一郎
- Organizer
  情報処理学会ソフトウェア工学研究会 2013-SE-179(3)
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] 実行履歴に基づくソフトウェア構築モデルの提案2013
- Author(s)
  竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦
- Organizer
  ソフトウェアエンジニアリングシンポジウム2013
- Place of Presentation
  東京都文京区
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] テキスト値出現位置に着目したXML 文書のスキーマ変換器学習手法2012
- Author(s)
  小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎
- Organizer
  研究報告ソフトウェア工学(PRO)
- Place of Presentation
  (Vol.2011-4-(5))
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] テキスト値出現位置に着目したXML文書のスキーマ変換器学習手法2012
- Author(s)
  小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎
- Organizer
  第87回情報処理学会プログラミング研究会,2011-4-(5),pp.1-9
- Place of Presentation
  沖縄県久米島町
- Year and Date
  2012-01-23
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] サンプルプログラム自動生成のためのリソースを考慮した依存グラフ2011
- Author(s)
  藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎
- Organizer
  研究報告ソフトウェア工学(SE)
- Place of Presentation
  (Vol.2011-SE-171, No.11)
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] Synergistic Use of both Static and Dynamic Information to Generate Reversed Uml Diagrams for Better Software Understanding2011
- Author(s)
  Yoshihiko Hotta, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, Kunihiko Saito
- Organizer
  The 22nd International Symposium on Software Reliability Engineering (ISSRE 2011)
- Place of Presentation
  Hiroshima, Japan
- Year and Date
  2011-11-29
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] Web サイト群の構造分析による典型的構造の抽出法2011
- Author(s)
  東祐太朗, 粕谷英人, 大久保弘崇, 山本晋一郎
- Organizer
  第10回情報科学技術フォーラム(FIT2011) 講演論文集
- Place of Presentation
  (Vol.1 B-024)
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] Synergistic Use of both Static and Dynamic Information to Generate Reversed Uml Diagrams for Better Software Understanding2011
- Author(s)
  Yoshihiko Hotta, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto and Kunihiko Saito
- Organizer
  The 22nd International Symposium on Software Reliability Engineering (ISSRE 2011)
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] Webサイト群の構造分析による典型的構造の抽出法2011
- Author(s)
  東祐太朗, 粕谷英人, 大久保弘崇, 山本晋一郎
- Organizer
  第10回情報科学技術フォーラム(FIT2011)
- Place of Presentation
  函館大学
- Year and Date
  2011-09-08
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] サンプルプログラム自動生成のためのリソースを考慮した依存グラフ2011
- Author(s)
  藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎
- Organizer
  情報処理学会研究報告ソフトウェア工学(SE)
- Place of Presentation
  東京
- Year and Date
  2011-03-14
- Data Source
  KAKENHI-PROJECT-22300011
[Presentation] A Validation Check Method for CSS Rendering of Web Browser2008
- Author(s)
  Y. Kondo, H. Ohkubo, H. Kasuya, S. Yamamoto
- Organizer
  IPSJ, Zenkoku-taikai
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300008
[Presentation] Plugin Development Support using Execution Information on Extensible Software2008
- Author(s)
  D. Kiyosaki, H. Ohkubo, H. Kasuya, S. Yamamoto
- Organizer
  IPSJ, SIG-SE
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300008
[Presentation] Generation of Expanded Sequence Diagram based on UML by Reverse Engineering2007
- Author(s)
  Y. Hotta, H. Ohkubo, H. Kasuya, S. Yamamoto, K. Saito
- Organizer
  IPSJ and IEICE FIT
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300008
[Presentation] Extract execution information for the extensible software based on OSGi2007
- Author(s)
  D. Kiyosaki, H. Ohkubo, H. Kasuya, S. Yamamoto
- Organizer
  IPSJ, SES 2007
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300008
[Presentation] A support of web designing with the morphing between web sites2007
- Author(s)
  Y. Kondo, H. Ohkubo, H. Kasuya, S. Yamamoto
- Organizer
  JSSST, WISS 2007
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300008

1. YAMAMOTO Shinichirou (40240098)

# of Collaborated Projects: 5 results

# of Collaborated Products: 30 results
2. OHKUBO Hirotaka (40295580)

# of Collaborated Projects: 4 results

# of Collaborated Products: 30 results
3. SAKAI Masahiko (50215597)

# of Collaborated Projects: 3 results

# of Collaborated Products: 7 results
4. YOSHIDA Atsushi (50283495)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. SAKABE Toshiki (60111829)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. KUSAKARI Keiichirou (90323112)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. NISHIDA Naoki (00397449)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. TOYAMA Yoshihito (00251968)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. NAOI Tohru (10207699)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. HACHISU Yoshinari (30319298)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 濱口毅 (90273284)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KASUYA Hideto 粕谷 英人

粕谷 英人 カスヤ ヒデト

粨谷 英人 カスヤ ヒデト

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

正規化戦略に基づく関数型プログラムの効率的実行に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

[Journal Article] プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出2011

Author(s)

Journal Title

NAID

Data Source

[Journal Article] モデル検査における妥当性確認を目的とした並行システムの表現手法2011

Author(s)

Journal Title

NAID

Data Source

[Journal Article] モデル検査における妥当性確認を目的とした並行システムの表現手法2011

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Recognizability of Redexes for Higher-Order Rewrite Systems2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes2009

Author(s)

Journal Title

NAID

KASUYA Hideto 粕谷英人

粕谷英人カスヤヒデト

粨谷英人カスヤヒデト