●情報通信今後の展開
今後の展開

URL : http://www.aise.ics.saitama-u.ac.jp/〜天に手を伸ばし、地に足をつける研究〜◆◆〜ユビキタス情報化社会に役に立つ研究室〜
◆◆◆

■研究者
程 京徳 教授

本研究室では、天へ届く研究テーマ、すな

これからは、これまでの研究成果や経験をわち、先端的かつ先駆的な研究テーマにおい生かし、ユビキタス情報化社会の実現に必要て、新しい問題、独創的なアイディア、斬新な不可欠な永続的計算・サービスシステムや先

先端情報システム工学研究室
後藤祐一 助教■研究テーマ●高可用性高信頼性高安全性システム●永続的計算・サービスシステム●知識処理システムの自律的進化●先行予測推論反応システム●国際基準に基づく情報セキュリティ工学環境■キーワードソフトシステムバス、ユビキタスアンケート、相関的推論、自動定理発見と自動問題提示、積極的・先行的防御、
程 京徳 教授
継続的セキュリティ保証

後藤祐一 助教

方法論、面白い応用を世界で初めて提案し実行推論による予測に基づく永続的反応システ証することを目指しているとともに、地に根づくムという先端的・先駆的研究と、ユビキタス情研究テーマ、すなわち、実用的かつ現実的な報化社会において、われわれがより民主的に研究テーマにおいて、実用性，効率性，経済あるいは人々のニーズを汲み取って政治的・性を重視し，広く使えるソフトウェアシステム・経済的活動を支援するために必要不可欠な道具を開発し普及することも目指しています。

汎用ユビキタスアンケートサーバという実用本研究室では、これまで、多くの研究成果を的・現実的な研究を更に世界的に展開し、研挙げており、多くの公表論文は国際的に参照究の成果を社会に広く還元していきます。

■産業界の相談に対応できる技術分野
ソフトウェア工学、知識工学、情報セキュリティ工学され引用されてきました。
たとえば、ソフトウェᇍᅜ಑̜੠ࣉൌ޻!ҝ̷ӊӦҗӁӌ̷ҪӚӦҮӦҲ̷ ŕņōȁıĵĹĮĹĶĹĮĴĹĵĺŇłřȁıĵĹĮĹĶĹĮĺĵĲĺ ŦιȜσȁŤŰŪŤĮūŪŮŶŁŮŭįŴŢŪŵŢŮŢĮŶįŢŤįūű

デッドロックの系統的分類法と検出技法の確

研究概要
研究概要

〜ユビキタス情報化社会の基盤から応用まで〜◆の基盤として、故障や攻撃、あるいは保守や更おける自己計測原理の提案、ソフトシステムバ

新を行うときでさえ止まらずにサービスを提供しスを用いたシステム構成法の提案、永続的計反応的システムは、外部からの要求に対し続ける永続計算・サービスシステム、そして、そ算・サービスシステムの提案、汎用ユビキタスて反応し、要求に応じたサービスを提供し続の永続計算・サービスシステムに基づき、災害

アンケートサーバENQUETE -BAISEの開ける計算システムです。
通信・電力制御ネットや攻撃の兆候から未来の状態を予測し、災害อȂ౶েࢥ‫ڠ‬໦࿤̤̞̀ͅȂ௖‫۾‬എଔაͬ‫ܖ‬発、人の集まりを支援するツールQWiKSの開ワーク、鉄道・航空管制システム、銀行オンラயັ̫ͥ‫ޑ‬௖‫۾‬აၑ͈೹մȂไဥஜ̧࢜ଔ
発、知識工学分野において、相関的推論を基インシステム、大規模Webサービスシステムなや攻撃による損害をできる限り未然に防ぐ、先͞ࢲࠢͥ͢ͅఅ‫ྚͤࡠ̧ͥ́ͬٺ‬டͅཡ̪Ȃ୶
行推論による予測に基づく
永続的反応システ࣐ထ௶ଔა฽؊ΏΑΞθȂ̯ͣͅȂξΫ΅ΗΑა΀ϋΐϋŇųŦŦņůńŢŭ͈‫ٳ‬อȂ‫ڠش‬എอࡉ
礎付ける強相関論理の提案、
汎用前向き推たとえば、永続計算・サービスシステムの研どの反応的システムは、情報化社会におけるム、さらに、ユビキタスサービスとして、いつでも、΍ȜΫΑ̱͂̀Ȃ̞̾́͜Ȃ̭̥̓ͣ́͜Ȃ̺ͦ́ͬ঑‫෇͈̹̳͛ͥ׳‬েഎίυΈρηϋΈ࡞ࢊ論エンジンFreeEnCalの開発、科学的発見の究においては、基礎理論の確立とそれに基づ࣭ྦྷ୆‫͈ڰ‬հ஠Ȇհ૤͈‫ږ‬༗̳͂̽̀͘͘ͅ
国民生活の安全・安心の確保にとって益々重

