2023-02-01から1ヶ月間の記事一覧

2023-02-23

「個体→社会」と「個体→増強された個体」

その他

個体→社会軍隊アリが一匹：*1アリの個体を観察することにも意味はあるだろう。軍隊アリの大群： *2しかし軍隊アリは、集団・社会としての行動が脅威。個体だけでなく集団・社会も観察したい。個体→増強された個体ドラゴン： *3ドラゴン、強そう、恐ろしそ…

2023-02-21

Leanの状態モナド変換子

Lean

ソースコード： /- The State monad transformer. -/ prelude import Init.Control.Basic import Init.Control.Id import Init.Control.Except universe u v w def StateT (σ : Type u) (m : Type u → Type v) (α : Type u) : Type (max u v) := σ → m (α × …