〜矢印でえがく数学の世界』(⁠2019年8月9日発売)に先立って西郷甲矢人(さいごうはやと)『圏論の道案内』著者の1人。長浜バイオ大学准教授。専門は数理物理学(非可換確率論⁠)⁠。私は西郷先生にいろいろ学んだので,当時の衝撃は少し忘れかけていますが(笑⁠)⁠,例えばさっきのソフトロボットはまさしくその柔らかいソフトロボットの実現形態が毎回変わっているんだけれど,掴むという意味では同じというのは大変衝撃的でしたよね。いう,数学的に厳密な議論なんて出来そうもないと一見思われるようなものでも非常にきっちり美しく,自然変換を通じた「圏同値」*15の概念で明確に把握させてしまうというようなことですね。圏と圏の間の「本質的な等しさ」(⁠詳しくは本書118ページを参照⁠)⁠。ふたつの圏が圏同値であるとしても,対象や射が一対一に対応しているとは限らない。ふたつの圏の射や対象の「豊かさ」が異なっていても,それらが圏同値であることはありうる。圏同値なふたつの圏は,あらゆる「圏論的な性質」を共有する。それで翻ってみると,私が今いるのは工学部ですが,ここの学科は計数工学科っていうんですけれども,その一つの柱は計測なんですね。「⁠計る」ということを一つ取ってみても......ちょっとコンパクトにあまり上手く言えないですが,何を同じと見るかっていうこと無しには全然成し遂げられないようなことであり,環境のことも大事だし......。環境は毎回変わりますから,変わる中で何を以て同じと見るのか。上位な問題もどんどん入ってきます。簡単に見えますが体重計。それは私たちの体重が高々何キロであったりだとか,人間の寸法がこれくらいだということを前提に設計されているわけですよね。ものすごく小さなモノ,一方でものすごく大きなモノ,例えば象とかを測るときにはそれなりの仕様が必要なわけです。そこまで含めてシステムをいかに設計し計測するか。価値基準に応じたシステムというか。そもそもの「インテンション(意図⁠)⁠」をどういうふうに考えていくかが不可欠で,そういった意図を含めた意味での計測。これをわたしの師匠のひとりである石川正俊先生(東大)がインテンショナルセンシング*16として提唱しました。これも圏論的な考え方になるのかなと思います。インテンショナルセンシングセンシング(物事を測ること)はそれを如何に活用するかという意図(インテンション)に基づいており,単に物量等を測ることだけでなく,システムの設計,分析,運用などを含めたアーキテクチャとして捉える概念。測定っていうとわれわれ門外漢からすれば単に測定される「物」だけが重要と思いがちです。実際には物とそれを測る側との関係がどうなっているかを想定することが大事だったりすると思うので,圏論的なものときっとつながるでしょうね。私は具体的にどうすればいいか,すぐにはわからないですけれども,きっとこうした方向の専門家の方々がもし圏論を学ばれたら,ああこれこうだなって思うようなものがあるんじゃないかなって感じが非常にしましたね。あとセンサーフュージョン*17という考え方があって,センサーを多数つかって,それらを集めて高度化するといったものなのですが,どのように合わせていくかってところで4つの類型があるんですね。センサーフュージョン複数のセンサーデータを総合することでより的確・適切な認識,行動を可能とさせ,新たな機能を構築するシステム概念,技術。これは初めて見ましたね。「⁠複合」っていうのはレンジが違うのもを合わせて拡大とか。「⁠統合⁠」⁠,「⁠融合⁠」⁠,「⁠連合⁠」⁠,これらははみな関係性から読み解く感じのもの。これって全部関係性を紐解くってことなので圏論的なものなんですよね。この図,矢印で書かれていますし。そもそもこういうものを規定するときにインテンションが関わってくる。インテンションというと,やっぱりある方向性をもった,非常にシャープなイメージにぴったりですね。ここに書かれているセンサフュージョンも初めて見ましたけれど,非常に似ていると感じます。結局今の話でもすごくそうなんですけど,これまでばらばらだった,例えば情報だったり,物理は物理だったり光学的なものは光学的だったり,情報科学は光学との繋がりを常に考えてきたと思いますけども,ある程度つながりがまだまだ少なかった部分が一気にこう繋がっていかなきゃいけない時代というか,新しい時代になってきた。やってお互いの意思疎通を図るのかっていうのが本当に急務になってくる気がしています。その時にすごく圏論というのが役に立つ。本書でも書きましたが,「⁠圏論が流行っている」んだそうですけど,実はすでに2011年に「数学セミナー」(⁠日本評論社)という雑誌で圏論の連載をしたときからそうでした。私はあの時すぐに出してもらえればなって思ったんですけれども色々ありまして,『⁠圏論の歩き方』が出たのが2015年,もうその段階で遅かった時代ではないかと私は思ったくらいです。関わらず,まだブームは去らず,むしろより多くの方々に圏論が知られてきている。私の学生時代には,もちろん数学者は知っているというか,知っていることになっているんですけれども,まさかこんなに世間的に圏論の話が出るとか,この『圏論の道案内』みたいなくだけた本が出るなんていうのは,想像だにしていなかったんですよ。圏論すごく今ホットになっているっていう背景には,やっぱりいろんな分野を融合していかないといけないという時に,じゃあ何をもって融合させていけばいいのかっていうことがあると思うんですね。私はちょっと答えらしきものを持っていて,それは当たり前の事なんですけれども「どの学問も人間がやっている」ってことなんですよ。人間の根源的な思考回路といいますか,そういうものにフィットするように出来ているので,共通の構造を使っている。したときに人間が言う所の知能というのは,非常に圏論的な構造を持っていると私は思っているんです。たんなる有向グラフ*18ではなくてね。有向グラフ「頂点」と「矢印」からなるシステム。各矢印にはその根元と先端の「頂点」が定まっている。圏は(大まかには)「⁠合成の概念を備えた有向グラフ」といえる。有向グラフは本書でも扱っていますが,要するに点と矢印のなすネットワークで,しかし合成は考えない。有向グラフだったらよく知っています,圏までやらなくていいんじゃないですか?っていう質問を受けるのですが,その違いはなんといっても「合成」なんですね。圏は特別な有向グラフと思ってもよいわけですが,何が特別かっていうと,合成っていう概念がある。矢印を繋いだ新しい矢印が作れるっていうシステムであることが重要です。人間っていうのは,「⁠AならばB」を理解し,「⁠BならばC」を理解したならば,「⁠AならばC」と推論できますよね。それは,他の動物などにとってはまったく易しいことではない。因果関係の把握もそうですね,Aを因としてB,Bを因としてCが生ずるなら,Aを因としてCが生ずることがわかる。いうことが出来るっていうのが知能の根源的な正確,本質ではないかと思っています。いまは「人間」ということを強調しましたが,狭い意味での人間のみならず,われわれが知能とよぶところのもの一般の構造と言ってもいいんじゃないでしょうか。それを通じて人間と自然現象とが一緒に計算したり,考えたりと出来るようなときが来るんじゃないかと思っています。何が言いたいかっていうと,成瀬先生は堀裕和先生をはじめ色々な方々と「自然知能」というものについて考えてこられた思うんですが,なぜ自然知能*19と圏論なのか?みたいなことについて,何かお思いになることがありますでしょうか。自然界の多様な現象を知的機能へ発展させる概念の総称。自然界の数物構造を知的機能に活用する鍵は,現象全体を精密に取り扱うことでは必ずしもなく,合成された物事の全体性を考察し,課題を解決する決め手となるインタフェースにおいて,現象の構造や性質を精緻に捉えること。そのため,数物理論で記述された自然ではなく,本来の自然を数物構造でどう表現し理解するかに取り組む態度が必要。そのため圏論的アプローチは有用と考えられている。それはもう本当に難しい問題で,我々もまだ答えを持ってないんですけれどもね。この先,半導体集積回路の集積度の向上を支えてきたムーアの法則*20がいよいよ終焉して,量子的な過程であったり,あるいは光であったりスピンであったり,時として生物系であったりと,従来のコンピューティングで使われていないような物理過程に注目したり,新しいアーキテクチャを考えないとないとどうしようもないだろうということについては,世界の共通認識になっていると思います。日本では「革新的コンピューティング」などとも呼ばれています。いった今後の新しいコンピューティングやシステムの理論的な基盤を作っていかなければいけないということは確かだと思うんですよね。集積度に関する経験則あるいは将来予測。ゴードン・ムーアが提唱し,実際に指数関数的に集積度が高まってきた(18ヶ月で2倍⁠)⁠。そのときにやっぱり圏論かどうかはわからないですが,現代数学を使いこなしていくこと,少なくともそこそこに知っておくことは,絶対に必要だなってことは言えると思います。それから,先程西郷先生が繰り返しおっしゃっていた合成可能性*21ですね。これは本当に重要なことです。Compositionality。これはもう根本的に重要だということに私たちだけじゃなく,欧米の応用圏論*22の人達も明確に意識しており,Compositionality*23の学問みたいなことを言い始めている。いう別のシステムを合成することで新たなシステムが構築されるか否かという観点をハイライトしている。圏論を様々な応用分野に展開することを目指している。Spivakさんは私の飲み友達なんです。忘れられているかもしれませんが(笑⁠)⁠。彼らも今ちょっと,これ読むとわかるんですけれど,実践に関しては模索しているんですよね。あーだ,こーだっていう感じで。決定打は僕の認識では出ていないんですけれども,今後いろんな探索的な研究をやっていくことが大変重要なのではないでしょうか。著者プロフィール西郷甲矢人(さいごうはやと)1983年生まれ。長浜バイオ大学准教授。専門は数理物理学(非可換確率論)。~矢印でえがく数学の世界~圏論は最近人気がある数学の分野の1つで,その考え方はプログラミング,人工知能,物理など幅広い分野に応用されています。2019」を開催しました。DAY1・DAY2の様子を注目セッションとともにお伝えします。LINEのエンジニア3名がイベントに先駆けて見どころを紹介します。コードの安全性・安定性を高める開発サイクル~テスト管理の効率を上げ,脆弱性診断を自動で行う~本連載では,連載「業務を改善する情報共有の仕掛け」を受けつつ,安全性・安定性を加えた開発サイクルについて考えていきます。若者世代から圧倒的な人気を誇るライブ配信&動画投稿コミュニティアプリ「MixChannel」(ミクチャ)の裏側(レコメンドシステムやサーバサイド開発など)について解説していきます。その他の連載CSS3アニメーションでつくるインターフェイス表現CSS3によるアニメーション表現を紹介していきます。その中でも,幅広い読者に応用してもらえるだろうインターフェイスを主なお題とします。MySQL道普請便り本連載では,MySQLを使ったアプリ開発・運用に関するノウハウをご紹介していきます。RecipeUbuntuの強力なデスクトップ機能を活用するための,いろいろなレシピをお届けします。JavaScriptセキュリティの基礎知識JavaScriptに関するセキュリティ上の問題はどこで発生し,どうすれば防ぐことができるのか?について解説していきます。〜システムをきちんと運用するための基礎知識システムは「作って終わり」ではなく,運用の中でさまざまな問題が発生します。問題の発生に備えて事前にどのような対応をしておくべきなのか,問題発生時に何をしなければならないのか,ポイントを解説していきます。きたみりゅうじの聞かせて珍プレーソフトウェア開発の現場で体験したトホホな失敗,思わずうなる珍プレーをきたみりゅうじ氏が四コママンガで紹介。Linuxのメンテナンスの傍ら,Linuxやオープンソースソフトと日々を過ごす著者が,その魅力とつきあい方を,エッセイ風味でお届けします。PRESS特別編集部員,さわやか笑顔のスーパーハカーはまちちゃんとネット大好き14歳わかばちゃんが,毎号,読者の皆さんから寄せられたおたよりを紹介します。皆さんの日頃の悩みにも答えちゃいますよ。]メールでのお知らせメールで次の案内をお送りしております。メールの配信を希望する方は,利用したい項目をチェックしてメールアドレスを入力し,[登録]ボタンをクリックしてください。UPDATES[ほぼ週間に1回]新刊メールマガジン[ほぼ週間に1回]電脳会議の各号案内[ほぼ1ヵ月半に1回]※変更する場合や停止する場合は,登録情報変更ページをご覧ください。※登録いただいたメールアドレスには,そのお知らせ以外,配信いたしません。Ltd.ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。