国旗行列のランクと特異値分解

拙著『図解 線形代数:ストラング流直感的理解』のブログシリーズです。 前回、モンドリアン行列のランクを調べましたが、同じようなルールで各国の国旗を調べてみましょう。ランクとは、線形独立な最大な行数です。旗の例では、足し算や色の交換だけで重複を省いた行のパターン数です。 ちなみに、正確に線形代数のランクを測るための、行列の変換規則を書いておきます。以下の行基本を行なっても行列のランクは変化しません。()の中に旗で考えるときのわかりやすい解釈も入れましたので、この変換で置き換えてから、最後に残るパターンの数を数え、自分でランクを計算してみてください。 行基本変形 さらに、うえの変形を行でなく列にしても大丈夫。行と列を混ぜて変形してもランクは不変です。 Fracne, Sweden, Greece France はすべてが同じ行の繰り返しでパターンが1つ。Sweden の行のパターンは2つですね。Greeceの行のパターンは少し難しいですが、4つありそうです。しかし、2行目+3行目=1行目なので、ランク3です。あるいは、列のパターン数を数えた方が分かりやすく、明らかに3パターンです。 Japan さて、問題は日本です。このような行列の問題では「斜めのライン」がランクに大きく効きます。行基本変形で消えにくいのです。縦や横にぴったり沿ったライン(水平・垂直)は他の行や列と同じパターンになるので、ランクの増加に効きにくいのです。これに対して、三角行列や単位行列を思い出して下さい。斜めのラインがあるために、ランクは最大(斜め線のサイズ)になります。 下図を見て下さい。縦横に整列した正方形は最小ランクで1、45°傾いた正方形=ダイヤモンドは最大ランクで$n$。と大きな開きがあり、円はその間の数になります。 Prof. Gilbert Strang と Prof. Alex Townsend は、この円のランクを $0.5858n$ 程度と計算しています。動画『なぜ特異値は急激に減少するのか』および書籍『ストラング:教養の線形代数』には、日本の国旗のランクを求める問題があります。解答は動画中で分かりやすく解説されているほか、 Solution Manual の 7.2 節の練習問題 5(p.82)にあります。 ここで、解答のあらすじを。 $$2(n – 1/\sqrt{2}n) = (2 – \sqrt{2})n \approx 0.5858n$$ となります。では数値実験してみましょう。 日本国旗のランク計算 キャンバスサイズを 200×300 ピクセル、円の半径を $n=100$ と設定して計算します。ランクの計算には特異値分解を用います(ランクは非零特異値の数です)。ランクは整数ですが、零と非零の境界($\epsilon$)をどこにおくかで、現実的にその数は変わります。特異値分解はその安定したアルゴリズムによって、ランクを連続的に特異値(実数)の列として見ることができます。 今回設定した半径 $n=100$ をこの公式に当てはめると、次のようになります。 $$(2-\sqrt{2}) \times 100 \approx 0.58578 […]

Read more "国旗行列のランクと特異値分解"

モンドリアン行列のランク

拙著『図解 線形代数:ストラング流直感的理解』の表紙のデザインはモンドリアン風のデザインになっています。 このようなブロック的なデザインを行列に見立てて、そのランクを求めるという問題です。白の背景はすべて0、色が付いている部分には、色ごとに違う数字が入っていると考えます。 3つの解法を紹介します。 解答例1 ガウスの消去法 ガウスの消去法を使います。最上部の灰色四角形にまず注目してください。この灰色部分が仮に2行分あるとします(何行でも構いません)。1行目(灰色が少し入っている帯)を2行目(1行目と同じ帯)から引き算すると、2行目を0にできます。灰色の行はすべて1行目と同じなので、同様にしてすべての灰色の行を0にできます。 次に、灰色の下に赤色があります。赤色の行はすべて同じなので、赤色の1行目をその下の行たちから引き算して、赤色の行を0にできます。 この操作を同様に続けると、青も黄色も1行を残して0にできます。最下部の赤ですが、これは青の行のスカラー倍になります。 行基本変形でこれ以上の行は消せません。したがって、ランクは残った非零行数=4です。 解答例2 行優先の $CR$ 分解 本書『図解 線形代数:ストラング流直感的理解』列優先の $CR$ 分解を行う方法を説明しています。線形独立な列を選び、残りの列を線形結合で表す方法です。 ここでは、行に対して同様の方法を使います。行列の掛け算を、右の行列の行の線形結合として見る見方です。以下の図のような分解です。 すると、線形独立な行は4行が選べて、残りの行はそれらの線形結合で表せます。 線形結合と言っても実際には上の行の1倍、最後の赤だけ、これは青の行のスカラー倍( $c=青色/赤$ )になります。ランクは線形独立な行の本数=4です。右辺の右の行列に行空間の基底が、左の行列には、1と0が並びます。ちょうど、1が並ぶ部分は、同じ色の区画を引き延ばす役割です。ちょうど機械学習でのデコーダのように、もとの次元に戻す操作を担当しています。 上の式は、$A\transp$に対して通常の$CR$分解を行ったという解釈もできます。 解答例3 $CR$分解 ここで、本文で詳説した$CR$分解をそのまま行います。実は、この行列は列方向に見ると複数の色が混じって少し複雑です(本書や『ストラング:教養の線形代数』で $CR$ 分解を習得していない方は、ここをスキップしても構いません)。その理由でこの解法を最後に紹介しています。線形独立な列を選び、残りの列をそれらの線形結合で表します。図の要領です。 少々見にくいですが、線形独立な列は4本、残りの列はそれらの線形結合で表せます。 線形結合と言っても実際には上の列の1倍です。ランクは線形独立な列の本数=4です。 ここからさらに派生して、各国の国旗のランクを調べるという問題を次のブログで扱います。

