タナカ @tanaka2017@mathtod.online

お前が深淵を覗くとき，深遠もまたお前に覗かれているのだ．

お前がゾウに踏まれるとき，ゾウもまたお前を踏んでいるのだ．

解答略というのが解答なのでは

Evernoteの類似サービスでEvemoteというのを作ったら，引っかかってくれるのではないか

「91っていいよね」

「どのへんがお気に入り？」

「例えば 7 で割り切れうわなにをする

24時間投稿が無かったと聞いて飛んできました

キログラム原器さん「えっ？今日限り？終身雇用ってきいてたのに！不当解雇だ！」

そういえば，電子工作用の発光ダイオードってずいぶん昔からあって，各色選べたので，青色LED開発云々の話を聞いて，(昔の)あのいろんな色は発光色ではなくて，樹脂カバーの色だったのかと思ったのを思い出した．

自室で数学書を立ち読み

誤爆じゃなかったとき「御爆でした」

誤人そろって誤レンジャー！（六人いる

どっかで見たけど，「令和元年創業」っていうの，出来立てのホヤホヤなのに老舗感が抜群でいいなー

$\{1,2,3,\dots\}$ では曖昧さが残るってことで，ペアノの公理ガーなどと唸ってみたが，そこは $\mathbb{N}$ でいいのでは……と気が付いて我に返る回

言い忘れましたが，ブログには「一応」ちゃんと書きました$\omega$
https://go-with-math.blogspot.com/2019/05/blog-post_82.html

中の人が Mathtodonっぽいトゥートをすることは滅多にないのだ．

要するに，\[\mid\]の真偽値をああいうふうに定めると，\[\lnot,\,\lor,\,\land,\,\rightarrow\]の4つを「 $\mid$ 」だけであらわせるということを書きたかった$\omega$

「 $\mid$ 」の真偽値を
\[\begin{array}{ccc}
A & B & A\mid B\\
\bigcirc & \bigcirc & \times\\
\bigcirc & \times & \times\\
\times & \bigcirc & \times\\
\times & \times & \bigcirc
\end{array}\]と定めると\[\lnot A\Longleftrightarrow A\mid A\]となる．また\[A\lor B\Longleftrightarrow (A\mid B)\mid (A\mid B)\]となる．んで
\[A\rightarrow B\Longleftrightarrow \lnot A\lor B\]より\[A\rightarrow B\Longleftrightarrow [(A\mid A)\mid B]\mid [(A\mid A)\mid B]\]となる．最後に\[A\land B\Longleftrightarrow \lnot (\lnot A\lor\lnot B)\]となるから文字数

電子かみそり
電子スタンド
電子機関車
電子自動車
電子掃除機
電子店
電子毛布
電子料金
電子冷蔵庫
電子ケトル

電気メイル
電気タバコ
電気データ
電気書籍
電気計算機
電気辞書
電気認証
電気マネー
電気コマース
電気メディア
電気署名
電気顕微鏡
電気レンジ