海尻 賢二 (カイジリ ケンジ)   

工学部 

特任教授 名誉教授 

学位

  • 工学博士

研究分野

  • ソフトウェア工学(設計方法論、プログラム認識)
  • ソフトウェア, ソフトウェア

経歴

  • 1998年 - 2004年
    信州大学総合情報処理センター 長
  • 1995年
    信州大学工学部情報工学科 教授
  • 1978年
    信州大学工学部情報工学科 助教授
  • 1977年
    信州大学工学部情報工学科 助手

学歴

  • 1977年, 大阪大学, 工学研究科, 通信工学専攻
  • 1972年, 大阪大学, 工学部, 通信工学科

受賞

  • 2010年
    教育システム情報学会, 論文賞
  • 2006年
    MCL, Best paper Award

論文

  • IR Based Traceability Link Recovery Method Mining
    Takeyuki Ueda,hinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri
    ICSEA, 2013年
  • ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援
    海谷、原、古林、長田、海尻
    論文誌, 53(2), 2012年
  • 分析履歴を用いたソフトウェア品質要求のスペクトル分析法
    海谷、鈴木、小川、谷川、梅村、海尻
    論文誌, 53(2), 2012年
  • 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価
    海谷、清水、安井、海尻、林、佐伯
    論文誌, 53(2), 2012年
  • Model Transformation Patterns for Introducing Suitable Information Systems
    Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki
    APSEC, 2012年
  • Evaluation Of Effectiveness Of Authentication System Based On Location Information Of Mobile Phones
    Takamizawa, Kaijiri
    WBE, 2010年
  • 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
    海谷、長田、原、海尻
    論文誌, 93-D(10), 2010年
  • 類似する既存システムの比較による要求ビューポイントの識別
    海谷、北澤、長田、海尻
    論文誌, 93-D(10), 2010年
  • Enhancing Domain Knowledge for Requirement Elicitation with Web Mining
    Kaiya, Shimizu, Yasui, Kaijiri, Saeki
    APSEC, 2010年
  • Towards an Integrated Support for Traceability of Quality Requiements using Software Spectrum Analysis
    Kaiya, Amemiya, Shimizu, Kaijiri
    ICSOFT, 2010年
  • Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM
    Kaiya, Tanigawa, Suzukim Sato, Osada, Kaijiri
    Transaction, E93-D(4), 702-712, 2010年WebofScienceリポジトリ電子ジャーナル
  • Identifying stakeholders and their preferences about NFR by comparing use case diagrams of several existing systems
    Kaiya H,Osada A,Kaijiri K
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E91D(4), 897-906, 2008年WebofScienceリポジトリ電子ジャーナル
  • マルチエージェントベースアプローチによるリスク・生産情報格差下における政府調達契約に関する一考察
    池田 明、海尻賢二
    情報処理学会論文誌, 49(12), 4105-4110, 2008年リポジトリ
  • マルチエージェントシミュレーションによる開発をともなう政府調達の制度設計に関する一考察
    池田 明、海尻賢二
    情報処理学会論文誌, 49(7), 2731-2740, 2008年リポジトリ
  • 要求追加によるインパクトの分析に基づく組込みソフトウェア開発の効率化(開発支援(学生セッション))
    川平航介、長田 晃、海谷治彦、北澤直幸、海尻賢二
    情報処理学会研究報告. ソフトウェア工学研究会報告, 2008(29), 17-24, 2008年リポジトリ
  • PORTAM: policy, requirements, and threats analyzer for mobile code applications.
    Kaiya H, Sasaki K, Kaijiri K
    Progress in Informatics, 5, 7-18, 2008年リポジトリ電子ジャーナル
  • Adaptive Courseware Generation of a Web-based tutorial System
    G.Agular and K.Kaijiri
    Int'l J. of Instructional Media, 34(3), 2007年
  • Fundamental Personalization Factors for Adaptive Tutorials
    G. Aguilar and K. Kaijiri
    Int. J. of Instructional Media, 34(1), 2007年
  • 要求獲得におけるドメイン知識表現の役割
    長田 晃、小澤 大伍、 海谷 治彦、 海尻 賢二
    情報処理学会論文誌, 48(8), 2522-2533, 2007年リポジトリ
  • 履歴情報を用いた英単語学習ツールの開発
    長岡弘美、海尻賢二
    情報処理学会研究報告. コンピュータと教育研究会報告, 2007(69), 9-13, 2007年リポジトリ
  • Design Overview of an Adaptive Computer-based Assessment System,
    G. Aguilar and K. Kaijiri
    IEM Journal, 14, 116-130, 2007年リポジトリ
  • ドメイン知識表現が要求獲得に与える影響の分析(要求獲得・分析(学生セッション))
    長田 晃、小澤大伍、海谷治彦、海尻賢二
    情報処理学会研究報告. ソフトウェア工学研究会報告, 2006(35), 57-64, 2006年リポジトリ
  • タンパク質の機能解析を目指した三角形IDに基づくタンパク質三次元モチーフの検討
    丸山英俊、海尻賢二
    Journal of Computer Aided Chemistry, 7, 57-68, 2006年リポジトリ電子ジャーナル
  • Reliable Authentication Method by Using Cellular Phones in Web Based Training
    H. Takamizawa and K. Kaijiri
    International Journal of Instructional Technology and Distance Learning,, 3(12), 35-45, 2006年リポジトリ
  • Adaptive Tutorial's Constructivist Basis for the Teaching-Learning Process of an OOPL,
    Gabriela Aguilar&Kenji Kaijiri:
    Interactive Educational Multimedia, 12, 1-7, 2006年リポジトリ
  • Static Adaptations Of Personalization Factors Included In The Development Of An Adaptive Web-Based Tutorial
    Gabriela Aguilar&Kenji Kaijiri:
    Interactive Educational Multimedia, 12, 8-16, 2006年リポジトリ
  • 理解状況に適応した多肢選択式問題の自動生成に関する構想
    津森伸一、海尻賢二
    教育システム情報学会研究報告, 21(4), 3-8, 2006年リポジトリ
  • ソフトウェア規模見積もりと進捗管理手法の提案
    上田健之、海谷治彦、海尻賢二
    情報処理学会研究報告 ソフトウェア工学研究会報告, 2005(119), 117-124, 2005年リポジトリ
  • 新規な三角形IDに基づくタンパク質立体構造ホモロジー検索アルゴリズム
    丸山英俊、海尻賢二
    Journal of Computer Aided Chemistry, 6, 44-56, 2005年リポジトリ電子ジャーナル
  • Practical and Incremental Maintenance of Software Resources in Consumer Electronics Products
    Aizawa K, Kaiya H, Kaijiri K
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E88D(6), 1117-1125, 2005年WebofScienceリポジトリ電子ジャーナル
  • Special section on knowledge-based software engineering - Foreword
    Kaijiri, K
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E87D(4), 799-800, 2004年WebofScience
  • プロセス改善の自己観測による設計手法有効性体験コースの実施(協調開発(学生セッション))
    鈴森寿之、久保田卓秀、長田 晃、海谷治彦、海尻賢二
    情報処理学会研究報告. ソフトウェア工学研究会報告, 2004(30), 9-16, 2004年リポジトリ
  • 小型モバイルコンピュータを用いたプロバイダ主体コンテンツ管理方式の提案
    石井秀典、海谷治彦、海尻賢二
    情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告], 2004(21), 103-109, 2004年リポジトリ
  • A method to develop feasible requirements for Java mobile code application
    Kaiya, H; Sasaki, K; Kaijiri, K
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E87D(4), 811-821, 2004年WebofScienceリポジトリ
  • デジタルポートフォリオを利用したプロジェクト学習支援環境の提案
    小林智子、海尻賢二
    教育システム情報学会研究報告, 18(5), 34-41, 2004年リポジトリ
  • Asynchronous Collaborative Learning System using Q&A
    Ana HADIANA
    4th international conference on Information Technology Based Higher Education, 2003年
  • Peer Helpを利用した質問回答学習支援システム
    アナ・ハディアナ
    教育システム情報学会誌, 20(4), 2003年
  • Lecture Recording System based on SMIL
    Y.Suzuki, and H.Kaiya
    ICCE2003, 2003年
  • Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application
    Haruhiko Kaiya,Kouta Sasaki,Yasunori Maebashi,Kenji Kaijiri
    RE 2003, 357-358, 2003年リポジトリ電子ジャーナル
  • Javaアプリケーションの要求仕様とセキュリティポリシィのトレードオフ分析
    海谷治彦、佐々木宏太、海尻賢二
    情報処理学会研究報告 ソフトウェア工学研究会報告, 2003(60), 17-24, 2003年リポジトリ
  • PSPをもとにした形式手法有効性確認コースの設計
    鈴森寿之、海谷治彦、海尻賢二
    情報処理学会研究報告 ソフトウェア工学研究会報告, 2003(22), 63-70, 2003年リポジトリ
  • VDM over PSP:A Pilot Course for VDM Beginners to Confirm its Fitness for Their Development
    Hisayuki Suzumori, Haruhiko Kaiya, Kenji Kaijiri
    COMPSAC, 327-334, 2003年リポジトリ電子ジャーナル
  • オブジェクト指向プログラムのリバースエンジニアリング
    齊藤寿和、海尻賢二
    情報処理学会研究報告. ソフトウェア工学研究会報告, 2002(23), 119-126, 2002年リポジトリ
  • 非同期型遠隔教育支援システム(Active Web)に関する構築
    ハディアナ アナ、海尻賢二
    情報処理学会研究報告. コンピュータと教育研究会報告, 2002(17), 45-50, 2002年リポジトリ
  • Refining behavioral specification for satisfying non-functional requirements of stakeholders
    Kaiya, H; Kaijiri, K
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E85D(4), 623-636, 2002年WebofScienceリポジトリ
  • Support tool for Internet based workshop
    共著, R. Sekimoto,H.Kaiya
    Proceedings of Workshop On Web Intelligence and software Engineering, 2001年
  • 大学におけるプロセス改善教育のあり方について-PSP法実践の経験をもとに
    海谷治彦、小島彰、海尻賢二
    Software Symposium2001, 137-142, 2001年リポジトリ
  • A diagnosis system of programming styles using program patterns
    共著、R.Sekimoto,
    電子情報通信学会英文論文誌 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E83-D(4), 722-728, 2000年04月WebofScienceリポジトリ
  • Specifying Runtime Environments and Functionalities of Downloadable Components under the Sandbox Model
    共著, K. Haruhiko
    Proceedings of the International Symposium on Principles of Software Evolution, 138-142, 2000年リポジトリ電子ジャーナル
  • 新技術導入をトリガーとした面接型教育方法の変更促進
    海谷治彦、関本理佳、海尻賢二
    情報処理学会研究報告. ソフトウェア工学研究会報告, 2000(104), 153-158, 2000年リポジトリ
  • プログラミングスタイルの診断システムの構築
    関本理佳、海尻賢二
    教育システム情報学会誌, 17(1), 21-29, 2000年リポジトリ
  • ネットワークを利用したレポート受け付け評価支援システムの実現
    教育システム情報学会誌, 14, 5, 1998年
  • GUIを併記した00分析手法について
    00シンポジウム, 98, 1998年
  • WEBを利用したプログラムバグ診断システム
    海尻賢二
    教育システム情報学会研究報告, 1998年リポジトリ
  • Novice program recognition diagnosis system based on goal plan concepts
    Kaijiri, K
    SYSTEMS AND COMPUTERS IN JAPAN, 27(2), 26-40, 1996年WebofScience
  • ゴール/プランに基づく初心者プログラムの認識システム
    海尻賢二
    電子情報通信学会論文誌 D-II, 情報・システム, II-パターン処理, 78(2), 321-332, 1995年リポジトリ
  • HELP:Interactive Programming System
    Kaijiri, K
    Journal of information processing, 6(4), 239-241, 1983年リポジトリ
  • 2パス変換システムによるプリプロセッサ生成機の実現
    海尻賢二
    情報処理学会論文誌, 22(4), 376-382, 1981年リポジトリ
  • SLR(k)パーザにおける誤り訂正, 回復について
    海尻賢二、打浪清一、手塚慶一
    情報処理, 18(3), 230-236, 1977年リポジトリ
  • 拡張弱順位関数
    海尻賢二、打浪清一、手塚慶一
    情報処理, 18(6), 542-549, 1977年リポジトリ

