音樂
- 無し
考察
- fortuna (運命) 運命 : 受命・宿命・使命 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 増補 讀書會の方法 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 増補 適切さの論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 増補 Kripke frame - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 増補 圈論に於ける代數 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 凄いね 三角形の中心 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- s/層/層/
- 増補 算術 (arithmetic) も色々 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 文書
- 讀んだ
- 蒐集した
- 杉原丈夫「命題論理学の系統的分類」1972
- wah-wah pedal:Circle Blogging
- Lê Thành Dũng (Tito) Nguyễn “Implicit automata in linear logic and categorical transducer theory” 2021
- Erik Meijer, Maarten Fokkinga, Ross Paterson “Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire” 1991
- Dynamorphism 概論
- 買った
programming
兩河世界
- 無し
引っ越し
その他
- 無し