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

トゥート : 2827(+25)
フォロー : 35(0)
フォロワー : 34(0)

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

#donhaialert

Mastodon、Twitterよりも先に登録しておらず、TLの概念すら知らなかったので、最初にトゥートしたときにどんな反応をされたのか見てなかった(どんなことトゥートすればいいのかもわからなかった)

またTeXでやってた
別のpdf viewerで開いててエラーでまくった

時間かかるので手書きしろ!!と前に決めたはずじゃあ

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

寝てない人しか見えないという罠

自分のでぃすこ鯖さかのぼったら、マイナンバーカードを受け取りに行く直前に立てたようだった

げ、もうこんな時間
とりあえず少しはla進んだのでよしとする

覚えるのが簡単な憲法的なもの暫定一位(自分の中で)
https://ja.wikipedia.org/wiki/1940年7月10日の憲法的法律

全権委任法も簡単だった

無宗教 - Wikipedia https://ja.wikipedia.org/wiki/%E7%84%A1%E5%AE%97%E6%95%99

印象的なのは
- 旧共産圏
- フランス
- 英・米
あたりですね

あとは無宗教の成立する条件
義務教育って、これを成立させるための1つの必要条件として整備されたのじゃないかとも思った(自分が今までに聞いた話だと、労働力の育成(最低限の教養)とか(ベトナムは社会主義国で識字率が高くて工業化が比較的容易だったとか)が目的だった気がする。排反的なことじゃないけど)

本来はガウス分布なのに3つもこぶがある(なおn=200)

いままで見たこのタイプの動画で一番平和だった
Swiss and Liechtenstein
https://www.youtube.com/watch?v=wtHI2K_Mcaw

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

ハイゼンベルグは線形代数のことを知らない状態で行列力学をつくった、と聞いたことがある。

ほ
https://ja.wikipedia.org/wiki/ガイガー＝ミュラー計数管#その他の用途

運が良かった

Google検索がバグってる
ツールで期間指定しようとすると固まる
https://support.google.com/websearch/thread/93754174?hl=ja

数分経過してこうなった

英語版でもダメだった

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

駿台模試って順位表あったの
冠模試でしか順位表しか見たことない

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

少なくとも普通の駿台模試には載っていないらしい
https://www2.sundai.ac.jp/yobi/sv/sundai/scontents/moshi_D/1337365034842.html#container2010:~:text=%E3%80%8C%E6%88%90%E7%B8%BE%E5%84%AA%E7%A7%80%E8%80%85%E6%B0%8F%E5%90%8D%E3%80%8D%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6%E3%81%AF%E3%80%81%E5%A4%A7%E5%AD%A6%E5%88%A5%E5%85%A5%E8%A9%A6%E5%AE%9F%E6%88%A6%E6%A8%A1%E8%A9%A6%E3%81%AE%E3%81%BF%E6%8E%B2%E8%BC%89%E3%81%97%E3%81%BE%E3%81%99%E3%80%82%E3%81%AA%E3%81%8A%E3%80%81%E6%8E%B2%E8%BC%89%E3%82%92%E5%B8%8C%E6%9C%9B%E3%81%95%E3%82%8C%E3%81%AA%E3%81%84%E6%96%B9%E3%80%81%E6%9C%AC%E5%90%8D%E3%81%A8%E7%A2%BA%E8%AA%8D%E3%81%A7%E3%81%8D%E3%81%AA%E3%81%8B%E3%81%A3%E3%81%9F%E6%96%B9%E3%81%AE%E6%8E%B2%E8%BC%89%E3%81%AF%E8%A1%8C%E3%81%84%E3%81%BE%E3%81%9B%E3%82%93%E3%80%82

最後の1/2で負けた
これできてたら186sだったのに

https://ja.wikipedia.org/wiki/形式科学

新記録
旗なししばり

Discord ミュートは解除するけどスピーカーミュートだけしてしゃべりまくりたいな

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

トゥート : 16100(+11)
フォロー : 56(0)
フォロワー : 71(0)

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

#donhaialert

IMやばい

とりあえずたまってる分やろう

今まで会話したことある人の中で初めてコロナに感染した人がいたことに気づいた
あったことはないけど

n

死

もうやだ

場合によってはpseudo trueしもありうるな

なにpseudo trueって

無難なbioしてる

numpy入れるか

windowsでのパッケージ管理どうすればいいんだろう

ドキュメントがよい
cargo検索出来てよい

JuliaのPkg.jlのUIがcargoと同じ
SATySFi BaseにはResult ADTがある

おなすい

🤔

https://pypi.org/project/pip/

numpy matplotlib scipy入れた

そんなことない

使えないならhelpに書かないでほしい

マッチングアプリ
側面にいくつかの絵柄が書かれた円筒が横に一つの軸に沿って3つ並んでおり、スタートするとそれらの円筒が回りだす。ランダムな位置でそれらがとまるので、絵柄をマッチさせて遊ぶアプリ。

周りに→側面に

マッチングアプリの例

