音樂
- 無し
考察
- 新設 Heyting 代數 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 de Morgan monoid - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 束 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)[
- 增補 義務論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 「線形」で統一してる 線形 / 線型 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 Hennessy - Milner logic (HML) - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 增補 動的論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 增補 自己認識論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- s/temporal logic of actions (TLA)/時相行動論理 (TLA)/ 時相行動論理 (TLA) - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 分離論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 半群 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 半束 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 Kleene 代數 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 分割 環 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 新設 一階述語論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)
- 文書
- 讀んだ
- 蒐集した
- 買った
- BOOKOFF PLUS 西五反田店
- 佐藤一斎 -克己の思想 (再発見 日本の哲学)
- タンパク質構造とトポロジー ―パーシステントホモロジー群入門― (シリーズ・現象を解明する数学)
- スピノザ―「無神論者」は宗教を肯定できるか (シリーズ・哲学のエッセンス)
- 神学大全I (中公クラシックス)
- 神学大全II (中公クラシックス)
- 豊饒の海 第一巻 春の雪 (新潮文庫)
- 豊饒の海 第二巻 奔馬 (ほんば) (新潮文庫)
- 豊饒の海 第三巻 暁の寺 (あかつきのてら) (新潮文庫)
- 豊饒の海 第四巻 天人五衰 (てんにんごすい) (新潮文庫)
- ロック入門講義 (ちくま学芸文庫)
- 問題をどう解くか: 問題解決の理論 (ちくま学芸文庫)
- 数学基礎論 (ちくま学芸文庫)
- 飯島書店 (目黑鷹番)
- BOOKOFF PLUS 西五反田店
programming
兩河世界
- 無し
引っ越し
- 無し
- え?
その他
- 無し