This page is a personal scratchpad.

• 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/
• https://ncatlab.org/nlab/show/Globular
• モノイドはこう表せるよね
  • https://ncatlab.org/nlab/show/monoid
  • 全域性
    • 
  • 単位元の存在、associativity（結合的）
    • 

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

• https://ncatlab.org/nlab/show/group+object
  • 「Set における group object が、群」
  • 「Top における group object が、位相群」
  • 「SmoothMf における group object が、リー群」
    

Homotopy Type Theory

• https://homotopytypetheory.org/book/
• https://ncatlab.org/nlab/show/cubical+type+theory

Kan拡張

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