Komiya Seiichi 古宮誠一

… Alternative Names

KOMIYA Seiichi 古宮誠一

Less

Researcher Number	60338308
External Links
Affiliation (based on the past Project Information) *help	2016: 国立情報学研究所, 大学共同利用機関等の部局等, 特任教授 2015 – 2016: 国立情報学研究所, 先端ソフトウェア工学・国際研究センター, 特任教授 2013 – 2014: 国立情報学研究所, 先端ソフトウェア工学・国際研究センター, 教授 2003 – 2004: 芝浦工業大学, 工学部, 教授
Review Section/Research Field	Principal Investigator Learning support system Except Principal Investigator Software
Keywords	Principal Investigator ミューテーション操作 / ミューテ－ション解析 / コンパイルエラー / ミュータント / オリジナル / ミューテーション解析 / コーディングサンプル / 摂動 / クラス設計 / 要求仕様 … More / 帰納推論に基づく学習法 / 摂動に基づく学習法 / 文法知識の習得支援 / ミューテーション解析支援環境 / 帰納推論に基づく学習 / 摂動に基づく学習 / Project-Based Learning / 文法知識の習得 … More Except Principal Investigator Use Case / Software Package / Scenario Analysis / Thesaurus / Goal-Oriented Analysis / Requirements Elicitation Method / シナリオ / ユースケース / ソフトウェアパッケージ / シナリオ分析 / シソーラス / ゴール指向要求分析法 / ソフトウェア要求獲得法 Less

Knowledge acquisition of program language grammar by supporting technology based on perturbationPrincipal Investigator
- Principal Investigator
  
  Komiya Seiichi
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Learning support system
- Research Institution
  National Institute of Informatics
Research on Package-Oriented Requirements Engineering
- Principal Investigator
  
  SAEKI Motoshi
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  TOKYO INSTITUTE OF TECHNOLOGY

All 2016 2015 2014 2005 2004 2003 Other

All Journal Article Presentation

[Journal Article] Proposals of a Method Detecting Learner's Difficult Points in Object Modeling Exercises and a Tool to Support the Method2015
- Author(s)
  Takafumi Tanaka, Kazuki Mori, Hiroaki Hashiura, Atsuo Hazeyama, Seiichi Komiya
- Journal Title
  
  International Journal of Software Inovation, Management, and Application (IJSI)
  
  Volume: 3, Issue 1 Issue: 1 Pages: 63-74
- DOI
  10.4018/ijsi.2015010105
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330416
[Journal Article] シソーラスを用いた要求分析法2005
- Author(s)
  加藤, 佐伯, 大西, 古宮, 山本, 海谷
- Journal Title
  
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会 Vol.104, No.772
  
  Pages: 31-36
- NAID
  110003277294
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] シソーラスを用いた要求分析法2005
- Author(s)
  加藤, 佐伯, 大西, 古宮, 山本, 海谷
- Journal Title
  
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会 104, 722
  
  Pages: 31-36
- NAID
  110003277294
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Developing Thesauruses for Requirements Analysis2004
- Author(s)
  J.Kato, A.Ohnishi, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai
- Journal Title
  
  2nd International Workshop on Requirements and COTS Components (RECOTS'04)
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Supporting the Development of a Thesaurus for Requirements Analysis(in Japanese)2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  Technical Report of IEICE on Knowledge Based Software Engineering 103, 217
  
  Pages: 41-46
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] PAORE : Package Oriented Requirements Elicitation2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  10th Asia-Pacific Software Engineering Conference(APSEC2003)
  
  Pages: 17-28
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] 要求分析のためのシソーラス作成支援2003
- Author(s)
  加藤, 佐伯, 大西, 永田, 海谷, 古宮, 山本, 蓬莱
- Journal Title
  
  電子情報通信学会技術研究報告知能ソフトウェア工学研究会 103, 217
  
  Pages: 41-46
