Phi16さんとお話grass

This is a semi-public garden page — a draft, left open on purpose.

• Phi16さん
  • ゲームエンジン、ミドルウェア
  • VRChatが出自

考えてきたこと: 全体像

関数型的なCreative Coding環境

• Gloss
  • まぁ、初歩的な感じだけど
    • world -> Picture: A function to convert the world a picture.
    • Float -> world -> world: 時間と状態（world）を受けとり、新しい状態を返す関数
    • Event -> world -> world: 外部入力（Event）と状態を受取、新しい状態を返す関数
  • 逐次実行型のキャンバスを関数型的な世界観に持ち込む一つのアプローチでは

Blending Mode

• plus-lighterは加算合成
• Direct XのAPIにも色々Blending modeはありますぜ

• Inverse Evaluationについて
  • Haskell Lensが参考になるのでは

NLab

• 圏論を参照する際によく身rうサイト

String Diagram

• http://globular.science/
• Globular in nLab ncatlab.org
• モノイドはこう表せるよね
  • monoid in nLab ncatlab.org
  • 全域性
    • 
  • 単位元の存在、associativity（結合的）
    • 

• 「対象が1つしかない圏で、全ての射が可逆なもの」=「群」

• group object in nLab ncatlab.org
  • 「Set における group object が、群」
  • 「Top における group object が、位相群」
  • 「SmoothMf における group object が、リー群」
    

Homotopy Type Theory

• The HoTT BookHomotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover c… homotopytypetheory.org
• cubical type theory in nLab ncatlab.org

Kan拡張

• https://ja.wikipedia.org/wiki/Kan拡張 ja.wikipedia.org
• 「すべてはKan拡張である」