「このデータは、Windows のエクスプローラーに保存されます。」のような言い方を聞いた。おそらくだが、「エクスプローラー」が「ファイルシステム」のような感じなのだろう。ソフトウェアの固有名詞と、そのソフトウェアが実現する一般的な機能やメカニズ…

類似 るいに るいじ 白湯 しろゆ ぱいたん コロナ禍 ころなうず ころなか 凡例 ぼんれい はんれい 破綻 はじょう はたん 嫡男 てきなん ちゃくなん 具象 ぐぞう ぐしょう

nostalgic 懐旧の情 sentimental 甘ったるく感傷的 emotional 感情的、情緒的 longing 憧憬、切望 maudlin 感傷的 regretful 後悔の念 wistful 諦めきれない

ボキャブラリー（タームの集まり） タームが多義語だから笑っちゃう スキーマ オントロジー レキシコン ディクショナリ シソーラス コーパス タクソノミー ノーメンクレイチャー

とりとめもない 散漫 とっちらかった 木に竹を接いだ

容赦なく 畳み掛けるように 矢継ぎ早に 立て続けに

"Boosting Vector Differential Calculus with the Graphical Notation"に、 virtuosity in index gymnastics 添字体操の妙技 という言葉が出てくる。テキスト記法に対してこの妙技を磨くのは時代遅れで苦痛でしかない。

hello と hollow は、僕の耳だと聞き分けることができない。が、カタカナ書きだと： hello〈こんにちは〉 ハロー または ヘロー hollow〈中空 | 窪み〉 ホロウ helloのほうが「ヘ」に近く、「ロー」で上がる感じか。ハローという綴りなら hallow〈神聖な〉 …

論理式が変数xを含まないことを formula A does not mention x と言っている例があった（出典はもう分からん）。mention, mentioning は分かりやすくていいと思う。 Aがxにmentionする ⇔ Aにxが出現する

ストライヒャー〈Thomas Streicher〉が、イプシロニティズム〈epsilonitis〉という言葉を使っていた。 Title: Universes in Toposes URL: "https://www2.mathematik.tu-darmstadt.de/~streicher/NOTES/UniTop.pdf" ∈主義かな。∈主義者はイプシロニティスト〈…

BIG3 = squat, bench press, deadlift BIG3 = category, functor, natural transformation