【研究概要】
|
|
(1) 拡張型分散ＯＳ: 以下を目的とする分散OSの研究 (http://research.nii.ac.jp/H2O)
拡張性: 適用分野の要求に応じて、自在に機能の拡張や性能の最適化を行える。
安全性・頑丈さ: 機能追加モジュールの障害やバグが他モジュールに影響しない。
先進的な分散処理のサポート: 高度の分散処理システムを非常に簡単に記述できる。
コンポーネントソフトウェアの実行基盤
(2) 分散能動オブジェクトライブラリCAPE: Communicating Autonomous Programs Environment
分散モデルでは Client/Server モデルがよく知られているが、 今後 Peer-to-Peerモデルが益々重要になる。例えば、分散エージェントシステム、プロセス監視制御システム、通信制御システム等では、各分散オブジェクトが並行動作し、対等にメッセージを交換しあい、かつ相手の受信を待たずに自己の処理を継続しなければならない。このような分散処理を実現するのが Java ライブラリー CAPE である。 このライブラリーを用いることにより、 簡明かつ融通性に富むP2P型分散処理を Pure Java で実現できる。
(http://research.nii.ac.jp/~maruyama/cape)
|
【学 歴】
|
|
1964年 4月 東京大学理科一類 入学
1968年 3月 東京大学工学部電子工学科 卒業
1968年 4月 東京大学大学院工学系研究科電子工学専門過程修士過程 入学
1970年 3月 東京大学大学院工学系研究科電子工学専門過程修士過程 修了
1990年 9月 工学博士（東京大学）
|
【主要経歴】
|
|
1970年 4月 日本電信電話公社(現 NTT)入社
武蔵野電気通信研究所に勤務（1995,6まで）
1977年 2月 〃 研究専門調査員（主任研究員）
1981年 2月 〃 調査役（主幹研究員）
1991年4月 〃 副理事、主席研究員
1995年 7月 国文学研究資料館（大学共同利用機関）教授, 情報メディア室長兼任）
1998年 7月 学術情報センター (大学共同利用機関)システム研究系・教授に転任
2000年 4月 国立情報学研究所教授・ソフトウェア研究系主幹に転任
|
【受賞等】
|
|
1982年 電電公社総裁表彰『高度化した交換システム用ソフトウェアの実用化』
1982年 電電公社研究開発本部長表彰『交換プログラム用言語CHILL の実用化』
1988年 NTT 交換システム研究所長表彰『メッセージ結合に基づく交換ソフトウェア構成法』
1990年 International Switching Symposium '90の発表論文が重要論文に選ばれる (IEEE Communications Magazine, Vol.29, No.1, 1991, に論評)
1991年 情報処理学会平成２年度論文賞 (丸山勝己, 渡部信幸, "既存並列処理言語による実時間オブジェクト指向プログラミング" 情報処理学会論文誌 Vol.31, No.1 (1990) )
1992年 NTT交換システム研究所長表彰『通信網制御用高度分散制御ソフトウェア技術』
1997年 電気通信普及財団賞 (テレコムシステム技術賞)
|
【教育活動歴】
|
|
1996年～1998年 千葉大学大学院自然科学科・ 非常勤講師。「分散情報処理」の講義を担当
2002年 総合研究大学院大学 併任教授
|
【大学院担当講義】
|
|
「分散情報処理」
「ソフトウェア概論」
|
【指導中の学生】
|
|
尾崎 亮太
|
【学協会活動】
|
|
電気電子通信学会会員
情報処理学会会員
1990年～1994年 郵政省電気通信フロンティア会合委員
1990年～1993年 電子情報通信学会 ニュース委員会委員
1992年 電子情報通信学会英文論文誌ゲストエディター
1998年～現在 電子情報通信学会ネットワークシステム研究会委員
1998年～現在 電子情報通信学会通信ソフトウェア分科会委員
|
【社会貢献活動】
|
|
1975年～1981年 国際電信電話諮問委員会（CCITT, 現ITU-T）高水準言語設計チームメンバー: CCITT標準プログラミング言語CHILLの言語仕様設計を担当。
1985年～1989年 国際電信電話諮問委員会（現ITU-T）第10研究委員会 副議長: 通信用ソフトウェアの仕様記述法の標準化を担当。
1990年～1994年 郵政省電気通信フロンティア会合委員
2001年～ 次期航空路管制卓システム検討委員会委員
2002年～ 日本学術振興会：「基盤ソフトウェア技術開拓のための研究開発委員会」幹事
|
【査読付き論文／それらに相当する論文・著書 等】
|
|
---------------- 学位論文-----------------------------
- 丸山勝己: “交換プログラムの記述言語とプログラム構造に関する研究”, (学位論文 東京大学 1990年）
------------------ 論文誌論文 ------------------------
- 斎藤忠夫、丸山勝己、猪瀬博: “相互同期系の一般化された構成法”, 信学会論文誌(A) Vol.53-A, No.6 (1970 年6 月)
- 丸山勝己、佐藤規男: “交換プログラム記述用並列処理言語の実現”, 情報処理学会論文誌, Vol.26, No.3, pp.407-413, (1985)
- 丸山勝己: “インタバル分析を用いた広域最適化手法”, 情報処理学会論文誌, Vol.27, No.8, pp.837-844, (1986)
- 丸山勝己、渡部信幸: “A Concurrent Object-Oriented Switching Program in Chill”, IEEE Communication Magazine, Vol.29, No.1, pp.60-68, (1991) (招待論文)
- 丸山勝己、久保田稔: “オブジェクト指向による交換プログラムの構成法” 電子情報通信学会・論文誌Vol. J74-B-I No.10, pp.757-768 (1991)
- 丸山勝己、久保田稔: “Object-Oriented Switching Program Structure” Electronics and Communications,Vol.75, No.6, pp.26-40,(1992), Scripa Thchnica, Inc.
- 丸山勝己: “Object-Oriented Switching Software Technology” (招待論文) 電子通信学会 英文論文誌IEICE Trans. Comm., Vol.E-75-B, No.10, pp.957-968,(1992)
- 丸山勝己、渡部信幸: “既存並列処理言語による実時間オブジェクト指向プログラミング”（論文賞受賞） 情報処理学会論文誌 Vol.31, No.1, pp.88-97,(1990)
- 丸山勝己、渡部信幸: “Object-oriented real-time programming in Concurrent process language” 情報処理学会 欧文論文誌 Vol.15, No.2, pp.202-211, (1992)
- 丸山勝己: “並列オブジェクト指向言語 COOL” 情報処理学会論文誌 Vol.34, No.5 pp.963-972, (1993)
- 丸山勝己、N.Raguideau: “Concurrent object-oriented language COOL" ACM SIGPLAN NotiNo.9, pp.105-114, (1994)
- 丸山勝己: “分散並行オブジェクト指向言語 ACOOLの実装” 情報処理学会論文誌 Vol.36, No.1 pp.207-217 (1995)
- N.Raguideau 、丸山勝己、久保田稔: “Telecommunication service software architecture for next generation network” 電子通信学会 英文論文誌 IEIEC Trans.Comm. Vol.E-77-B,No.11, pp.1295-1303 (1994)
- 久保田稔、丸山勝己、田中聡: “通信網ソフトウェア分散処理プラットフォームのカーネル” 情報処理学会 論文誌 Vol.35, No.12 pp.2602-2612 (1994)
- 田中聡、丸山勝己、久保田稔、山田茂樹: “並行オブジェクト指向に基づく実時間分散0S用メッセージ転送機構” 電子通信学会 論文誌 Vol.J78-D-I, No.8, pp.736-745, (1995)
- 久保田稔、丸山勝己: “通信網のための分散処理プラットフォーム” 電子通信学会 論文誌 Vol.J79-B-I, No.5, pp.301-309 (1996)
- 丸山勝己: “Concurrent Object-Oriented Programming for Distributed Real-time systems” Information Sciences /ElsevierVol.93 No.1-1, pp.87-106 (1996)
- 久保田稔、丸山勝己: “Distributed Processing Platform for Telecommunication Networks”, Electronics and Communications in Japan, Vol.80, No.4 pp.9-19 (1997)
- 丸山勝己: “ODB と全文検索エンジンの連携による人文系DB構築システムと電子図書館”情報処理学会 論文誌Vol.40, No.03 pp.812-820 (1999)
- Katsumi Maruyama: “A Java library for implementing distributed active object systems” 電子通信学会 英文論文誌 E83-A, No.11, pp.2253-2263 (2000)
- 大山敬三、影浦峡、神門典子、木村優、丸山勝巳、吉岡真治、高橋一道: “大規模学術情報データベースに適した情報検索システムの開発” 電子情報通信学会論文誌 Vol.J84-D-I No.6, pp.658-670 (2001)
- 日高宗一郎、児玉和也、丸山勝巳、橋爪宏達: “マルチサーバー型制御用OSの構成とタスク間通信, 電子情報通信学会論文誌 Vol. No.3 pp.376-384 (2003,3)
------------------審査付国際会議-----------------------------------------
- 丸山勝己、加久間勝、小泉正: "DPL-A High Level Programming Language for Electronic Switching Systems" ISS (International Switching Symposium)'76, (1976)
- 佐藤規男、丸山勝己、他: "NTT CHILL Implementation Aspects and its Application Experience" SETSS(Software Engineering for Telecommunication Switching Systems)-81,(1981, 英国)
- 小西寛、丸山勝己: "Enhancement of CHILL and its environments" Third CHILL Conference, (1982,米国)
- 小柳恵一、丸山勝己: "Declarative specifications in Prolog and SDL”, Third SDL (Specification and Description Language) Forum (1987英国)
- 甲斐俊洋、丸山勝己、小柳恵一: "Program structure based on a concurrent object model for switching systems", SETSS-89 (Software Engineering forTelecommunication SwitchingSystems) (1989,英国)
- 丸山勝己、渡部信幸: "A Concurrent Object-Oriented Switching Program in CHILL", ISS-90 (International Switching Symposium) (1990, スウェーデン) (ISS'90 発表の中の重要論文に選ばれる)
- 丸山勝己、久保田稔: "PLATINA : Platform for telecommunication and Information Network Applications" TINA'92 (Telecom. & Information Network Architecture Forum) (1992, 日本)
- 久保田稔、丸山勝己、田中聡: "Distributed Processing Platform for Switching Systems : PLATINA" TINA'92 (Telecom. & Information Network Architecture Forum) (1992, 日本)
- 丸山勝己、久保田稔: "An object-oriented, distributed processing platform PLATINA and a language for telecommunication networks" TINA'93 (Telecom. & Information Network Architecture Forum) (1992,イタリア)
- 久保田稔、丸山勝己: "Interobject Communication in PLATINA TINA'93 (1992, イタリア)
- N. Raguideau, 丸山勝己、久保田稔: "An object-oriented call processing model to support enhanced services" TINA'93 (Telecom. & Information Network Architecture Forum) (1993, イタリア)
- N. Raguideau、丸山勝己: "An object-oriented call processing model to support enhanced services" JC-CNSS (信学会, 大韓電子工学会), (1993,日本)
- 田中聡、久保田稔、丸山勝己: "Efficient message passing for network-wide distributed object-oriented processing" APCC'93 (Korean Institute ofcommunication sience, IEEE), (1993, 韓国)
- N. Raguideau、丸山勝己: "Overview of the PLATINA distributed processing framework" Intelligent Network'94 workshop, IEEE and EURESCOM, (1994, ドイツ)
- 久保田稔、丸山勝己: "Testbed for distributed object-oriented telecommunication service software" JC-CNSS (信学会, 大韓電子工学会), (1994,韓国)
- 久保田稔、丸山勝己、他: "Integrated environment for distributed telecommunication software development and operation" ISS'95 (International Switching Symposium)' (1995,ドイツ)
- Katsumi Maruyama: "Concurrent Object-Oriented Programming for Distributed Real-time systems" (Invited) International Conference on Information Sciences '95 (1995, 米国)
- S. Yamaguchi, K. Maruyama: "Autonomous Load Balance System for Distributed Servers using Active Objects", NBIS'2001 (The 4th International WOrkshop on Network-based Information Systems, 2001
- Soichiro Hidaka, Kazuya Kodama, Yusheng Ji, and Katsumi Maruyama: "A File Server Optimization Using Scatter/Gather IPC on L4 Based Multi-Server Operating System" Proceedings of the 6th World Multiconference on Systems, Cybernetics and Informatics (SCI2002), Orlando, Florida, July 14-18, Vol. I, pp.184189(2002)
- Katsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume: "Extensible Distributed Operating System for Reliable Control Systems" Proceedings of the Tenth ACM SIGOPS European Workshop (EW2002), (2002,9) 22-25
|
【特許・公開ソフトウェア・作品等】
|
|
- Acoolコンパイラ (分散並行オブジェクト指向言語 Acool のコンパイラ): GNU C-compiler をベースに開発。分散処理の実行時ルーチンを含む。フリーソフトとして公開。http://research.nii.ac.jp/~maruyama
- 能動オブジェクトプラットフォーム CAPE(Communicating Autonomous Programs Environment): JAVA用のライブラリで、能動オブジェクトを使った分散処理を簡単に実現できる。フリーソフトとして公開。http://research.nii.ac.jp/~maruyama/cape
- マルチサーバー型OS "L4minix-e": L4マイクロカーネルとマルチサーバー構成を特徴とする簡明なOS。ソースコードも公開。http://research.nii.ac.jp/H2O/L4minix
- データベース構築システム: オブジェクト指向データベースシステムを用いることにより、複雑にリンクしたデータベースを容易に構築できるようにしている。
- 電子資料館システム: オブジェクト指向データベース＋SGML化プログラム＋OpenTextによる高速検索＋WEBサーバーによる情報サービスを統合的に行うシステム。データ要素が複雑にリンクしたデータベースの構築からサービス提供までをサポートする。実用化し、国文学研究資料館(大学共同利用機関
- 電子交換機の実時間増設システム: NTTの電話交換事業で使用。
- 電子交換プログラム開発用の最適化コンパイラCHILL: データフロー解析と広域レジスタ割付けにより非常に効率のよい最適化コードを生成する。NTTのプログラム開発に使用。
- 能動オブジェクトモデルによる電子交換システム: NTTにおける研究
|
【上記に含まれない論文・記事・著作物等】
|
|
- 丸山勝己、阿部正之『電子交換用高水準プログラミング言語 ( 解説) 』電子通信学会誌 Vol.62, No.5 (1979.5)
- 丸山勝己 『 CCITTの最近の動向: ソフトウェア関連の標準化動向』 電子通信学会誌, Vol.72,No.5 (1989.5)
- 丸山勝己 『 CCITTにおける形式記述技法の標準化動向』情報処理学会誌 Vol.31, No.1,(1990.1)
- 丸山勝己、吉田靖之 交換プログラム用仕様記述法と高水準言語 （展望）』情報処理学会誌, Vol.21 No.3 (1990,3)
- 丸山勝己 『オブジェクト指向型通信ソフトウェア (解説) 』 電子通信学会誌, Vol.76, No.1(1993.1)
- 丸山勝己 『通信網における分散処理 (解説) 』 電子通信学会誌 Vol.77, No.4 (1994.4)
- 吉村武、中林效、丸山勝己、他 『電子交換用局データ作成方式』 NTT研究実用化報告, Vol.23, No.1 (1974)
- 水戸道夫、中林效、丸山勝己 『Office Data Generating System for Electronic Switching System』 Review of ECL, Vol.23, No.3-4,(1974)
- 工藤哲郎、丸山勝己、他 『交換プログラム作成用言語 DPL/1』 NTT研究実用化報告, Vol.24, No.11 （1975)
- 工藤哲郎、丸山勝己、他 『DPL - A High Level Programming Language for Electronic Switching System』 Review of ECL, Vol.24, No.11-12, (1976)
- 丸山勝己、佐藤規男、他 『交換プログラム作成用高水準言語 CHILL の実用化』 研究実用化報告, Vol.31, No.3,(1982)
- 佐藤規男、丸山勝己、他 『交換プログラム作成用高水準言語 CHILLの拡充とその評価』 研究実用化報告, Vol.34, No.3 (1985)
- 丸山勝己、小柳恵一、中村秀文 『交換機シミュレータ構成技術』 ＮＴＴ Ｒ＆Ｄ Vol.39 No.7,(1990)
- 丸山勝己、久保田稔 『通信網のための分散処理プラットフォーム』 ＮＴＴ Ｒ＆Ｄ, Vol.42 No.2,(1993)
- 丸山勝巳, "Java仮想マシン上で走る簡潔な能動オブジェクト型分散処理方式" , 学術情報センター紀要, 第11号 (1999.03), pp.93-104 (1999)
- 丸山勝巳, "分散能動オブジェクトシステムのためのJavaライブラリー Cape" , 学術情報センター紀要, 第12号 (2000.03), pp.45-57 (2000)
- 丸山 勝巳, 児玉 和也, 日高 宗一郎, 橋爪 宏達, 計 宇生, 井手 一郎, 中村 明: 高信頼制御システムのための拡張型分散OS, NII Journal, No.3 (2001)
---------- 国際電信電話諮問委員会(CCITT: 現ITU-T)への奇書(提案書)----------
- CCITT高水準プログラミング言語CHILLの言語設計に関するもの 多数 (CCITT高水準言語設計チーム員としての活動) 1975～1981年
- CCITT仕様記述言語の勧告書設計に関するもの: 多数 (CCITT 第十研究委員会副議長としての活動) 1985～1989年
----------科学研究補助金報告書 ----------
- 丸山勝巳、他, "人文科学研究向けマルチメディア統合システムの研究",文部省科学研究費補助金 基盤研究 (b)(2) 09558043 研究報告, (1999)
- 丸山勝巳、他, "人文科学系の研究と情報流通を支援するための電子資料舘システムの研究",文部省科学研究費補助金 基盤研究 (b)(2) 08451095 研究報告, (1999)
------------------- 著書--------------------
- 丸山勝己 松尾勇治 “{交換用プログラミング言語 CHILL” 電気通信協会 1985, 1986(改訂版)
- K. Maruyama and K. Koyanagi, "Declarative Speficification using Prolog" in R. Saracco編, "Specification Description Language: State of the Art and Future Trends" pp.427-437, North-Holland 社 (1987)
- 丸山勝己 『プログラミング言語 CHILL 』 in 水野忠則監修 共著 『通信プロトコル言語入門』 pp.184-214, カットシステム社 (1994)
- 丸山勝巳 『第5章 テキスト流通とインターネット』 In 及川昭文監修 『講座 人文科学研究のための情報処理・ 第3巻 人文科学研究のための情報処理』pp.123-155, 尚学社 (1998)
|
【講演・口頭発表等】
|
|
- Katsumi Maruyama: "Concurrent Object-Oriented Programming for Distributed Real-time systems" (Invited) International Conference on Information Sciences '95
|
【教育指導等の実績】
|
|
- 千葉大学大学院自然科学科 「分散情報処理」
- 総合研究大学院大学 「分散情報処理」
|
【上記以外の業務活動実績】
|
|
- 1975年～1981年 国際電信電話諮問委員会（CCITT, 現ITU-T）高水準言語設計チームメンバー: CCITT標準プログラミング言語CHILLの言語仕様設計を担当。
- 1985年～1989年 国際電信電話諮問委員会（現ITU-T）第10研究委員会 副議長: 通信用ソフトウェアの仕様記述法の標準化を担当。
|
【競争的研究資金獲得状況】
|
(1) 科研費
|
|
- 丸山勝巳、他, "人文科学研究向けマルチメディア統合システムの研究",文部省科学研究費補助金 基盤研究 (b)(2) 09558043 , (1997～1999)
- 丸山勝巳、他, "人文科学系の研究と情報流通を支援するための電子資料舘システムの研究",文部省科学研究費補助金 基盤研究 (b)(2) 08451095 , (1998～1999)
- 丸山勝巳、他 “多様な機器のネットワーク上への協調的統合を実現する機能拡張型実時間分散OSの研究” 基盤研究 (B)(2) 13555112
|
(2) 科研費以外の政府関係の研究費
|
|
なし
|
(3) その他の研究費
|
|
なし
|