Read more "モンドリアン行列のランク"

Phronetic Team with AI

Scrum software product teams are now welcoming AI agents as integral members. Inspired by Professors Nonaka and Takeuchi’s knowledge creation theory, which articulates the transformation between tacit and explicit knowledge within “Ba” (a shared context), here’s how this “Phronetic Team with AI“ works. This is also inspired by Prof. Jeff Sutherland’s recent works on Scrum […]

Read more "Phronetic Team with AI"

2022年のアジャイル本

2022年の年末を迎えるにあたって、今年出版されたアジャイル関連の本の中から、いくつかご紹介したいと思います。今年は、マネジメント系の本が目につきました。紹介する本は、 です。一本ずつ記事を書いていこうと思います。上のリンクからたどってください(今年中に完成予定)。

Read more "2022年のアジャイル本"

『ものづくりの数学』講演会

2022/4/10『ものづくりの数学のすすめ』の著者,松谷先生の講演会を開催しました.毎週日曜日に開催している,「動画で学ぶデータサイエンス」の勉強会の70回記念講演です. 先生の著書『線型代数周遊』,『ものづくりの数学のすすめ』を読んだのがきっかけで twitter でお声がけしたところ,快く引き受けてくださいました.当日の講演では,いくつか心に残ったキーワードをご紹介します.先生のサイトはこちら.当日の講演資料と講演録画はこちらです. 先生は,純粋数学の論文も書きながら,現場の技術者としてキャリアを歩まれてきた,「純粋数学者脳を持つ技術者」です.そんなご経験と知見の中から,今回のお話しの趣旨は,以下の問いです. 数理物理、応用数学、純粋数学の研究者としてまた、企業の現場,管理業務の経験者として、 数学はどう役に立っているのか? 数学はどう社会と向き合うべきか? 社会は如何に数学と向き合うべきか?という問いの答を見出すべき! 以下では,いくつかぼくの心に残ったキーワードをご紹介します. 日本のものづくりの生き残り方 これは日本の大きな産業を取り巻く社会構造論の話.ぼくたちが学生時代に社会の授業で言われていた「加工貿易国」としての日本は,もうない.ほとんどのシステム商品が輸入になってしまった.さて,これをどうする?生き残る道は2つだよ,そして,その中で数学が重要な役割を果たすよ,というのが先生のお話しです(先生の描いた道筋はぜひ,冒頭のリンクからスライドをご覧になってください). Problem Builder になれ 技術に上流と下流があり,アカデミックが上流でそこから下流に活用技術がある,と考えるのは間違いである.現場での各パラダイムを代表する専門家の異分野融合が大事.そのための言葉として数学. そして,このチーム活動は,アジャイルソフトウェア開発である,スクラムのモデルにも沿っていると. また,大学側が企業に与える「リカレント教育」という上から目線になってはいけない.企業の課題の立問こそが,王様だと.Problem Builder になれ.Solve しなくてよいと.Solve は問を言葉にできたら,極論すれば大学にアウトソースすればよいのだ. ニュートンよりライプニッツになれ そして,その立問の言葉が数学.ニュートンが F=ma を書いたのではない.ライプニッツが導入した記号が発展を導いた.無理にでも言葉にせよ. 刀を抜かずに切る 確か,なんでも行列で計算してしまおうという,表現論の文脈の話だったと思います.そんなことをしなくても,群論という抽象代数の世界に持っていくことで,計算せずとも解けてしまうことがある.抽象的な言葉で立問するだけでよい.「刀を抜かずに切る」. カタにはまるな そして最後に,スタイルを捨てたスタイル.ソリューションや得意技から最初に決めてかかってはいけない.問題とその対象そのものをどう見るか,そこ,なんだと. みなさんの反応 最後に,参加者のみなさんとスクリーンショットを撮りました. 頂いたアンケートの抜粋です. 数学は、専門家を繋ぐ共通言語であり、高度な数学が実際に活用されている事例を知ることが出来たこと。 実社会、企業と大学、企業内での必要性という広い視点から数学の重要性をしれたこと プロブレムビルダーに回ることが重要である、という視点 プロトタイプは圏論で、そして、それがポリモーフィズムに通じるというつながりを得られたこと 中学高等学校だと、数学が苦手な生徒から「社会に出て役に立たないでしょ」って言われがちだけど、今日は「その解決は数学にあり」みたいな話でワクワクした。 書籍のステキなイラストを松谷先生が書いているのだと知りました! めちゃくちゃ面白かったです。飛ばされてたスライドとかもぜひ見たかったです。もし、可能であれば、今回のご講演の録画を公開して頂けると大変ありがたいです。何度でも見たいと思いました。 武井さんが,講演を文字起こした文章とチャットからのワードクラウドです.数学・企業・大学・問題線形代数・結局・日本人・異分野・課題・勉強・活用・思い・意味・考え・自分・今などなどの言葉が見えます. 先生,ご参加されたみなさん,活発な質問も,どうもありがとうございました.議論のモデレータをしていただいた羽生田さん,講演の準備をしていただいた,武井さん,岡さん,またやりましょう!

