$30 off During Our Annual Pro Sale. View Details »

Math in Notes on the Synthesis of Form

Math in Notes on the Synthesis of Form

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

Kenji Hiranabe

September 30, 2023
Tweet

Other Decks in Programming

Transcript

  1. 『形の合成に
    関するノート 』
    付記Ⅱの数学解説
    2023/09/30
    永和システムマネジメント
    平鍋健児

    View Slide

  2. 平鍋健児
    (株)永和システムマネジメント社⻑
    (株)チェンジビジョンCTO
    (株)Scrum Inc. Japan 取締役
    福井で受託開発を続けながら、ア
    ジャイル開発を推進し、国内外で、
    モチベーション中⼼チームづくり、
    アジャイル開発の普及に努める。ソ
    フトウェアづくりの現場をより⽣産
    的に、協調的に、創造的に、そして
    なにより、楽しく変えたいと考えて
    いる。アジャイルジャパン初代実⾏
    委員⻑。
    2
    第⼆版

    View Slide

  3. 3
    • 機械学習やっていて、線形代数を学び直したい⽅、ぜひ。
    • 線形代数の緒概念が、直感的に⼿に取るように把握できます。
    • 機械学習の線形代数の章があります!
    • ReLU による空間分割、損失関数、畳み込み、勾配降下など

    View Slide

  4. 4
    https://anagileway.com/2020
    /06/04/prof-gilbert-strang-
    linear-algebra/

    View Slide

  5. 5
    線形代数の可視化記事を書いたら、バズりました。

    View Slide

  6. 6

    View Slide

  7. 『形の合成に
    関するノート 』
    付記Ⅱの数学解説
    2023/09/30
    永和システムマネジメント
    平鍋健児

    View Slide

  8. 出典: 井庭崇 「パターン・ランゲージとは何か」https://www.slideshare.net/takashiiba/20210321

    View Slide

  9. View Slide

  10. 10
    パタン・ランゲージ

    View Slide

  11. 100 歩⾏者道路
    という名前
    想起させる、写
    真・もしくは絵
    11

    View Slide

  12. 前述のパターンを
    ⽰し、⽂脈を提⽰
    課題を提⽰
    ⾃然と外で⼈々
    が肩が触れ合う
    くらいの社交的
    な場が必要。
    12

    View Slide

  13. 解決策を提⽰
    建物が「歩⾏者道
    路」を形作るよう
    に配置。⼆階へも
    直接上がれるよう
    に階段を。 13

    View Slide

  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

    View Slide

  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

    View Slide

  16. • プロムナード、⼩⾼い歩道、、、

    • 歩⾏者道路、ちびっこのほら⽳
    建物
    • 座れるさかい壁、明かりだまり
    施⾏
    パタン⾔語
    16

    View Slide

  17. 17

    View Slide

  18. 18

    View Slide

  19. 今⽇のお話

    View Slide

  20. 扱っている問題
    • 街や建物の設計は、多くの互いに影響(+ー)する課題の形と
    して現れる。
    • 形は部分に分解されるが、どのような戦略で、形を作っていく
    のだろうか。
    • うまく部分に分割できれば、部分の課題を解決する形を作って
    いくことができる。
    • 全体をうまく、できるだけ影響が他に及ばないような、部分に
    分割するにはどうしたらよいだろう。
    ちょっと、ソフトウェアの凝集度・結合度問題(コヒージョン・カプリング)と似てるよね?

    View Slide

  21. インドの600⼈の村

    View Slide

  22. ܗ ͷ
    ߹੒ ʹ
    ؔ͢Δτ
    ͷ
    ਺ֶ

    View Slide

  23. ॅډ܈
    ͷ
    தத
    ͬ
    ೥ޕ ͱ ڇࣷ
    σϞϡετϨʔ
    γϣϯ
    ೶ۀͱ

    ࣾձ׆ಈ ॅډ
    ༻ਫ ෧໦
    10
    Ո଒ 20 ~
    50 ਓ

    *
    ଂڇ࿏
    Ҫށ

    όε
    ಓ࿏ ഉਫ
    1

    φ͕ͣ௨Δ
    .
    ϊʔ ϙϯτ
    ڇं௨࿏ ᠘u
    ֶߍࣉӃɺ
    ళӃࣄ৔ࠤ
    ֎น ࣾ

    Χʔ
    ετ
    ڇࣷ
    ࡞෺
    ↓࠸
    σϞ:ετϨʔ
    ϯϣϯ ాਫ ਫूΊ ॅډ ੍౓͝ͱ

    View Slide

  24. ໰୊ ղ
    :
    ద߹ :
    ίϯςΫετ ܗ
    →<
    \ /
    ΞϨαϯϒϧ

    View Slide

  25. ྫ > ੜ෺
    ࣗવ ʹ
    దԠੜ෺
    ο
    ܗ

    View Slide

  26. ྫ 2 ΍͔Μ
    ར༻໨త ΍͔Μ
    ,
    ؀ڥ
    \
    ϊ
    ্࣋ͪ ͛ΒΕΔ
    ɺ
    ΋ͪ ख ͕Γ͋
    ετ ʔ
    ϒͷ ্ Ͱ ҆ఆ ఈ ͸ ฏͨ͘
    ΋ͪ ख ͸ ೤ ͘ͳ͍
    ෸ ͱ

    ΔΧλΧλ
    ஫͗ ޱ ͕͋Γ
    ;͕ͨΧλΧλ
    ਫ͕ ஫ ͗΍͍͢
    ɻ
    ચ ΍͍͢
    ܗ λޱ ͸
    ޿ ͘
    ߴՁ Ͱͳ͍

    View Slide

  27. ॅډ܈
    ͷ
    தத
    ͬ
    ೥ޕ ͱ ڇࣷ
    σϞϡετϨʔ
    γϣϯ
    ೶ۀͱ

    ࣾձ׆ಈ ॅډ
    ༻ਫ ෧໦
    10
    Ո଒ 20 ~
    50 ਓ

    *
    ଂڇ࿏
    Ҫށ

    όε
    ಓ࿏ ഉਫ
    1

    φ͕ͣ௨Δ
    .
    ϊʔ ϙϯτ
    ڇं௨࿏ ᠘u
    ֶߍࣉӃɺ
    ళӃࣄ৔ࠤ
    ֎น ࣾ

    Χʔ
    ετ
    ڇࣷ
    ࡞෺
    ↓࠸
    σϞ:ετϨʔ
    ϯϣϯ ాਫ ਫूΊ ॅډ ੍౓͝ͱ

    View Slide

  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Πஂ
    ͋Δ

    View Slide

  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 ݸ͋Δ !

    View Slide

  30. M .
    ਢ఺
    (G )
    G
    .
    άϥε ΐ
    Μ

    ݁ઢ
    ( G )
    Q
    s MG
    ( )
    0 0
    =
    6
    m
    %
    G ɻ
    )
    t.
    ͘
    ί …
    l =
    l-
    S
    ϙ ɻ
    =
    4 + 1
    αͰάϥϑ "
    ί
    S =3 =
    5

    View Slide

  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 ࣌ؒ

    View Slide

  32. Anton Balazh/Shutterstock

    View Slide

  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

    View Slide

  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

    View Slide

  35. C ͍ͭ
    Su

    1 ᶌ

    S
    ,
    ͭʹ ᶉ
    0
    ʔ
    ׂ π

    ᶋ ᶉ
    ᶌ S3
    .
    , 0
    ҫ
    S
    ,
    .

    ΋Εͳ͍
    SanSβ
    zol Sα=
    MU ͩͿΓͳ͠
    (ۭ )
    u
    (શମ ) MECE 1

    View Slide

  36. ͜ͷ
    ޙ਺ֶ ͕ 10 ϖʔ
    δ͘Β͍
    ͖ͭͮ·͕͢
    ɺ
    ݁࿦ۙ͘·Ͱ ඈͼ· ʔ

    View Slide

  37. ࠷খ ͱͳΔ ෼ׂ π Λ ٻΊΔ
    ɻ
    R (π) =
    im (m -
    ) Ӄ ; -
    LIsass
    1

    ʔ
    ( S α
    S
    β
    )
    Im( m-. )
    .
    Ʃ E
    m =
    1 M ) √
    ij = Ϧ :
    Ϋ਺ (ij )
    S α= 1 Sα
    1
    l =
    Ϧ :Ϋ਺ (શମ)
    µ =
    ෼ׂ਺

    View Slide

  38. Demo

    View Slide

  39. View Slide

  40. View Slide

  41. afternote

    View Slide

  42. Cope

    View Slide

  43. https://dreamsongs.com/Files/NotesOnNotesPresentation.pdf
    RPG

    View Slide

  44. View Slide

  45. View Slide

  46. View Slide

  47. View Slide

  48. もうひとつ考え中...

    View Slide

  49. 建築とソフトウェア
    • 建築
    • 重⼒がある、形がある、物理法則にした
    がう、材料の特性、連続性(ちょっとの
    変更はちょっとの変更)。
    • ソフトウェア
    • 物理法則に従わない(相当無理できる)、
    ⾔葉が材料。基本不連続(1⽂字変わった
    らもう動かない)。⾔語で書かれる。
    • でも、「距離」の概念は使えそう(位相)。
    近さ遠さ。
    • 両⽅とも⼈が⼈のために作っている。

    View Slide

  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

    View Slide

  51. ソフトウェアのチームの構造
    34
    https://anagileway.wordpress.com/2016/05/25/inverse-conway-maneuver-and-devops-microservices-and-agile/

    View Slide

  52. View Slide

  53. もうひとつ考え中...(2)

    View Slide

  54. 実は吉川先⽣は、⼤学時代の恩師(東京⼤学⼯学部精密機械⼯学科)

    View Slide

  55. 1987 ͷ
    ٢઒ ઌੜͷ
    ߨٛ
    ↓ ( C
    .
    A " : ʹͯΔ )
    ͍͵
    ͱΓ

    ͕͑Δ
    ͱ͍͏
    ༗໊ͳ

    View Slide

  56. View Slide