戻る

Touch Bar に Touch すると、Touch Bar ∧ Touch より ⊥ が導ける。この事実から、最新の Mac を使うとあらゆる命題を導出できることがわかる。 Apple の驚異的な技術力は多くの数学者を救うだろう。