Read more "『ものづくりの数学』講演会"

2021 個人的ふりかえり

2021年も31日を向かえ,久しぶりに自分自身の活動を振り返ってみます.パーソナルな話です. 会社の事業面 永和システムマネジメント,チェンジビジョンともに順調に利益を出せる状態になっていて,実際に推進している事業部長たち,現場で活動している社員には感謝ばかりです.永和システムマネジメントでは, Agile Studio への見学が200社 1,000名を超えた. Scrum Inc. の公認の「認定 Scrum マスターセミナー」を初開催,継続して席が埋まっている. 5期連続(夏冬賞与に上乗せで)決算賞与が出せ,今期はじめに給与も大きくベースアップできた. 受託部門の売上の50%がアジャイルになった. 福井でも東京でも中途採用が増えた!(まだまだ募集中,こちらへ) 機械学習のチームを作った. アジャイルコミュニティ Agile Japan はじめとするコミュニティ活動も今年多く登壇した.また,学校や企業さんに呼ばれてお話しもさせていただいた.昔からの仲間が講演に呼んでくれるのはとても嬉しいし,新しい仲間ができるのもまた楽しい.及部さんと出版記念講演を数度行ったこと,XP祭り,ふりかえりカンファレンス,スクラム札幌でキーノートさせて頂いたり.アメリカの川口耕介さんと絡めたのも思い出深い.あと,福井でも2回講演を行ったが,両方とも福井新聞に出て近所や社員の家族からコメントもらう,というのも福井ならでは,だった.また,野中先生と友好関係が深くなり,ちょくちょく直電で会話するようになった.「平鍋くん,こんなことを考えたんだがどうかね?」がいつもの電話の切り出し. そうだ,今年は「アジャイル開発とスクラム第二版」を野中郁次郎先生,及部さんと出版したのだ! 1/8 – RSGT2021 「野中郁次郎のスクラム再訪問」 (野中先生自身のキーノートも) 1/27 – AITC 「アジャイル開発とデジタルビジネスの潮流」 2/18 – 福井市高志高校 2/25 – 株式会社エーザイ 3/10 – NTT コム ソリューションズ 4/10 – ふりかえりカンファレンス 4/10 – NTT Communications 4/23 – Agile Studio 「アジャイル開発とスクラム第2版で伝えたかったこと」 4/24 – […]

Read more "2021 個人的ふりかえり"