=======================================

　　　      ２０２６年度第4回 SICフォーラム開催案内

             =======================================

１.  講演タイトル： 
　　　　「圏論によるModel Based System Engineeringの展開とその動向」

２．開催日時： ２０２６年 ６月１７日(水)　１５：００～１６：１５
 　　　　　　　　　　　　　　　　(講演６０分、Q＆A１５分) 

３．講師： 　　　　本多　敏　氏 　　　　　慶応義塾大学名誉教授 　　　　　慶應義塾大学システムデザイン 　　　　　　　・マネジメント研究所上席研究員 　　　　　JICA日越大学支援プロジェクト専門家

４．講演概要： 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　
　本講演では、圏論の基本的事項の紹介の後、INCOSEがSysML、UAFにより推進しているMBSEについてと、これを圏論で扱う動きの概要、ならびに、講演者が現在取り組んでいるシステムアーキテクチャをolog という圏で記述するいわゆるOBSE（Ontology Based Systems Engineering)への展開について説明する。

　通常の数学理論は集合論をもとに展開されている。集合論は、集合とその要素に対する所属関係から構築され、集合A,B 間の写像fは集合Aの各要素aに対して、集合Bの要素f(a)を対応させる規則、すなわち、積集合A×Bの部分集合とみなすことで定義される。一方、圏論では、圏Cを、写像の概念を一般化・抽象化することで、対象（object）、射（morphism）として定義する。
　圏論を1940年代に創始したアイレンベルグとマクレーンは、ホモロジー代数（代数的位相幾何学）を公理的に展開する過程で、異なる数学的体系の間の自然変換(naturaltransformation)を理解するために関手（functor）の定義が必要となりそのために圏を導入した。数学の様々な分野から圏をつくりだして、異なった理論の間に平行して存在する手続きを統一的に理解することができるようになり、さらにそうして構成された圏同士の構造を保存する対応関係として関手が定義され、さらにこの関手の間の射として自然変換が定義される。これによって、圏から圏への関手を対象として、自然変換を射とすることで関手の圏として抽象化される。
　グロタンディークによる代数幾何学への展開とトポスの導入は、情報科学への展開など、様々な分野に適用されている。システム論もその例外ではなく、MITを中心として様々に理論展開されるばかりでなく、INCOSEでもMBSEとして、様々のシステムの実装を伴いつつ推進されているが、圏論で扱う動きも活発化している。

５．講師プロフィール （略歴）：　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　1975年 東京大学工学部計数工学科卒業、同学科助手、講師を経て、1986年 熊本大学工学部生産機械工学科助教授、1990年 慶應義塾大学理工学部計測工学科助教授、1992年 ドイツアーヘン工科大学客員研究員、1998年 慶應義塾大学理工学部物理情報工学科教授。2017年 同、定年退職。
　2017年4月～現在 慶應義塾大学名誉教授、慶應義塾大学大学院SDM研究所上席研究員。
　2025年8月～現在 JICA 日越大学支援プロジェクト 専門家/講師（コンピュータサイエンス&エンジニアリング分野）。

６．参加申込はこちらから：
　     SICイベント参加登録ページ
　　    （ https://sysic-org.sakura.ne.jp/SICregistration.html ）　　
　　より、記載の案内に沿ってお願いします。