% SK計算の小ステップ評価器 /*構文*/ e ::= s|k|i|e-e. /*評価文脈*/ a ::= []|a-[]|[]-a. % 評価規則 /* (E-S) */ s-X-Y-Z ⇨ (X-Z)-(Y-Z). /* (E-K) */ k-X-_ ⇨ X. Prologでこんなふうに書くと言語の実装できるようになったのだけど話が通じる人がいない。 面白くなってきたぜw

#博多青松 2年 反転 youtu.be/yo1uWIVwosE?si… s=x+y youtu.be/NZOAA-csBqI?si… 直線の交点の軌跡 youtu.be/bTF-gTfKJf0?si… 全員 論理記号 youtu.be/Uqa1BuF0QF0?si… pic.x.com/yOMReOgSGH

日本でテスラを購入するにしてもいきなり新車FSD付きを選ぶ必要ないと思います。 気になる車種、S、X、Y、3いずれかの手頃な中古を購入したらよいと思います。 半年も乗ればEVの運用にもなれますし、車体の大きさもなれますから、それら実体験してから自分に合う新車を購入した方がよいかも。

2つの砂時計を使って任意の時間を測る 2つの容器を使って任意の液体の量を測る これって厳密に定義するとどうなるんだろう... ◾︎以下のように言い換えたい 集合S=(x,y)がある。 Sから異なる任意の2要素(a, b)を選んで、±(a-b), a+bを追加する など

返信先:@scn21「XっYん」を「s/X/Y/g」と読み替えれば意味がわかるタイプの暗号ですか?

リサぽんの因数分解の応用。 x,y,z>0の場合 s=x+y+z, t=x+ωy+ω^2zとおくと x^3+y^3+z^3-3xyz=st\bar{t} >=0 となり x^3,y^3,z^3の相加平均>=相乗平均 がわかる。 #朝ドラおむすび

(1) S が向き付け可能で境界のないコンパクトな2次元多様体であることの証明 集合 S は以下のように定義される。 S = {(x,y,z) ∈ R^3 | (x^2 - a)^2 + (y^2 - a)^2 + (z^2 - a)^2 = b^2} この方程式は、中心が (a, a, a) にあり、半径 b の球面に似た形状を持つが、変形されたものである。条件 0 <…