- NAID
  110003298847
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] PAORE : Package Oriented Requirements Elicitation2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  10th Asia-Pacific Software Engineering Conference APSEC2003)
  
  Pages: 17-26
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Presentation] 講義内容の要約字幕作成支援システム～意思決定法とバスケット分析に基づく支援方法の提案2016
- Author(s)
  古宮誠一，上之園和宏，八重樫理人
- Organizer
  情報処理学会の情報システムと社会環境研究会
- Place of Presentation
  國學院大學(渋谷キャンパス)
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] ERモデリング演習における学習者の思考過程収集手法とその適用2016
- Author(s)
  田中昂文, 橋浦弘明, 櫨山淳雄, 古宮誠, 平井佑樹, 金子敬一
- Organizer
  電子情報通信学会の知能ソフトウェア工学研究会
- Place of Presentation
  同志社大学の東京オフィス
- Year and Date
  2016-05-25
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] 講義内容の要約字幕作成支援システム－意思決定手法とバスケット分析に基づく支援方法の実装と評価－2016
- Author(s)
  桃井凌，杉本徹, 古宮誠一, 上之薗和宏, 八重樫理人
- Organizer
  情報処理学会の情報システムと社会環境研究
- Place of Presentation
  (公)はこだて未来大学
- Year and Date
  2016-08-25
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] 制約充足問題として捉える漢詩作成・推敲過程～制約の調査結果とそれに基づく支援方法の検討2016
- Author(s)
  古宮誠一
- Organizer
  情報処理学会の情報システムと社会環境研究
- Place of Presentation
  (公)はこだて未来大学
- Year and Date
  2016-08-25
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] 制約充足問題として捉える漢詩作成・推敲過程～制約の調査結果とそれに基づく支援方法の検討2016
- Author(s)
  古宮誠一
- Organizer
  電子情報通信学会のKBSE研究会+SS研究会＋情報処理学会のSE研究会(共催)
- Place of Presentation
  北海道立道民活動センター(札幌市)
- Year and Date
  2016-07-13
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] 講義内容の要約字幕作成支援システム～意思決定法とバスケット分析に基づく支援方法の提案2016
- Author(s)
  古宮誠一，上之園和宏，八重樫理人
- Organizer
  電子情報通信学会の知能ソフトウェア工学研究会
- Place of Presentation
  同志社大学の東京オフィス
- Year and Date
  2016-05-25
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] Do Learner to Create an Artifact with Good Quality Make a Number of Trials and Errors during the Editing Process ?2015
- Author(s)
  Takafumi Tanaka, Atsuo Hazeyama, Hiroaki Hashiura, Seiichi Komiya
- Organizer
  ACIT2015
- Place of Presentation
  岡山コンベンションセンター(岡山県岡山市)
- Year and Date
  2015-07-12
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] オブジェクトモデリング演習における学習者によっての難所の検出手法と試演システムの提案2014
- Author(s)
  田中昂文，森一樹，橋浦弘明，櫨山淳雄，古宮誠一
- Organizer
  情報処理学会
- Place of Presentation
  東京・化学会館
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] 要求仕様の理解と妥当性確認の為の議論の実施に向けてー議論の内容を構造化して記録する為のモデルの提案2014
- Author(s)
  古宮誠一
- Organizer
  電子情報通信学会
- Place of Presentation
  沖縄・沖縄県青年会館
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] 要求仕様の内容の理解と妥当性チェックのための議論の必要性　～その議論の内容を理解し易い形で即時記録するためのモデルの提案2014
- Author(s)
  古宮誠一
- Organizer
  AFFORD Conference 2014
- Place of Presentation
  横浜市開港記念会館
- Year and Date
  2014-06-06
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] プログラム学習支援環境AZUR ーブロック構造と関数動作の可視化による支援ー2014
- Author(s)
  古宮誠一, 今泉俊幸, 橋浦弘明, 松浦佐江子
