音樂
- 無し
考察
- 新設 Abelian 群 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 群 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 Scott-Montague frame - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 分割 閒 text 性 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 選擇弘願 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 專修欣求 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 增補 fuzzy 集合 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 t-norm - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- Galois 接續 (Galois connection) 函手の隨伴 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 前順序 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 半順序 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 全順序 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 epi 射 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 準同型 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 同型 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 自己準同型 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 單射 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 mono 射 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 全單射 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 函數 關係の圈 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 內部 / 外部 開集合・閉集合 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 等式論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 圈とは,多重有向 graph の path 上の合同關係による商〈graph〉のことであった 圈 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 理由 based の論理 (reason-based logic; RBL) 非單調論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 種的論理 (sortal logic。formal sortal logic; FSL) 非標準論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 分割 多種論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 文書
- 讀んだ
- 蒐集した
- Davide Fucci, Giuseppe Scanniello, Simone Romano, Natalia Juristo “Need for Sleep: the Impact of a Night of Sleep Deprivation on Novice Developers' Performance” 2018
- 中村昭、津本周作、田中博、小林聡「ラフ集合理論とその応用」1996
- 小澤正直「量子情報の数学的基礎」2009
- 小澤正直「論理・集合・実数・物理・測定 : 量子集合論と量子力学の観測問題 (非可換解析とミクロ・マクロ双対性)」2009
- 勝亦佑磨「誤表象問題 : 学習に基づく目的論的意味論の検討」2018
- 濵本鴻志「「正常な説明」再考―ミリカン解釈と連言問題―」2020
- 濵本鴻志「目的論的機能主義にとって「正常な説明」とは何か」2021
- 濵本鴻志「目的論的機能主義は直観に反するのか:スワンプマン問題の批判的検討」2021
- Yde Venema “Algebras and coalgebras” 2007
- 買った
programming
- 無し
兩河世界
- 無し
引っ越し
- 無し
- さっき不動産屋に聯絡は入れたよ…
その他
- ATOK を買った。假名入力を練習する