Math in Notes on the Synthesis of Form

形の合成に関するノート、付記Ⅱの数学解説です。
XP祭り 2023/9/30 にて発表。

Transcript

1. 『形の合成に 関するノート 』 付記Ⅱの数学解説 2023/09/30 永和システムマネジメント 平鍋健児
2. 平鍋健児 (株)永和システムマネジメント社⻑ (株)チェンジビジョンCTO (株)Scrum Inc. Japan 取締役 福井で受託開発を続けながら、ア ジャイル開発を推進し、国内外で、 モチベーション中⼼チームづくり、 アジャイル開発の普及に努める。ソ フトウェアづくりの現場をより⽣産 的に、協調的に、創造的に、そして なにより、楽しく変えたいと考えて いる。アジャイルジャパン初代実⾏ 委員⻑。 2 第⼆版
3. 3 • 機械学習やっていて、線形代数を学び直したい⽅、ぜひ。 • 線形代数の緒概念が、直感的に⼿に取るように把握できます。 • 機械学習の線形代数の章があります！ • ReLU による空間分割、損失関数、畳み込み、勾配降下など
4. 4 https://anagileway.com/2020 /06/04/prof-gilbert-strang- linear-algebra/
5. 5 線形代数の可視化記事を書いたら、バズりました。
7. 『形の合成に 関するノート 』 付記Ⅱの数学解説 2023/09/30 永和システムマネジメント 平鍋健児
8. 出典： 井庭崇 「パターン・ランゲージとは何か」https://www.slideshare.net/takashiiba/20210321
10. 10 パタン・ランゲージ
11. 100 歩⾏者道路 という名前 想起させる、写 真・もしくは絵 11
12. 前述のパターンを ⽰し、⽂脈を提⽰ 課題を提⽰ ⾃然と外で⼈々 が肩が触れ合う くらいの社交的 な場が必要。 12
13. 解決策を提⽰ 建物が「歩⾏者道 路」を形作るよう に配置。⼆階へも 直接上がれるよう に階段を。 13
14. 1 ⾃⽴地域 2 町の分布 3 フィンガー状の都市と⽥園 4 農業渓⾕ 5 レース状の⽥園道路 6 ⽥舎町 7 ⽥園 8 モザイク状のサブカルチャー 9 仕事場の分散 10 都市の魔⼒ 11 地区交通区域 12 7000⼈のコミュニティ 13 サブカルチャーの境界 14 ⾒分けやすい近隣 15 近隣の境界 16 公共輸送網 17 環状道路 18 学習のネットワーク 19 商店網 20 ミニバス 21 4階建の制限 22 9パーセントの駐⾞場 23 平⾏道路 24 聖地 25 ⽔への近接 26 ライフサイクル 27 男と⼥ 28 中⼼をはずれた核 29 密度のリング 30 活動の節点 31 プロムナード 32 買物道路 33 ナイトライフ 34 乗りかえ地点 35 世帯の混合 36 公共度の変化 37 住宅クラスター 38 連続住宅 39 段状住宅 40 どこにも⽼⼈ 41 仕事コミュニティ 42 ⼯業の帯 43 市場のような⼤学 44 地区タウンホール 45 コミュニティ活動の輪 46 多店舗マーケット 47 保健センター パタン⾔語（町） 14
15. 48 あいだの家 49 ループ状の地区道路 50 T字路 51 緑路 52 ⼈と⾞のネットワーク 53 ⼤きな⾨⼝ 54 横断道路 55 ⼩⾼い歩道 56 ⾃転⾞路と置場 57 都市の⼦供 58 カーニバル 59 静かな奥 60 ⼿近な緑 61 ⼩さな広場 62 ⼩⾼い場所 63 街頭の踊り 64 池と⼩川 65 出産所 66 聖域 67 共有地 68 つながった遊び場 69 公共⼾外室 70 墓地 71 泳げる⽔ 72 地区スポーツ 73 冒険遊び場 74 動物 75 家族 76 ⼩家族の家 77 ふたりの家 78 ひとりの家 79 ⾃分だけの住まい 80 ⾃主管理の作業場とオ フィス 81 形式ぬきの⼩さな窓⼝ 82 事務室のつながり 83 師匠と弟⼦ 84 ⼗代の社会 85 店先学校 86 ⼦供の家 87 個⼈商店 88 路上カフェ 89 ⾓の⽇⽤店 90 ビアホール 91 旅⼈の宿 92 バス停 93 屋台 94 ⼈前の居眠り パタン⾔語（町） 15
16. • プロムナード、⼩⾼い歩道、、、 町 • 歩⾏者道路、ちびっこのほら⽳ 建物 • 座れるさかい壁、明かりだまり 施⾏ パタン⾔語 16
19. 今⽇のお話
20. 扱っている問題 • 街や建物の設計は、多くの互いに影響（＋ー）する課題の形と して現れる。 • 形は部分に分解されるが、どのような戦略で、形を作っていく のだろうか。 • うまく部分に分割できれば、部分の課題を解決する形を作って いくことができる。 • 全体をうまく、できるだけ影響が他に及ばないような、部分に 分割するにはどうしたらよいだろう。 ちょっと、ソフトウェアの凝集度・結合度問題（コヒージョン・カプリング）と似てるよね？
21. インドの600⼈の村
22. ܗ ͷ ߹੒ ʹ ؔ͢Δτ ͷ ਺ֶ
23. ॅډ܈ ͷ தத ͬ ೥ޕ ͱ ڇࣷ σϞϡετϨʔ γϣϯ ೶ۀͱ ਫ ࣾձ׆ಈ ॅډ ༻ਫ ෧໦ 10 Ո଒ 20 ~ 50 ਓ ↑ * ଂڇ࿏ Ҫށ ௶ όε ಓ࿏ ഉਫ 1 ྛ φ͕ͣ௨Δ . ϊʔ ϙϯτ ڇं௨࿏ ᠘u ֶߍࣉӃɺ ళӃࣄ৔ࠤ ֎น ࣾ ொ Χʔ ετ ڇࣷ ࡞෺ ↓࠸ σϞ:ετϨʔ ϯϣϯ ాਫ ਫूΊ ॅډ ੍౓͝ͱ
24. ໰୊ ղ : ద߹ : ίϯςΫετ ܗ →< \ / ΞϨαϯϒϧ
25. ྫ > ੜ෺ ࣗવ ʹ దԠੜ෺ ο ܗ
26. ྫ 2 ΍͔Μ ར༻໨త ΍͔Μ , ؀ڥ \ ϊ ্࣋ͪ ͛ΒΕΔ ɺ ΋ͪ ख ͕Γ͋ ετ ʔ ϒͷ ্ Ͱ ҆ఆ ఈ ͸ ฏͨ͘ ΋ͪ ख ͸ ೤ ͘ͳ͍ ෸ ͱ ໐ ΔΧλΧλ ஫͗ ޱ ͕͋Γ ;͕ͨΧλΧλ ਫ͕ ஫ ͗΍͍͢ ɻ ચ ΍͍͢ ܗ λޱ ͸ ޿ ͘ ߴՁ Ͱͳ͍
27. ॅډ܈ ͷ தத ͬ ೥ޕ ͱ ڇࣷ σϞϡετϨʔ γϣϯ ೶ۀͱ ਫ ࣾձ׆ಈ ॅډ ༻ਫ ෧໦ 10 Ո଒ 20 ~ 50 ਓ ↑ * ଂڇ࿏ Ҫށ ௶ όε ಓ࿏ ഉਫ 1 ྛ φ͕ͣ௨Δ . ϊʔ ϙϯτ ڇं௨࿏ ᠘u ֶߍࣉӃɺ ళӃࣄ৔ࠤ ֎น ࣾ ொ Χʔ ετ ڇࣷ ࡞෺ ↓࠸ σϞ:ετϨʔ ϯϣϯ ాਫ ਫूΊ ॅډ ੍౓͝ͱ
28. 1. ハリジャン⼈は儀式的に不浄,不可触 ⺠などとみなされている, 2. 死者の適切な処理, 3. 家の⽞関は南向きではないルール, 4. 特定の⽔と特定の⽊は神聖なものと考 えられています, 5. 祭りや宗教的な集会の準備, 6. お寺に願いを, 7. ⽜を神聖なものとして扱い,菜⾷主義 の姿勢を貫く, 8. カーストのメンバーは可能な限りカー ストの職業を維持する, 9. あるカーストのメンバーは,他のカー ストから離れて⼀緒にいることを好み, ⼀緒に飲⾷したりしません, 10.⼿の込んだ結婚式が必要だ, 11.結婚は他の村の⼈との結婚です, 12.⼤家族が⼀つの家に住んでいます, 13.別居後も家族の連帯感と隣⼈愛, 14.現物⽀給による村の経済統合, 15.現⾦⽀払いへの現代の動き, 16.⼥性たちは⼊浴中,⽔汲み中,野トイ レに⾏く途中などで⼤々的に噂話をし ます, 17.村には男性の社会集団が固定されてい ます, 18.代々続く息⼦たちに⼟地を分割する必 要がある, 19.⼈々は⼟地を個⼈的に所有したいと考 えています, 20.異なる派閥の⼈々は接触しないことを 好みます, 21.不可触⺠の撲滅, 22.ザミンダリの廃⽌と不均等な⼟地配分, 23.男性グループが夜遅くまでおしゃべり したり,タバコを吸ったりしている, 24.村の⾏事の場 - 踊り,演劇,歌など, レスリング, 25.成⼈の読み書き能⼒の向上, 26.避妊や病気などに関する情報の普及, 27.事例で広がる実証事業, 28.学校を効率的に利⽤し,⽣徒の気を散 らすことはありません, 29.村⼈が利⽤できる病気の治療法, 30.出産,産前産後ケア,避妊のための施 設, 31.⼈間の排泄物の処理, 32.細菌や病気のスターターの繁殖を防ぎ ます, 33.キャリア,感染,伝染病によるヒトの 病気の蔓延を防ぐ, 34.栄養失調を防ぎましょう, 35.村レベルの職員と濃厚接触, 36.街区開発担当者と普及担当者に連絡し てください, 37.農作物の価格保証, 38.各派閥は協⼒や同意を拒否している, 39.インセンティブと願望を⾼める必要が ある, 40.パンチャヤットはもっと権⼒と尊敬を 持たなければならない, 41.政府の補助⾦の恩恵を受けるプロジェ クトを開発する必要がある, 42.近隣の村との社会統合, 43.近隣の村の成果を追い続けたい, 44.税⾦や選挙などに関する公式情報の普 及, 45.放浪するカースト集団,⼊ってくる労 働者などの受け⼊れ, 46.無線通信, 47.国の交通機関や資源に負担をかけない ように経済的⾃⽴を達成する, 48.橋,道路,病院,学校との適切な接続, 49.農村共同体の精神を育む：利⼰主義を 打ち破る,孤島, 50.若者とハリジャンの都市への移住を阻 ⽌せよ ·ͩ·ͩ 141Πஂ ͋Δ
29. "ྡ઀ؔ܎": [ [1,[8,9,12,13,14,21,28,29,48,61,67,68,70,77,86,101,106,113,124,140,141]], [2,[3,4,6,26,29,32,52,71,98,102,105,123,133]], [3,[2,12,13,17,26,76,78,79,88,101,103,119]], [4,[2,5,6,17,29,32,45,56,63,71,74,78,79,88,91,105,106,110,124]], [5,[4,6,10,14,17,21,24,46,102,113,116,118,131,133,140]], [6,[2,4,5,20,21,53,58,61,63,82,102,111,117,130,134,135]], [7,[20,31,34,53,57,58,59,80,85,86,94,105,106,123,124,125]], [8,[1,9,14,15,21,22,25,27,48,58,59,61,62,63,64,65,89,95,96,99,111,112,114,115,116,121,129,136,140,141]], [9,[1,8,11,12,13,15,17,18,20,21,28,29,36,43,49,56,62,64,80,81,101,113,118,124,129,136,140,141]], [10,[5,13,14,15,18,24,26,65,68,93,102,134]], [11,[9,12,64,95,96,114,133,134]], [12,[1,3,9,11,17,18,19,25,26,28,34,36,41,43,49,56,62,63,76,80,81,85,86,87,90,91,93,121,122,129,140,141]], [13,[1,3,9,10,17,20,25,28,33,34,36,37,41,45,56,62,68,79,80,81,83,86,91,94,101,106,108,121,122,129,137,140,141]], [14,[1,5,8,10,15,19,20,21,28,30,40,43,44,47,54,62,63,64,65,86,97,121,129,130,133,138,141]], [15, [8,9,10,14,18,21,22,37,39,41,44,45,46,58,59,61,62,63,64,65,66,95,96,97,98,112,116,125,127,128,129,130,132,133,13 5,137,138,141]], [16,[27,29,34,68,78,79,82,88,95,101,114,117,119,122]], [17,[3,4,5,9,12,13,20,23,27,37,38,43,49,65,69,80,81,86,89,101,110,115,116,117,118,126,129,135]], [18,[9,10,12,15,19,26,28,31,33,42,43,44,47,48,49,60,65,69,70,74,77,79,85,97,98,103,110,140,141]], [19,[12,14,18,22,26,28,32,33,36,37,38,41,45,49,69,71,86,104,106,107,110,118,126,140]], [20,[6,9,13,14,17,24,29,30,36,37,43,54,64,68,80,84,89,102,116,117,129,131,133,140]], [21,[1,5,6,8,9,14,15,24,61,63,89,95,96,111,112,113,115,116,137,139,140,141]], [22,[8,15,19,31,32,33,36,42,44,47,49,60,61,64,69,71,74,97,98,104,107,110,127,140]], ·ͩ·ͩ 141 ݸ͋Δ !
30. M . ਢ఺ (G ) G . άϥε ΐ Μ … ݁ઢ ( G ) Q s MG ( ) 0 0 = 6 m % G ɻ ) t. ͘ ί … l = l- S ϙ ɻ = 4 + 1 αͰάϥϑ " ί S =3 = 5
31. 1 ͯ . ࣍ ͷঢ়ଶ{ ఺౮ 1 ʔ - Ʃ … io 1 t 1 O . ফ౮ ࣍ ͷ ঢ়ଶ ͭͳ͕ͬͨ ଞ ͷ͕ θ 700 ೔ ͷ x ͭ͘, ͘… x 0o 1 7 ͭͰ΋఺౮ (1 ) ͯ … Ʃ શ෦ ͕ ᶃ ͳΒ શମ ͕ OͰ ฏ౗ ? l i ( ෆదձ ม਺͕ ᶃ . ͢΂ͯ OK ) ଞͷ ਫ͕͢΂ͯ ফΑ> ( o ) ) ݁ઢ ͕ͳ͚Ε͹ ฏ2ඵͰ͢΂ͯ θ O )͢ ^ 2 ͕ ີ ʹ ݁ઢ͞ΕͯΔ͠ 2 100 ඵ = 1022 ೥(زߦ෼ ᶌ) ʬ) 10 ௭ ͣͭͷαϒγεςϜ (׬શ ) ͱ͢Δͱ 2 ඵ= 4 ࣌ؒ
32. Anton Balazh/Shutterstock
33. x : ∵ ֬཰ม਺ O ·E ͸ T %. ث { P (x: = 0 ) = P ͢΂ͯͷ G xy P (x: = 7 ) = ( 1 - p ) i ʹ͍͍ͭ … ; loxus ಉ ͡ ί i = 1 . m ( = 6 ) Iͱ͢Δ ɻ ͢ ^ 2 ͕ σ Ͱ͋Δ 000000 p( ) = ਓ֬཰ಠཱ Ͱ͋Ε͹ xi͕ti , i 2m Ο l p(" i) =Ʃ m ' " 1಺ : ͯ͞ Կ௨ Γͷ ঢ়ೳ ͕͋Δ ? ɺ G ͷ ঢ়ଶ ͷ 7 , σ p (σ ) = km Ʃ p(a) = 1 . 0 sp (a) SI
34. )(i ͱ ) x ; ͷ 2 ͭʹ͍ͭͯ (খ͞ͳαϒγεΞϜ ) Өڹ ͠߹ ͏΍ xi ʙ xjijo = 1e : - 1e : ; l Կઢ਺ ʔɻ Y ঻ ঢ় λ 00 , 01 , 10 , 115 t { ࿭ P (λ ) ͸ ҎԼ Λ ຬ ͨ͢ ૬ؔ܎਺ ʬ ͍ j ͷ = p( ) - plo) P (O : ) p ( l : ) ploj) pt χ 0 0 8 ( l δ≡ 1 ) ɺ i . … …શମ Ͱܾ·Δఆ਺ > Γ͕ਖ਼ ͳΒਖ਼ ͷ ૬։һ ෛ ͍͍Ϩ ৺ 0 1
35. C ͍ͭ Su ᶉ 1 ᶌ ᶉ S , ͭʹ ᶉ 0 ʔ ׂ π ෼ ᶋ ᶉ ᶌ S3 . , 0 ҫ S , . ᶇ ΋Εͳ͍ SanSβ zol Sα= MU ͩͿΓͳ͠ (ۭ ) u (શମ ) MECE 1
36. ͜ͷ ޙ਺ֶ ͕ 10 ϖʔ δ͘Β͍ ͖ͭͮ·͕͢ ɺ ݁࿦ۙ͘·Ͱ ඈͼ· ʔ
37. ࠷খ ͱͳΔ ෼ׂ π Λ ٻΊΔ ɻ R (π) = im (m - ) Ӄ ; - LIsass 1 ၱ ʔ ( S α S β ) Im( m-. ) . Ʃ E m = 1 M ) √ ij = Ϧ : Ϋ਺ (ij ) S α= 1 Sα 1 l = Ϧ :Ϋ਺ (શମ) µ = ෼ׂ਺
38. Demo
41. afternote
42. Cope
43. https://dreamsongs.com/Files/NotesOnNotesPresentation.pdf RPG
48. もうひとつ考え中...
49. 建築とソフトウェア • 建築 • 重⼒がある、形がある、物理法則にした がう、材料の特性、連続性（ちょっとの 変更はちょっとの変更）。 • ソフトウェア • 物理法則に従わない（相当無理できる）、 ⾔葉が材料。基本不連続（1⽂字変わった らもう動かない）。⾔語で書かれる。 • でも、「距離」の概念は使えそう（位相）。 近さ遠さ。 • 両⽅とも⼈が⼈のために作っている。
50. Conwayʼs Law “organizations which design systems … are constrained to produce designs which are copies of the communication structures of these organizations” ̶ M. Conway ”組織の構造がソ フトウェアの構 造に反映する“ であれば、よい組織構造をつくろう。 （Inverse Conway Maneuver) 33
51. ソフトウェアのチームの構造 34 https://anagileway.wordpress.com/2016/05/25/inverse-conway-maneuver-and-devops-microservices-and-agile/
53. もうひとつ考え中...(2)
54. 実は吉川先⽣は、⼤学時代の恩師（東京⼤学⼯学部精密機械⼯学科）
55. 1987 ͷ ٢઒ ઌੜͷ ߨٛ ↓ ( C . A " : ʹͯΔ ) ͍͵ ͱΓ ∞ ͕͑Δ ͱ͍͏ ༗໊ͳ ࿩