May. 19th, 2019

juan_gandhi: (Default)
https://a-bugaev.livejournal.com/1203132.html

Обсуждают там перспективы оккупации России Америкой и т.п.
А М.М. Жванецкий на ту же мельницу льет (где-то там), мол, Америка удобный враг, никогда не нападет.

Россияне могли бы успокоиться, никто тут ихними страданиями, равно как и успехами на международной арене или в экономике, не озабочен. Никого эта Россия не интересует; в США население в-основном интересуется только собой; а заботят нас нынче больше Трамп и Roe vs Wade, а не какие там искандеры и куда они падают. И Корея не беспокоит, и даже Китай не беспокоит. Похер это все здешнему населению. Вот еще футбол и бейсбол беспокоит, и кина какие-то (я эти кина не смотрю, равно как и футбол с бейсболом, так что сам-то не в курсе).

Не думаю, что россияне могут что-нибудь такое сделать выдающееся, чтобы привлечь внимание простых американцев. Ну разве что на Луну высадиться, как Рогозин и обещал еще в 12-м году. Обещания же высадиться никого не интересуют. Собака лает, ветер носит.
juan_gandhi: (Default)
 def checkDistributivity(cat: Category): MatchResult[Any] = {
  val topos = new CategoryOfDiagrams(cat)
import topos._
val points = Ω.points

val desc = s"Testing ${cat.name} distributivity laws"
println(desc)

for { pt1 ← points } {
println(s" at ${pt1.tag}")
val p = predicateFor(pt1)

for { pt2 ← points } {
val q = predicateFor(pt2)
val pAndQ = p ∧ q
val pOrQ = p ∨ q

for { pt3 ← points } {
val r = predicateFor(pt3)
// distributivity of conjunction over disjunction
(p ∧ (q ∨ r)) === (pAndQ ∨ (p ∧ r))
// distributivity of disjunction over conjunction
(p ∨ (q ∧ r)) === (pOrQ ∧ (p ∨ r))
}
}
}

ok
}
juan_gandhi: (Default)
le lien

(désolé, c'est en français)
(sorry, in French) 

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

May 2025

S M T W T F S
    1 2 3
456 7 8 9 10
11 121314151617
181920 21222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 22nd, 2025 11:07 am
Powered by Dreamwidth Studios