本日は漫画『宇宙兄弟』の登場人物である南波六太が、ミラクルカー社を退職した日です。

勝ち方はわかったので、次はあいこの記録を伸ばしてみよう。

s-shinomoto.com/janken/japan...

Predicate logic

e.g.
∀x { girl(x) → ( madeof(x,sugar) ∧ madeof(x,spice) ∧ madeof(x, all things nice) ) }

Predicate logic

e.g.
∀x { boy(x) → ( madeof(x,frogs) ∧ madeof(x,snails) ∧ madeof(x, puppy-dog's tails) ) }