windowsだとmore使われるので見づらい
batかlessに置き換えたい(どっちもscoopで入れてる)

ipython入った
普通にpipで入れられた

トラップ

persistとしてScriptsフォルダ(exeばかり)が作成されててその中にpip3.11.exeとかpip3.10.exeとかipython.exeとかf2py.exeが入ってた

scoop + python何が起きてるかわかりやすいかもしれない

plotできた

よさげ

tex -> htmlやったけど文字化け祭り
(1枚目：shiftjis、2枚目 : UTF-16LE)

utf-8にしたら解決した

--mathmlオプション付けたら数式表示できた

自動生成感

latexのiniオプション知らなかった
とても便利そう

原因は単純でpandocにパイプで渡してたから

異様な LaTeX の話 - マクロツイーター https://zrbabbler.hatenablog.com/entry/20140321/1395360402

iniモードと非iniモードがあるのか

おは

☆

INI mode and production mode - Overleaf, オンラインLaTeXエディター https://ja.overleaf.com/learn/latex/Articles/The_two_modes_of_TeX_engines%3A_INI_mode_and_production_mode

mylatexformat を用いてコンパイル時間を短縮しよう！ - TeX Alchemist Online https://doratex.hatenablog.jp/entry/20211206/1638749451

format files - Guidelines for using mylatexformat with luatex - TeX - LaTeX Stack Exchange https://tex.stackexchange.com/questions/324559/guidelines-for-using-mylatexformat-with-luatex

LuaTeX ではあまり高速化は期待できないらしい(luaやフォントの都合で)

latexmkだとできるらしい
llmkは多分できない
まあlatexmkはperlだから自由度は高いんだろうな

mylatexformatでLaTeX高速化（latexmk・Overleaf対応） - むしゃくしゃしてやった，今は反省している日記 https://tasusu.hatenablog.com/entry/2022/04/07/044634

juliaのsysimageのようなもの

preamble に限らずにdumpしたり分割タイプセットできるのほしいな

あとsatysfiのバイトモードはどういったときに高速化効くんだろう

昨晩考えたこと
組版の相互参照のラベルは何か独自の型がほしい
静的解析とかも効きやすくなるだろうし

いまはfig: fooとかeq: barにしてる
なにかのパッケージは勝手に接頭辞をつけた気がする(amsmath?)

TeX
⊃一般人が.texに書くTeX
⊃数式を表すTeX

⊋

INIモードだとplautopatch使えない？

https://tex.stackexchange.com/questions/19919/whats-the-difference-between-requirepackage-and-usepackage
\usepackageで代替はできないか

https://www.ctan.org/pkg/listingsutf8
listings環境内でUTF8を使う

これpdfTeX用っぽい？

https://zrbabbler.hatenablog.com/entry/20151217/1450344459

Contributor Heiko Oberdiek https://www.ctan.org/oberdiek

https://doratex.hatenablog.jp/entry/20151216/1450262096
TeXの数式は4つの書式があるのか
displaystyle textstyle scriptstyle scriptscriptstyle

ネタをコンパイルしてる

400回で1周するらしい

長さ上限到達した

半分は行けるのか

pwshなんもわからん

追加情報

pwsh、τあるんだ

Julia
全然使わないものばかり

luaはpiしかない

pythonのmathにもtauあった
あとはpiとe

numpyはpiとeとeuler_gammaはあったけどtauはなかった

rテストしようと思ったらget-historyのaliasと衝突してた

rはhelp(pi)を見た感じpiしかない？

RのリファレンスPDF、3000ページもある

3840

https://cran.r-project.org/doc/manuals/r-release/fullrefman.pdf

https://doc.rust-lang.org/std/f64/consts/index.html

なんでこんなにτが定義されてるんだ
> The constant τ is made available in the Google calculator and in several programming languages such as Python,[35][36] Raku,[37] Processing,[38] Nim,[39] Rust,[40] Java,[41] .NET,[42] and Haskell.[43]

https://en.wikipedia.org/wiki/Turn_(angle)#Tau_proposals:~:text=The%20constant%20%CF%84%20is%20made%20available%20in%20the%20Google%20calculator%20and%20in%20several%20programming%20languages%20such%20as%20Python%2C%5B35%5D%5B36%5D%20Raku%2C%5B37%5D%20Processing%2C%5B38%5D%20Nim%2C%5B39%5D%20Rust%2C%5B40%5D%20Java%2C%5B41%5D%20.NET%2C%5B42%5D%20and%20Haskell.%5B43%5D

無事に1周してた

過疎ってるな

wezterm使ってみてる

configファイル luaなんだ

-iかけ忘れて減点

ノート見なおしてると誤植がゴロゴロ出てくる

Alt + escでウィンドウを最背面に移動できるのか

講義資料のOCRの結果に変なメールアドレスと認識されたものがあった

後半謎

0.6

背景に色付けたことないな

tcolorboxならしってるけど

Watch "【国土交通省北海道開発局】世界へ・未来へ　新千歳空港－日本語版－" on YouTube https://youtu.be/oPex_Au_LeU