- Organizer
  情報処理学会
- Place of Presentation
  東京・化学会館
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] クラス図作成演習における学習者の編集過程の細粒度分析
- Author(s)
  田中昴文，森一樹，橋浦弘明，櫨山淳雄，古宮誠一
- Organizer
  知能ソフトウェア工学研究会（電子情報通信学会）
- Place of Presentation
  電通大
- Year and Date
  2015-03-05 – 2015-03-06
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] オブジェクトモデリング演習における学習者にとっての難所の検出手法とその支援ツールの提案
- Author(s)
  田中昴文，森一樹，橋浦弘明，櫨山淳雄，古宮誠一
- Organizer
  ソフトウェア工学研究会(情報処理学会)
- Place of Presentation
  化学会館
- Year and Date
  2015-03-19 – 2015-03-20
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] プログラミング学習支援環境AZUR
- Author(s)
  古宮誠一，今泉俊幸，橋浦弘明，松浦佐江子
- Organizer
  ソフトウェア工学研究会(情報処理学会)
- Place of Presentation
  化学会館
- Year and Date
  2015-03-19 – 2015-03-20
- Data Source
  KAKENHI-PROJECT-25330416
[Presentation] Proposals of a Method Detecting Learner's Difficult Points in Object Modeling Exercises and a Tool to Support the Method
- Author(s)
  Takafumi Tanaka, Kazuki Mori, Hiroaki Hashiura, Atsuo Hazeyama, Seiichi Komiya
- Organizer
  12th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2014)
- Place of Presentation
  北九州国際会議場
- Year and Date
  2014-08-31 – 2014-09-04
- Data Source
  KAKENHI-PROJECT-25330416

1. SAEKI Motoshi (80162254)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
2. OHNISHI Atsushi (50160560)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
3. KAIYA Haruhiko (30262596)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
4. KATO Junzo

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results
5. YAMAMOTO Shuichiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results

Komiya Seiichi 古宮 誠一

KOMIYA Seiichi 古宮 誠一

Research Projects

Research Products

Co-Researchers

Knowledge acquisition of program language grammar by supporting technology based on perturbationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Package-Oriented Requirements Engineering

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Proposals of a Method Detecting Learner's Difficult Points in Object Modeling Exercises and a Tool to Support the Method2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] シソーラスを用いた要求分析法2005

Author(s)

Journal Title

NAID

Data Source

[Journal Article] シソーラスを用いた要求分析法2005

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] Developing Thesauruses for Requirements Analysis2004

Author(s)

Journal Title

Data Source

[Journal Article] Supporting the Development of a Thesaurus for Requirements Analysis(in Japanese)2003

Author(s)

Journal Title

Description

Data Source

[Journal Article] PAORE : Package Oriented Requirements Elicitation2003

Author(s)

Journal Title

Description

Data Source

[Journal Article] 要求分析のためのシソーラス作成支援2003

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] PAORE : Package Oriented Requirements Elicitation2003

Author(s)

Journal Title

Description

Data Source

[Presentation] 講義内容の要約字幕作成支援システム～意思決定法とバスケット分析に基づく支援方法の提案2016

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] ERモデリング演習における学習者の思考過程収集手法とその適用2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 講義内容の要約字幕作成支援システム －意思決定手法とバスケット分析に基づく支援方法の実装と評価－2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 制約充足問題として捉える漢詩作成・推敲過程～制約の調査結果とそれに基づく支援方法の検討2016

Author(s)

Organizer

Place of Presentation

Year and Date

Komiya Seiichi 古宮誠一

KOMIYA Seiichi 古宮誠一

[Presentation] 講義内容の要約字幕作成支援システム－意思決定手法とバスケット分析に基づく支援方法の実装と評価－2016

[Presentation] 要求仕様の内容の理解と妥当性チェックのための議論の必要性　～その議論の内容を理解し易い形で即時記録するためのモデルの提案2014