ど
こからでも、だれでも電子アンケートや電子投͜ഩঊͺϋΉȜΠ͞ഩঊদࡑȂ̷̱̀Ȃഩঊൎ̷̤͍͈͢ੜၑࠏ͈‫ٳ‬อȂૂ༭Γ΅νςΞͻ
ための認識的プログラミ
ングパラダイムの提いた仕様を策定し、その仕様をオープンな形で公表します。その後、いかなる永続計算・

図2

研究室の様子票を実施し、回答・投票できるユビキタスアンຘͬ৘ঔ̱Ȃٝ൞Ȇٜ൞Ȇൎຘ̢࣐ͬͥξΫ΅ࢥ‫ڠ‬໦࿤̤̞̀ͅȂ୶࣐ထ௶ଔა฽؊ΏΑ案、情報セキュリティ工学分野において、先行ケートシステムの研究と開発を行っています。
まΗΑͺϋΉȜΠΏΑΞθ͈ࡄ‫ٳ͂ݪ‬อ࣐ͬ̽̀Ξθ͈೹մȂ࣭ष‫ܖ‬੔ͅ‫ૂ̩̿ܖ‬༭Γ΅νς
推論による予測に基づく永続的反応システム

サービスシステムにおいても共通な部分をソも、どこでもコンピュータが利用できなければた、
従来から、プログラム・システムの振る舞い解̞̳͘ȃ̹͘Ȃਲြ̥ͣȂίυΈρθȆΏΑΞθ͈Ξͻࢥ‫ࢹ͈ޏ۪ڠ‬ಃ̦̜̳̈́̓ͤ͘ȃの提案、国際基準に基づく情報セキュリティ工フトウェアパッケージとして提供します。
また、ならないため、反応的システムもいつでも、どこ析、並行システムの設計・開発方法論、ソフトシ૦ͥໍ̞ٜଢ଼Ȃ໼࣐ΏΑΞθ͈୭ࠗȆ‫ٳ‬อ༷

学環境の構築などがあります。

からの要求に対してもサービスを提供できなス
テムバス技術、相関的推論とその応用、汎用༹აȂΕέΠΏΑΞθΨΑܿ੅Ȃ௖‫۾‬എଔა͂

材ナ
料ノテクノロジー・

ければなりません。
しかし、従来の反応的シス

前向き推論エンジン、自動定理発見と自動問̷͈؊ဥȂไဥஜ̧࢜ଔა΀ϋΐϋȂু൲೰

来事に応じて、システムの次の行動を決定す

テムは、外部からの刺激に対して受動的にし題提示、科学的発見のための認識的プログラミၑอࡉ͂ু൲࿚ఴ೹াȂ‫ڠش‬എอࡉ͈̹͛

る行動決定機能の基礎理論の構築、ならびにか反応できないので、可用性、信頼性と安全ングパ
ラダイム、知識処理システムの自律的継͈෇েഎίυΈρηϋΈΩρΘͼθȂ౶েੜၑ実現を行います。
その後、いかなる永続的反性の観点から見れば、いつも受け身になって続的進化、国際基準に基づく情報セキュリティΏΑΞθ͈ুၙഎࠑ௽എૺ‫ا‬Ȃ࣭ष‫ܖ‬੔ͅ

応システムにおいても共通な部分を抜きだおり、災害や攻撃に事前にかつ能動的に対処

工学環境などのテーマも研究しています。
‫ૂ̩̿ܖ‬༭Γ΅νςΞͻࢥ‫͈̓̈́ޏ۪ڠ‬ΞȜし、ソフトウェアパッケージとして提供します。

することができません。
また、従来の反応的シζ͜ࡄ‫̳̞̱̀͘ݪ‬ȃ

社会
基盤

フロン
テ
ィア

永続的反応システムの研究においては、まず、先行予測機能、そして予測した未来の出そして、ユビキタスアンケートシステムの研究においては、機能を漸増させながら逐次公開

ステムは、故障が生じるときはもちろん、正常

53

境

技製
術造︵ものづくり︶

ユビキタス情報化社会においては、いつで止させなければなりません。

環立、
並行プログラムにおける依存性解析理論の構築と応用、並行システムの設計・開発にな定期保守作業のときでもシステム全体を停

情報
通信エ
ネル
ギー

ア工学分野において、並行システムにおける本研究室では、現在、ユビキタス情報化社会̳ਹါ̞̳͂̈́̽̀͘ȃ要となっています。

サライイ
エフン
ス

情報通信

特徴と強み
特徴と強み

図1

汎用ユビキタスアンケートサーバ ENQUETE-BAISEし、最終的にユビキタスアンケートシステムとして提供します。

5454