https://twitter.com/buyaketa/status/1167052960037097472
わからない

https://puzz.link/p?curvedata/6/7/l0z1s2/2/3/ba1/3/4/902841/4/6/795a78e16951

昨日のマストドンの活動は

トゥート : 11558(+56)
フォロー : 45(0)
フォロワー : 55(0)

でした。
https://donhaialert.herokuapp.com

#donhaialert

根本的なアイデアが悪かったパターン

直観が正しかった

薬飲んだ

少なくとも形だけはやった

SATySFi book§2.2まで読んだのでインストールして動かしてみる

SATySFiで使うOCamlのパッケージマネージャーのOPAMは2.2でWindows対応予定の為、現時点v2.1.0ではまだ対応できてないらしい

(因果関係おかしくないか)

SATySFiは段落を明示する
+p{

}

#SATySFi
括弧系の処理はLaTeX + physics packageな感じか(physics package使ったことないけど)

* 東京
** 本郷
** 弥生
** 浅野
** 駒場
* 千葉
** 柏
あ...

思ったより簡単に使えそうだぞ
エディタ用の拡張機能の差は大きそうだけど

WSL2がSATySFi公式でも推奨されてた

SATySFiインストールできた

動いた
ふつうに使える
数式の箱の形だけ覚えればよさそう

多価関数 #矛盾
な気がしたけど、歴史的に関数の意味が変化した結果生じたらしい
https://ja.wikipedia.org/wiki/多価関数#歴史的経緯
#ゴママヨ

ACのノート役に立つ

ちょっと弱いステートメントが載ってる

( )
{ }
< >

わけのわからない話に元ネタがあった

LaTeX少しずつ必要な機能(というか表現方法)を調べていくという使い方をしているので、全体の見た目、意味上の構造を一貫して定義することができていない

結構後から参照するファイルがあってその場所がばらけてるからショートカットを作って1か所にまとめようかな

vcとのanalogy

復習しないとなぁ(夏休みにやるという予定はどこに流れたのやら)

Это не море.

そこは逆じゃなくて裏だろ
って指摘したら、
任意の裏は逆の対偶だから逆で構わない
と言い訳している人がいた

改めて見ると簡単なの悲しい

改めて見て簡単に見えるようになって成長した！

もう片方のクオリティがやばい

図形的に考えるとめちゃくちゃ簡単なのに穴にはまった

その媒質がないんだな！

このアカウントは、notestockで公開設定になっていません。

こんなことあるんだ

SATとACTどうしてこんなに見かける頻度が異なる[体感]のだろう

YouTube

hajimetemita

mathjaxおもいってなった

０１９１初めて聞いた

包含ノート

このアカウントは、notestockで公開設定になっていません。

匿名さん、ゲストさん

数日前にLINEのリアクションの話になったけどPC版にも追加されたみたい

使わないけど
(その場ではSlackがbetterという結論になった)

飯テロは恐怖をもたらす(テロなので)

ばこてん

HTML版をクリックしたらPDFが出てきた

https://as2.c.u-tokyo.ac.jp/~shmz/zakkifiles/07-04-18.html

hajimetemita

鶏肉