【ゆるぼ】

黒板文字表記の数字($\mathbb{1}$ など)の使用例.

(やっぱりツイートのミラー先はここじゃなくて mstdn.jp の方が良さそうかな)

X デイ前日に User Streams からの脱却を完了した.Home をクローンした非公開リスト(API 制限は900/15分)を10秒毎更新にしたので,ほとんど使い勝手は変わらない.
t.co/1bZEvuqvIL

クイズ:57は素数? 

いいえ

ついに愛用 Twitter クライアント (KuroTwi) を自分で改造して使うという「ツイ廃の鑑」になってしまった……

諸般の事情により dev 版の Chrome を使うことにした.期せずして,かなり見た目が変わった(安定版のデザイン変更も近いということだろうか?) t.co/UvSaJz7JNx

(まぁ個人的には LaTeX と書くのにいちいち \LaTeX コマンドを使うのは読みにくいだけ(MathJax で \text{} 等で囲まず “数式的イタリック” になっているとさらに見にくい))

あと,MathJax のアレ仕様のせいで,あるトゥートでマクロ定義を上書きすると他のトゥートにも影響が出てしまう問題があった気がする.

例:このトゥート以下,\LaTeX コマンドの表示が$\def\LaTeX{\text{「アレ」}}\LaTeX$になるはず.

Mathtodon で使えるのは TeX の処理系ではなくて MathJax なので,数式以外の機能は *ほとんど* 使えませんね……

Twitter への投稿を Mathtodon にミラーするようになったので,パルス的に数学徒が集う LTL を埋めてしまいがちで申し訳ない(しかし TeX 屋のいるべきインスタンスもここな気がする)(元々流量が非常識に多いということもないので大丈夫だと信じたい)

ネイティブでも論文書くのに苦労するっていうのは,日本人が日本語でもこういうところに気を付けなきゃいけないのと似ているのかな / 校正のバイトをしててよく直す箇所10選|bxjp|note t.co/vOH6vZ3TSv

ということで,絶対にどこからもツッコミが入らないことを言おう「「「TeX はアレ」」」

テキトーなことを言うとまたたく間に四方八方からツッコミが入るタイムラインがあって幸せです🙃

昔は Wikipedia の TeX(言語)の説明に「関数型言語である」ってはっきり書いてあった気がするのだけど,いつの間にか消滅したね.“関数型言語” の定義が曖昧だけれど,いま思えば TeX 言語に “関数型” 要素なんてほとんどないんじゃないのって気がするが.
t.co/XlYDIlPmwT

いわゆる “関数型” の「副作用」というのは変数だけの話だと勝手に思い込んでいた……

『プログラミング in OCaml』を読みたいと思って常に持ち歩いているのだけど,優先度が高くなくて1ページも進まない.

※常に持ち歩いている,というのはもちろん電子書籍である.

OCaml の let は普通に「関数の上書き」ができるように見える.

人は誰しも放言することがある(という

「関数型言語だから」からどうやってこの結論になるのか真面目にわからない……「副作用があってはいけない」みたいなところが効いてくるのだろうか?

t.co/CGm6Gs9QBV

Mathtodon,公式のローカル・タイムラインでみれば MathJax レンダリングしてくれるけど,別インスタンスからリモートフォローで見ている人や(普通の)クライアントで見る場合には当然ながらレンダリングされないのがちょっとね……

Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.