---
title: Phi16さんとお話
date: 2024-10-04T13:18:30.000Z
updated: 2026-01-08T14:50:59.347Z
tags:
  - memo
url: https://baku89.com/ja/Phi16%E3%81%95%E3%82%93%E3%81%A8%E3%81%8A%E8%A9%B1
---

# Phi16さんとお話

- [Phi16](https://x.com/phi16_)さん

  - ゲームエンジン、ミドルウェア
  - VRChatが出自

[考えてきたこと: 全体像](https://phi16.fanbox.cc/posts/8630852)

### 関数型的なCreative Coding環境

- [Gloss](https://hackage.haskell.org/package/gloss-1.13.2.2/docs/Graphics-Gloss.html)

  - まぁ、初歩的な感じだけど

    - `world -> Picture`: A function to convert the world a picture.
    - `Float -> world -> world`: 時間と状態（`world`）を受けとり、新しい状態を返す関数
    - `Event -> world -> world`: 外部入力（`Event`）と状態を受取、新しい状態を返す関数

  - 逐次実行型のキャンバスを関数型的な世界観に持ち込む一つのアプローチでは

### Blending Mode

- plus-lighterは加算合成
- [Direct X](https://devblogs.microsoft.com/directx/d3d12-work-graphs/)のAPIにも色々Blending modeはありますぜ

* [Inverse Evaluation](/Inverse_Evaluation)について
  - [Haskell Lens](https://hackage.haskell.org/package/lens-5.3.2/docs/Numeric-Lens.html)が参考になるのでは

### NLab

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

### String Diagram

- <http://globular.science/>

- [Globular in nLab](https://ncatlab.org/nlab/show/Globular)

- モノイドはこう表せるよね

  - [monoid in nLab](https://ncatlab.org/nlab/show/monoid)
  - 全域性
    - ![](https://wp.baku89.com/wp-content/uploads/2026/07/scrapbox-670239978bf6a3001cf9470f.png)
  - 単位元の存在、associativity（結合的）
    - ![](https://ncatlab.org/nlab/files/monoid-axioms-unlabeled.png)

![](https://wp.baku89.com/wp-content/uploads/2026/07/scrapbox-66fff26f89721f001c2b3252.png)

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

* [group object in nLab](https://ncatlab.org/nlab/show/group+object)

  - 「Set における group object が、群」
  - 「Top における group object が、位相群」
  - 「SmoothMf における group object が、リー群」\
    ![](https://wp.baku89.com/wp-content/uploads/2026/07/scrapbox-66fff27aff7c7c001daa108c.png)

### Homotopy Type Theory

- [The HoTT Book](https://homotopytypetheory.org/book/)
- [cubical type theory in nLab](https://ncatlab.org/nlab/show/cubical+type+theory)

#### Kan拡張

- [https://ja.wikipedia.org/wiki/Kan拡張](https://ja.wikipedia.org/wiki/Kan%E6%8B%A1%E5%BC%B5)
- 「すべてはKan拡張である」