研究者詳細

教職員基本情報

氏名 Name	野呂　昌満 ( ノロ　マサミ , NORO Masami )
所属 Organization	理工学部ソフトウェア工学科
職名 Academic Title	教授
専攻分野 Area of specialization	ソフトウェア工学
学会活動 Academic societies	情報処理学会会員（1981.4〜現在に至る）日本ソフトウェア科学会会員（1984.10〜現在に至る）米国計算機学会（ACM）会員（1984.7〜現在に至る） IEEE計算機学会（Computer Society）会員（1987.1〜現在に至る）ソフトウェア技術者協会会員（1993.10〜現在に至る）電子情報通信学会会員（1994.7〜現在に至る）情報処理学会ソフトウェア工学研究会連絡委員(1994.4〜1998.3迄) ソフトウェア技術者協会幹事(1995.4〜現在に至る) アジア太平洋ソフトウェア工学国際会議(APSEC'96)プログラム委員(1996.1〜1996.12迄) 情報処理学会ソフトウェア工学研究会オブジェクト指向シンポジウム'96プログラム委員(1996.1〜1996.7迄) アジア太平洋ソフトウェア工学国際会議(APSEC'97)プログラム委員(1996.1〜1996.12迄) 情報処理学会ソフトウェア工学研究会オブジェクト指向シンポジウム'97プログラム委員(1997.1〜1997.7迄) アジア太平洋ソフトウェア工学国際会議(APSEC'98)プログラム委員(1998.2〜1998.12迄) 情報処理学会ソフトウェア工学研究会オブジェクト指向シンポジウム'98プログラム委員(1998.2〜1998.7迄) アジアソフトウェア工学国
社会活動 Community services	情報処理学会ソフトウェア工学研究会連絡委員（1994.4〜1998.3）ソフトウェア技術者協会幹事（1995.4〜現在に至る）アジア太平洋ソフトウェア工学国際会議（APSEC）プログラム委員（1996.1〜現在に至る）情報処理学会ソフトウェア工学研究会オブジェクト指向シンポジウムプログラム委員（1996.1〜現在に至る）ソフトウェア技術者協会ISFST（International Symposium on Future Software Tech-nology）プログラム委員長（1999.1〜19
著書・学術論文数 No. of books/academic articles	総数 total number (68) 著書数 books (1) 学術論文数 articles (67)

出身学校

学校名 Univ.	卒業年月（日） Date of Graduation	卒業区分 Graduation Classification2
慶應義塾大学工学部管理工学科	1981年03月	卒業

詳細表示

出身大学院

大学院名 Grad. School	修了課程 Courses Completed	修了年月（日） Date of Completion	修了区分 Completion Classification
慶應義塾大学大学院院工学研究科管理工学専攻後期	博士課程	1986年03月	単位取得満期退学

詳細表示

取得学位

学位区分 Degree Classification	取得学位名 Degree name	学位授与機関 Organization Conferring the Degree	取得年月（日） Date of Acquisition
博士	工学博士（916）	慶應義塾大学大学院工学研究科管理工学専攻博士後期課程	1988年12月
修士	工学修士（3577）	慶應義塾大学大学院工学研究科管理工学専攻博士前期課程	1983年03月
学士	工学士	慶應義塾大学工学部管理工学科	1981年03月

詳細表示

研究経歴

長期研究／短期研究 Long or Short Term research	研究課題名 Research Topic
長期研究	ソフトウェアアーキテクチャに関する研究
概要（Abstract）ドメイン依存ソフトウェアアーキテクチャをアーキテクチャスタイル、アプリケーション領域、非機能特性等を総合的に考慮して設計するさいの方法論ならびに方法、それらをアプリケーション開発に利用するさいの方法について工学的に考察する。
短期研究	IoTソフトウェアアーキテクチャに関する研究
概要（Abstract）組み込みシステムを中心に広くIoTのソフトウェアアーキテクチャの設計，構築，ならびに運用を行う．
短期研究	インタラクティブソフトウェアのアーキテクチャに関する研究
概要（Abstract） webアプリケーションやスマートデバイスアプリケーションを統一的に取り扱うための参照アーキテクチャを設計し、既存の開発環境や方法等の技術に依存しない開発方法を考察する。

詳細表示

著書

年度 Year	著書名 Title of the books	著書形態 Form of Book
年度 Year	出版機関名 Publishing organization，判型 Book Size，頁数 No. of pp.，発行年月（日） Date
2002	インターネットソフトウェア	共著
	共立出版， B5 ， p236 ， 2002/08
	概要（Abstract）ソフトウェア技術者向けにインターネットソフトウェアの設計と実現に必要な知識と技術を解説。インターネットを情報処理技術の基盤と考え、そのプロトコル、プロトコルの実現、プロトコル上でのソフトウェア作成技術とアーキテクチャを解説した。（B5判、p.236）執筆担当部分：第1, 4, 5, 6, 7, 9章を担当（p.1〜6, p.87〜190, p.207〜209）おもにソフトウェア開発関連部分の説明を担当した。TCP/IPライブラリを使ったプログラミング方法、アプリケーションプロトコルソフトウェアのアーキテクチャとその実現、ならびにWeb情報システムのソフトウェアアーキテクチャとその上での既存のWeb関連技術の応用方法について説明した。執筆者：野呂昌満、後藤邦夫
	備考（Remarks）ソフトウェアテクノロジーシリーズ第11巻

詳細表示

学術論文

年度 Year	論文題目名 Title of the articles	共著区分 Collaboration Classification
年度 Year	掲載誌名 Journal name，出版機関名 Publishing organization，巻／号 Vol./no.，頁数 Page nos.，発行年月（日） Date
2021	Does Software Engineering Paradigm Work Well?	未設定
	Academia. Sciences and engineering : journal of the Nanzan Academic Society ， Nanzan Academic Society ， 22 ， pp.4-13 ， 2022/03
	概要（Abstract） This note is a brief contention I have had for decades. It concerns about what type of research software engineering is categorized into and it should be. The style we have to accept to write our paper has been drastically changing for these decades. Empirical Software Engineering people push us to conform to the style. Is it really a good idea to accept? Is software engineering one of experimental sciences? Can we really define stable metrics on software as in physics? Statistical approach is good enough to manipulate software engineering disciplines, or not? So on, so forth, is it a proper way we track down? The point here is how we can resolve cause-and-effect in software engineering. This becomes extremely important when we apply an AI technique, such as deep learning to software engineering. It is neither science nor engineering if we cannot approve a cause-and-effect chain in any sense. It is not a research but a piece of fortune-telling or a psychic reading if we lose the point.
	備考（Remarks）青山幹雄名誉教授追悼号
2021	Design of Software Architecture for Neural Network Cooperation: Case of Forgery Detection	共著
	Proc. APSEC2021 ， IEEE Computer Society ， pp. 130-140 ， 2021/12
	概要（Abstract） Recent technological advances in media tampering has been the cause of many harmful forged images. Tampering detection methods became major research topics to cope with it in the neural network community. The methods almost always aim at detecting a specific forgery. That is, a general detecting method to find any tampering has not been invented so far. This paper concerns about a software architecture for organizing multiple neural networks to detect multiple kinds of forgeries. The key issue here is to construct, from the meta-level, a mechanism for an ensemble of front-end neural networks to select a neural network which makes a decision. Under this architecture, we implemented a prototype for detecting forged images resulted from multiple tampering methods of copy-move and compression. In order to demonstrate that our architecture works well, we examined a case study with a total of 120,000 patches which consist of three classes of copy-move, compression and untampered data, 40,000 patches for each. The result shows our proposed method successfully classified 108,954 out of 120,000 patches with 90.82 % accuracy. We also give discussions on our architectural implication to avoid concept drift. Our architecture is designed to be a context-oriented and meta-level, which has a two-layered structure: meta and base. The neural networks can be categorized into base-level components, whereas a component coordinating the networks is addressed in meta-level. The architecture explains that the concept drift can be handled in the meta-level. Through the discussions on the techniques of transfer learning, online learning, and ensemble learning in terms of the architecture we constructed, it is concluded that we could construct a universal architecture to coordinate machine learning components.
	備考（Remarks）
2021	ゲーム対戦戦略をプレイヤー習熟度へ適応させる機械学習機構の設計	共著
	ソフトウェア工学の基礎28 ，近代科学社， pp. 133-138 ， 2021/11
	概要（Abstract）ゲームAI の設計において，プレイヤーモデリングは重要な課題であり，今日までに多数の研究が行われている．プレイヤーの習熟度に応じて対戦戦略を柔軟に適応させる仕組みは，魅力的なゲームを構築するための鍵である．本研究では，時間経過に伴って変化するプレイヤーの習熟を予測する機械学習器をLSTMを用いて設計する．学習器の設計にあたり，プレイヤーの時間的な習熟の予測に用いるデータを定義し，LSTMの学習を行う．さらに，学習器によって予測される習熟度をもとに対戦戦略を変化させる仕組みを提案する．これはゲームエンジンアーキテクチャにおいて，戦略の柔軟な適応を可能にするための共通基盤となりうる．簡単なRPGを対象とした実験により，提案する機械学習器の有効性と妥当性を確認した．
	備考（Remarks）
2021	ユーザーレビューにおける地域・アプリケーション固有の苦情傾向に関する調査	共著
	ソフトウェア工学の基礎XXVIII (FOSE2021論文集) ，近代科学社， pp. 91-96 ， 2021/11
	概要（Abstract）本研究では英国向けの無料アプリケーション（以下，アプリ）におけるレビュー内の苦情を分類し，日本，北米向けアプリにおける苦情の分類結果と比較する．さらに，日・米・英三地域で展開しているアプリについても同様に，各評価帯での苦情の中身を分類し，アプリ固有，地域固有の苦情傾向や，共通の苦情傾向を調査した．レビューにおける苦情を保守活動や，他地域への展開にどう活用できるかを考察する．
	備考（Remarks）
2021	アスペクト指向アーキテクチャに基づく組込みソフトウェアの設計法の提案	共著
	SES2021論文集，情報処理学会， pp. 32-40 ， 2021/08
	概要（Abstract）本研究では，ハードウェア技術の進歩により複雑，高機能化する組込みシステムのためのソフトウェア設計法を提案する．多種類のセンサやアクチュエータから構成される組込みシステムでは，システムの外部環境と内部状態に応じた複雑な制御が求められる．並行で非同期に動作する部品を統合し，不具合のないソフトウェアによる制御を実現するために，アスペクト指向ソフトウェアアーキテクチャに基づく設計法を提案する．提案設計法の基礎となるソフトウェアアーキテクチャは，組込みシステム固有の関心事をアスペクトとして分離することで，凝集度 (強度) が高く結合度の低いモジュール設計を可能とする．本設計法の特長の一つは，アスペクトモジュールの振舞いを形式的に定義し，それに基づき共有資源を特定することにある. さらに, 共有資源上の排他制御論理の実現プロセスを含む, アーキテクチャ中心設計プロセスを提案する．実用に供する金銭授受装置を題材にした事例を用いて提案設計法の有用性と妥当性を示す．
	備考（Remarks）
2021	IoTの柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案	共著
	情報処理学会論文誌，情報処理学会， 52/4 ， pp.995-1007 ， 2021/04
	概要（Abstract） IoT の利便性を向上させるためには，多様な環境においてアプリケーションを稼働させることのできる相互運用性が重要である．また，利用状況や嗜好に応じたサービスを提供する柔軟性も重要である．スマートホームなどIoT 環境にとっての相互運用性とは，利用者の所持する機器を最大限に活用してサービスを提供できることである．柔軟性とは，刻々と変化する利用者の状況（時間や位置など）と意思（目的や嗜好など）に合わせ，当初アプリケーションが想定していない方法によってサービスを提供できることである．IoT 製品や標準の乱立によって，相互運用性の確保は特定の製品群の中だけにとどまっているのが現状である．柔軟性に関しては，センシングや機械学習などの要素技術の利用がアプリケーションごとに行われている．これら相互運用性や柔軟性の確保が場あたり的に行われると，IoT アプリケーションソフトウェア開発の効率やできあがったソフトウェアの保守性に悪い影響が及ぶことが懸念される．本研究では，IoT における柔軟性と相互運用性の確保をソフトウェア構造の問題ととらえ，スマートホームでの動的適応を可能とするソフトウェアアーキテクチャを定義する．柔軟で相互運用可能なアプリケーションを保守しやすく構築する基盤としてこのアーキテクチャを提案することで，上述した問題の解決を図る．
	備考（Remarks）
2021	IoT の柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案	共著
	情報処理学会論文誌，情報処理学会， 62/4 ， pp. 995-1007 ， 2021/04
	概要（Abstract） IoTの利便性を向上させるためには，多様な環境においてアプリケーションを稼働させることのできる相互運用性が重要である．また，利用状況や嗜好に応じたサービスを提供する柔軟性も重要である．スマートホームなどIoT環境にとっての相互運用性とは，利用者の所持する機器を最大限に活用してサービスを提供できることである．柔軟性とは，刻々と変化する利用者の状況（時間や位置など）と意思（目的や嗜好など）に合わせ，当初アプリケーションが想定していない方法によってサービスを提供できることである．IoT製品や標準の乱立によって，相互運用性の確保は特定の製品群の中だけにとどまっているのが現状である．柔軟性に関しては，センシングや機械学習などの要素技術の利用がアプリケーションごとに行われている．これら相互運用性や柔軟性の確保が場あたり的に行われると，IoTアプリケーションソフトウェア開発の効率やできあがったソフトウェアの保守性に悪い影響が及ぶことが懸念される．本研究では，IoTにおける柔軟性と相互運用性の確保をソフトウェア構造の問題ととらえ，スマートホームでの動的適応を可能とするソフトウェアアーキテクチャを定義する．柔軟で相互運用可能なアプリケーションを保守しやすく構築する基盤としてこのアーキテクチャを提案することで，上述した問題の解決を図る．
	備考（Remarks）
2020	ユーザーレビューの苦情内容の傾向に関する評価帯における違いや地域差の調査	共著
	ソフトウェア工学の基礎XXVII(FOSE2020論文集) ，近代科学社， pp. 87-96 ， 2020
	概要（Abstract）スマートフォンアプリケーションの開発者にとって，ユーザーが投稿するレビューは重要なフィードバックとみなすことができる． Khalidらは北米市場向けのアプリケーションを対象に，低評価 (星 1～2) のレビューを分析し，どのような苦情が多く報告されるかを調査した．本研究では最初に，日本向けのアプリケーションを対象として評価帯ごとにどのような苦情が多く報告されるかを追実験した．調査した結果，普遍的に成り立つであろう共通点や地域の傾向を表す相違点が確認できたとともに，高評価のレビューでも要望がある一定以上存在することが確認できた．Khalid らの研究では中・高評価 (星 3～5) のレビューは考慮されていなかったので，追加実験として，北米市場向けのアプリケーションを対象に各評価帯のレビューの分析を行った．結果として，中・高評価帯にはある一定以上の要望が存在し，それらの多くは「機能要求」に関するものであった．レビューをフィードバックに用いる際には，目的に応じて調査すべき評価帯を変える価値があると考えられる．
	備考（Remarks）
2019	ソフトウェアアーキテクチャに基づく組込システムの設計法に関する研究	未設定
	日本ソフトウェア科学会FOSE2019論文集，近代科学社， pp. 151-156 ， 2019/11
	概要（Abstract）組込みシステムの横断的関心事を分離したソフトウェアアーキテクチャに基づきソフトウェアを開発する方法を提案している。組込みシステムは本質的に並行処理ソフトウェアなので、形式的な並行仕様記述から際どい領域を特定し相互排除を行う方法を提案した。さらに、分離した関心事ごとにプラットフォームコードならびにアプリケーションフレームワークを効果的に使う方法についても議論している。
	備考（Remarks）
2019	IoTの柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案	未設定
	日本ソフトウェア科学会FOSE2019論文集，近代科学社， pp. 93-102 ， 2019/11
	概要（Abstract）コンテキスト指向をIoTデバイスの相互運用に用いることで柔軟なソフトウェアの構造の定義について議論している。
	備考（Remarks）

詳細表示

その他研究業績

年度 Year	題名等 Titles	カテゴリ Category	細目 Authorship
年度 Year	掲載雑誌名等 Publishing Magazine，発行所 Publisher，巻／号 Vol./no.，頁数 Page nos.，発行年月（日） Date
2001	自動販売機制御ソフトウェア用擬似並行実行モニタの設計と試作	ソフトウェアの研究開発	その他
	2002/03
	概要（Abstract） ABCMを拡張しオブジェクトに状態遷移機械を陽に持たせた並行オブジェクト指向計算モデルに基づく富士電機株式会社の自動販売機制御ソフトウェアの開発を目指す。このための実行時ライブラリをJava用、C++、およびC用に設計・試作した。Windows上で稼働するソフトウェア(Java、C++、およびC言語でそれぞれ約5000行)共同開発者：繁田雅信
	備考（Remarks）
1998	Windows'98用名前付きパイプの開発	ソフトウェアの研究開発	その他
	1999/03
	概要（Abstract） Windows-NTでしか実現されていなかった名前付きパイプをWindows'98上で設計・実現した。これにより富士電機株式会社の自動販売機シミュレータとの通信をWindows'98上で行えるようにした。Windows上で稼働するソフトウェア(C言語で約5000行)。共同開発者：繁田雅信
	備考（Remarks）
1997	ソフトウェアデザインワークショップ'96報告	報告論文	単著
	SEAMAIL(ソフトウェア技術者協会志)第11巻3号， 1997/10
	概要（Abstract）ソフトウェア技術者協会主催で平成 8年11月に行なったソフトウェアデザインワークショップ'96の会議報告。
	備考（Remarks）
1997	OO'97オブジェクト指向モデリングワークショップ報告	報告論文	その他
	情報処理学会研究会報告（ソフトウェア工学研究会）第97巻第84号東京（於情報処理学会会議室）， 33-43 ， 1997/09
	概要（Abstract）情報処理学会ソフトウェア工学研究会主催のオブジェクト指向シンポジウム'97において行なわれたオブジェクト指向モデリングワークショップの報告。ワークショップの問題設定およびソフトウェアアーキテクチャに基づく分析結果に関連する部分担当。（p.33〜43）執筆者：鯵坂恒夫、池田健次郎、中谷多哉子、野呂昌満
	備考（Remarks）
1996	自動販売機制御ソフトウェア用ORBの設計と試作	ソフトウェアの研究開発	その他
	1997/03
	概要（Abstract）富士電機株式会社の自動販売機制御ソフトウェアの一部をJavaで記述し独立したプロセッサ上で実行する。そのさい既存のCコードと専用プロトコルで通信する。Cコードはデータ抽象化設計されたものであり、抽象データへのアクセスは関数呼び出しによって行うようになっている。このような条件のもとJavaコードからCコードをアクセスするためのORBを設計試作した。富士電機がその後、製品開発に用いているものの研究開発版。Windows上で稼働するソフトウェア(C言語で約5000行)。共同開発者：繁田雅信
	備考（Remarks）
1995	自動販売機シミュレータの設計と試作	ソフトウェアの研究開発	その他
	1996/03
	概要（Abstract）富士電機株式会社の自動販売機制御ソフトウェアのテストおよびデバッグを行うためのシミュレータをWindows上で作成した。これにより実ハードウェアを使用することによる制約から解放され、より生産性の高い自動販売機制御ソフトウェア開発プロセスが定義できた。富士電機がその後、製品開発に用いているものの研究開発版。Windows上で稼働するソフトウェア(C言語で約5000行)。共同開発者：繁田雅信
	備考（Remarks）
1994	自動販売機制御ソフトウェアのオペレーティングシステムVOOSの設計	ソフトウェアの研究は開発	その他
	1995/03
	概要（Abstract） 80286上で稼働するソフトウェア（C言語で約1万行）システムの設計担当富士電機株式会社の自動販売機制御ソフトウェアの信頼性ならびに生産性の向上を目指して、設計・実現したデータ抽象化オペレーティングシステム。オペレーティングシステムが取り扱うすべての資源を抽象データとして捉え、同期はすべて抽象データの操作呼び出しのさいにとるようにした。このように、抽象データとそれに対する操作という統一概念でオペレーティングシステムを設計することで、使い易く、理解し易いオペレーティングシステムを提供した。共同開発者：繁
	備考（Remarks）
1992	コンピューティングの玉手箱97演算子識別のアルゴリズムのyaccを使った実現(2)	寄稿	単著
	bit ，共立出版， 25/1 ， 95-97 ， 1993/01
	概要（Abstract）演算子識別(関数の多重定義解決)のアルゴリズムの生成系上での実現のさいの問題点と解決策を解説。(p.95〜97)
	備考（Remarks）
1992	コンピューティングの玉手箱96演算子識別のアルゴリズムのyaccを使った実現(1)	寄稿	単著
	bit ，共立出版， 24/12 ， 88-89 ， 1992/12
	概要（Abstract）演算子識別(関数の多重定義解決)のアルゴリズムの生成系上での実現のさいの問題点と解決策を解説。(p.88〜89)
	備考（Remarks）
1991	コンピューティングの玉手箱87演算子識別のアルゴリズム(基礎)	寄稿	単著
	bit ，共立出版， 24/3 ， 94-95 ， 1992/03
	概要（Abstract）演算子識別(関数の多重定義解決)のアルゴリズムの解説。とくに直構文解析や属性文法を用いたアルゴリズムについて解説した。(p.94〜95)
	備考（Remarks）

詳細表示

研究発表

年度 Year	題目又はセッション名 Title or Name of Session	細目 Authorship	発表年月（日） Date
年度 Year	発表学会等名称 Name, etc. of the conference at which the presentation is to be given, 主催者名称 Organizer, 掲載雑誌名等 Publishing Magazine，発行所 Publisher，巻／号 Vol./no.，頁数 Page nos.
2016	MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察	共同	2017/03
	組込みシステム研究会，情報処理学会組込みシステム研究会，情報処理学会研究報告（組込みシステム），情報処理学会， 2017-EMB-44/14 ， pp. 1-6
	概要（Abstract）
	備考（Remarks）
2016	組込みシステムへのコンテキスト指向プログラミング技術の適用	共同	2016/07
	ソフトウェア工学研究会，情報処理学会ソフトウェア工学研究会，情報処理学会研究報告（ソフトウェア工学），情報処理学会， 2016-SE-193/11 ， pp.1-8
	概要（Abstract）
	備考（Remarks）
2015	自動販売機システム開発文書への形式仕様記述の適用事例	共同	2016/03
	ソフトウェア工学研究会，情報処理学会ソフトウェア工学研究会，情報処理学会研究報告，ソフトウェア工学研究会，情報処理学会ソフトウェア工学研究会， 2016-SE-191/12 ， 1-8
	概要（Abstract）
	備考（Remarks）
2015	オブジェクト間の相互作用の設計手法に関する考察	共同	2015/11
	FOSE2015 ，ソフトウェ科学会， FOSE2015 ポスターセッション資料，ソフトウェア科学会ソフトウェア工学の基礎研究会， 26-28
	概要（Abstract）
	備考（Remarks）
2015	情報処理学会組込みシステム研究会	共同	2015/03/06
	同時性を考慮した並行システムの振舞い検証に関する考察，情報処理学会，情報処理学会研究報告組込みシステム研究会，情報処理学会組込みシステム研究会， Vol. 2015-EMB-36, No.13 ， 1-6
	概要（Abstract）一定の時間間隔内に起きるイベントを同時発生イベントと定義し，その記述方法を提案し，並行処理記述の簡素化を図った．
	備考（Remarks）
2014	インタラクティブソフトウェアの共通アーキテクチャの提案	共同	2015/03/12
	情報処理学会，情報処理学会ソフトウェア工学研究会，情報処理学会研究報告, ソフトウェア工学研究会(2015-SE-187) ，情報処理学会， 2015-SE-187/32 ， 1-8
	概要（Abstract）スマートデバイス上で稼働するソフトウェアのアーキテクチャを提案した．アスペクト指向ソフトウェアアーキテクチャとして定義することで，当該ドメインのソフトウェアを適切に表現できることを示した．
	備考（Remarks）
2013	際どい実行順序を考慮した並行システム検証に関する考察	共同	2014/03/15
	情報処理学会組込みシステム研究会，情報処理学会組込みシステム研究会，情報処理学会研究報告（組込みシステム），情報処理学会， 2014-EMB-32/8 ， 1-6
	概要（Abstract）
	備考（Remarks）張漢明，沢田篤史，野呂昌満（共同）
2013	パターンを用いたフォールト検出法	共同	2013/11/29
	第20回ソフトウェア工学の基礎ワークショップ，日本ソフトウェア科学会ソフトウェア工学の基礎研究会
	概要（Abstract）
	備考（Remarks）張漢明，野呂昌満，沢田篤史（共同）
2012	アーキテクチャ指向開発における形式手法適用に関する考察	共同	2013/03
	情報処理学会組込みシステム研究会，情報処理学会， 2013-EMB-28/11 ， pp.1-6
	概要（Abstract）
	備考（Remarks）
2012	SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究	共同	2013/03
	ソフトウェア工学研究会，情報処理学会， 2013-SE-179/25 ， pp.1-6
	概要（Abstract）
	備考（Remarks）

詳細表示

研究助成

年度 Year	助成名称または科学研究費補助金研究種目名 Name of grant or research classification for scientific research funding		研究題目 Research Title
年度 Year	役割（代表/非代表） Role	助成団体 Granting body	助成金額 Grant amount
2012	科学研究費補助金		クラウドソフトウェアのための関心事分離に基づくプロダクトライン構築方式
	代表	日本学術振興会	4000000
	研究内容（Research Content）
	備考（Remarks）研究期間：2012年4月～2015年3月研究組織：野呂昌満（代表者），沢田篤史，張漢明，加藤大地（分担者）助成金額：2012年度1,600千円／（2013年度1,300千円／2014年度1,100千円；予定）
2010	科学研究費補助金		プロダクトラインソフトウェア工学における要求とアーキテクチャとの関連付け
	研究代表者	日本学術振興会
	研究内容（Research Content）研究助成
	備考（Remarks）
2010	科学研究費補助金		確率的言語モデルを用いたソフトウェア解析の研究
	研究分担者	日本学術振興会
	研究内容（Research Content）研究助成
	備考（Remarks）
2008	南山大学パッヘ研究奨励金I-A-2		組込みソフトウェア開発環境における実行前検査に関する研究
	代表者（個人研究）		300,000円
	研究内容（Research Content）研究助成
	備考（Remarks）
2007	科学研究費補助金		アスペクト指向アーキテクチャに基づく組込ソフトウェア開発環境の設計と実現
		文部科学省
	研究内容（Research Content）研究助成
	備考（Remarks）
2007	南山大学パッヘ研究奨励金I-A-1		E-AOSAS++に基づく開発環境の設計

	研究内容（Research Content）研究助成
	備考（Remarks）
2006	科学研究費補助金		アスペクト指向アーキテクチャに基づく組込ソフトウェア開発環境の設計と実現
		文部科学省
	研究内容（Research Content）研究助成
	備考（Remarks）
2006	南山大学パッヘ研究奨励金I-A-2		組込みソフトウェア開発環境に関する研究

	研究内容（Research Content）研究助成
	備考（Remarks）
2005	南山大学パッヘ研究奨励金I-A-2		TCP/IP処理ソフトウェアのフレームワークの設計と実現

	研究内容（Research Content）研究助成
	備考（Remarks）
2004	南山大学パッヘ研究奨励金I-A-2		アスペクト指向ソフトウェアアーキテクチャスタイルの構築に関する研究

	研究内容（Research Content）研究助成
	備考（Remarks）

詳細表示

教育活動

年度 Year	タイトル Title	内容等 Content	活動期間 Period of Activities
2014	プログラミング言語講義資料	講義科目プログラミング言語の講義資料を作成し，講義時に配布し補助資料とした．	2000-2015
2006	先導的ITスペシァリスト育成推進プログラム	2007年度から文部科学省先導的ITスペシャリスト育成推進プログラムの拠点として数理情報研究科が選定され、講義担当および運営を行った．	2007-2009

詳細表示

著書・学術論文に関する統計情報

年度 Academic Year	学会誌・国際会議議事録等に掲載された学術論文の件数 No. of Academic Articles in Journals/Int'l Conference Papers	学内的な紀要等に掲載された学術論文の件数 No. of Academic Articles Pub'd in University Bulletins	国際学会でのゲストスピーカーの件数 No. of Times as Guest Speaker at Int'l Academic Conferences	国際学会での研究発表の件数 No. of Presentations of Papers at Int'l Academic Conferences	国内学会での研究発表の件数 No. of Papers Presented at National Academic Conf.
2021	5	1	0	1	7
2020	1	0	0	0	0
2019	2	0	0	0	2
2018	3	0	0	0	2
2017	5	0	0	1	4
2016	1	2	0	1	2
2015	2	0	0	1	2
2014	3	0	0	1	2
2013	2	0	2	0	0
2012	6	0	0	0	4

詳細表示

2022/05/11 更新

<< 検索結果一覧に戻る

△このページの先頭へ