書籍等出版物

  • 計算機ソフトウェア
    手塚慶一, 共著
    オーム社

講演・口頭発表等

  • 多数決手法によるError Prone予測手法の評価
    高橋、大西、小形、海谷、海尻
    KBSE研究会 2012 7, 2012年, 電子情報通信学会
  • Ajaxアプリケーションの複雑性メトリクスの提案とツールの試作
    加賀谷、海谷、海尻
    SS研究会 2012 3, 2012年, 電子情報通信学会
  • ソフトウェアプロジェクトにおけるtraceabilityの確立 - 実プロジェクトへの適用
    宮下、海谷、海尻
    SS研究会 2012 3, 2012年, 電子情報通信学会
  • 原因指向脆弱性モデルに基づくWebアプリケーションのセキュリティ要求分析支援
    西野、阪井、海谷
    KBSE研究会 2012 1, 2012年, 電子情報通信学会
  • サブモデルの再利用とメトリクスによるi*SDモデルの改訂支援
    森田、海谷、海尻
    KBSE研究会 2012 1, 2012年, 電子情報通信学会
  • Spectrum Analysis for Software Quality Requirements using Analyses Records.
    Haruhiko Kaiya, Shunichi Suzuki, Toru Ogawa, Masaaki Tanigawa, Masahiro Umemura, and Kenji Kaijiri.
    COMPSAC, 2011年, IEEE
  • Exploring how to support software revision in software non-intensive projects using existing techniques
    Haruhiko Kaiya, Kenichiro Hara, Kyotaro Kobayashi, Akira Osada, and Kenji Kaijiri
    COMPSAC, 2011年, IEEE
  • So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems
    Kitazawa N, Osada A, Kamijo K, Kaiya H, Kaijiri K
    Proceedings of the 32th Annual International Computer Software and App lications Conference, 2008年, IEEE Computer Society, リポジトリ
  • Overview of a Factual Question Generator System
    Aguilar G, Kaijiri K
    ED-MEDIA 2008 : World Conference on Educational Multimedia, Hypermedia&Telecommunications, 2008年, Association for the Advancement of Computing in Education, リポジトリ
  • The Role of Domain Knowledge Representation in Requirements Elicitation
    Akira Osada, Daigo Ozawa, Haruhiko Kaiya and Kenji Kaijiri.
    IASTED International Conference on Software Engineering, 2007年
  • デザインパターンに基づくソフトウェアevolutionにおけるtraceability linkの利用
    守田、表、海谷、海尻
    KBSE研究会, 2007年, 電子情報通信学会
  • Adaptive Approach for the Integration of Homogeneous Teams
    G. Aguilar and K. Kaijiri
    E-Learn 597-602, 2007年, Association for the Advancement of Computing in Education, リポジトリ
  • System Design for Automatic Generation of Multiple-Choice Questions Adapted to Students' Understanding
    Shin'ichi Tsumori and Kenji Kaijiri:
    ITHET 541-546, 2007年, リポジトリ
  • Learners and Knowledge: A New Personalization Factor Perspective for Adaptive Computer-based Assessment Systems
    G. Aguilar, A.Gomez, and K.Kaijiri:
    ED-Media 2143-2148, 2007年, Association for the Advancement of Computing in Education, リポジトリ
  • 拡張可能な診断記述項目を用いた多視点からのプログラム診断システム
    高野佑一、海谷治彦、海尻賢二
    全国大会講演論文集 第69回 449-450, 2007年, 社団法人情報処理学会, リポジトリ
  • デザインパターンに基づいたTraceability Linkの構築とSoftware Evolutionのサポート
    佐々木宏太、表 秀和、海谷治彦、海尻賢二
    全国大会講演論文集 第67回 335-336, 2007年, 社団法人情報処理学会, リポジトリ
  • Assessment Strategies for Learning Regulation to be Included in the Development of a Computer-based Assessment System
    Aguilar G, Gómez A, Kaijiri K
    Proceedings of Society for Information Technology and Teacher Education International Conference 10-15, 2007年, Association for the Advancement of Computing in Education, リポジトリ
  • Adaptive Teaching And Learning Using A Classroom Communication System And An Adaptive Computer-Based Assessment Tool
    Gabriela Aguilar, Adrianna Gomez, Kenji Kaijiri:
    E-Learn, 2006年
  • A Supporting Tool to Identify Both Satisfied Requirements and Tolerant Threats for A Java Mobile Code Application
    Haruhiko Kaiya, Kouta Sasaki, Chikanobu Ogawa and Kenji Kaijiri
    ICEIS, 2006年
  • 要求工学におけるドメイン知識表現の役割
    長田、小澤、海谷、海尻
    ソフトウェアエンジニリングシンポジウム, 2006年, 情報処理学会
  • PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application
    Haruhiko Kaiya, Kouta Sasaki, Kenji Kaijiri:
    QSIC 125-132, 2006年, IEEE Computer Society, リポジトリ
  • Reliable Authentication Method by Using Cellular Phones in WBT
    Hideyuki Takamizawa and Kenji Kaijiri
    MCL, 2006年, IEEE Computer Society, リポジトリ
  • 課題の解としてのGUI プログラムの評価システム
    横濱彰則、海谷治彦、海尻賢二
    全国大会講演論文集 第68回 4 621-622, 2006年, 社団法人情報処理学会, リポジトリ
  • プロセス改善の自己観測による仕様記述手法有効性体験コースの実施
    鈴森寿之、久保田卓秀、長田晃、海谷治彦、海尻賢二
    全国大会講演論文集 第67回 293-294, 2005年, 社団法人情報処理学会, リポジトリ
  • ソフトウェア工学教育用プロジェクトコース支援システムに関する研究~診断プロセス~
    鈴木善晴、高野祐一、海谷治彦、海尻賢二
    全国大会講演論文集 第67回 435-436, 2005年, 社団法人情報処理学会, リポジトリ
  • TabletPCを用いた講義の細粒度な記録再生
    平川良太、海谷治彦、海尻賢二
    全国大会講演論文集 第67回 483-484, 2005年, 社団法人情報処理学会, リポジトリ
  • Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems
    Osada A, Ozawa D, Kaiya H, Kaijiri K
    Proceedings : the Fifth International Conference on Quality Software 215-222, 2005年, IEEE Computer Society, リポジトリ
  • 類似する既存システムの比較による要求ビューポイントの識別
    海谷治彦、久保田卓秀、長田晃、海尻賢二
    ウィンターワークショップ2005・イン・伊豆論文集, 2005年, 社団法人情報処理学会, リポジトリ
  • FC method: A Practical Approach to Improve Quality and Efficiency of Software Processes for Embedded System Revision
    Aizawa K, Kaiya H, Kaijiri K
    Proceedings of the 28th Annual International Computer Software and App lications Conference, 2004年, IEEE Computer Society, リポジトリ
  • A Support Environment for Project-Based Learning Using a Digital Portfolio
    Kobayashi T, Kaijiri K
    Proceedings of the International Conference on Computers in Education (ICCE’04), 2004年, IEEE Computer Society, リポジトリ
  • Fine-grained Recording and Streaming Lectures
    Kaijiri K, Saitoh R, KaiyaH
    Proceedings of the International Conference on Computers in Education (ICCE’04), 2004年, IEEE Computer Society, リポジトリ
  • Software Evolution Support Using Traceability Link between UML diagrams
    Omote H, Sasaki K, Kaiya H, Kaijiri K
    Knowledge-based software engineering : proceedings of the Sixth Joint Conference on Knowledge-Based Software Engineering 15-23, 2004年, IOS PRESS, リポジトリ
  • ステークホルダの期待に基づくゴール階層の構成法
    海谷治彦、海尻賢二
    ウィンターワークショップ・イン・神戸論文集 2003 5 63-64, 2003年, 社団法人情報処理学会, リポジトリ
  • コラボレーションに基づく非同期型Q&A 支援システムの構築
    アナ ハディアナ、海尻賢二
    FIT(情報科学技術フォーラム)2002, 2002年, 社団法人情報処理学会, リポジトリ
  • A Web-Based VOD Clipping Tool for Efficient Private Review
    Miyahara N, Kaiya H, Kaijiri K
    Knowledge-based software engineering : proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering 313-316, 2002年, IOS PRESS, リポジトリ
  • SECURITY POLICY CHECKER AND GENERATOR FOR JAVA MOBILE CODES
    Kaiya H, Furukawa H, Kaijiri K
    Engineering Information Systems in the Internet Context 255-264, 2002年, Kluwer Academic Publishers, リポジトリ
  • 非機能要求を共通評価基準とした並列要求獲得法
    海谷治彦、海尻賢二
    ウィンターワークショップ・イン・神戸論文集 2002 2 29-30, 2002年, 社団法人情報処理学会, リポジトリ
  • Specifying Downloadable Properties for Reusing Software Components : A Case Study of Java
    Kaiya H, Kaijiri K
    Knowledge-based software engineering : proceedings of the fourth joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000, 2000年, IOS PRESS, リポジトリ
  • 部品交換をトリガーとした要求仕様改定の促進
    海谷治彦、海尻賢二
    サマーワークショップ・イン・小樽 論文集 99 11 15-16, 1999年, 社団法人情報処理学会, リポジトリ
  • Conducting Requirements Evolution by Replacing Components in the Current System
    Kaiya H, Kaijiri K
    Proceedings : sixth Asia-Pacific Software Engineering Conference 224-227, 1999年, IEEE Computer Society, リポジトリ
  • Program Diagnosis System using World Wide Web
    Kaijiri, K
    Knowledge-based software engineering : proceedings of the Third Joint Conference on Knowledge-based Software Engineering in Smolenice, Slovakia, 1998, 1998年, IOS PRESS, リポジトリ
  • A detection of ill-formed patterns about programming style
    Sekimoto R, Kaijiri K
    Knowledge-based software engineering : proceedings of the Third Joint Conference on Knowledge-based Software Engineering in Smolenice, Slovakia, 1998, 1998年, IOS PRESS, リポジトリ
  • HyperCardに基づくプログラミング言語用知的CAIシステム
    酒井 仁、海尻賢二
    全国大会講演論文集 第39回平成元年後期 3 2157-2158, 1989年, 社団法人情報処理学会, リポジトリ

担当経験のある科目_授業

  • プログラミング言語論
    信州大学
  • データベース
    信州大学

所属学協会

  • 米国IEEE
  • 米国ACM
  • 電子情報通信学会
  • 情報処理学会

共同研究・競争的資金等の研究課題

  • ソフトウェアプロダクトのtraceabilityに関する研究
  • ソフトウェアメトリクスに関する研究
  • ソフトウェアリポジトリマイニングに関する研究
  • ソフトウェア設計におけるプランの役割に関する研究
  • ソフトウェア設計におけるプランの役割に関する研究