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

トゥート : 23540(+11)
フォロー : 70(0)
フォロワー : 99(0)

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

#donhaialert

wikipediaサーフィンでネタを見つけた

#Worldle #142 3/6 (100%) 🙈
🟩🟩🟩🟩⬜↖️
🟩🟩🟩🟩🟨↗️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr

#市区町村 #ShiKuChoSon No.71 X/6 (99%)
🟩🟩🟨⬜⬜⬅️
🟩🟩🟩⬜⬜↗️
🟩🟩🟩⬜⬜⬇️
🟩🟩🟩⬜⬜⬆️
🟩🟩🟩🟩🟨↗️
🟩🟩🟩🟩🟨↘️
https://shikuchoson.jp

回路図をせっせとdraw.ioで書いてたけど、テキストのpdfからコピーすればいいじゃん
circuitikzがうんたらの記述に惑わされた

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

これが起きてるのか
パソコンでも通知が止まらない

ioはまだ110だからなってない
111のがなってる

どうせグラフはpdfで埋め込んでるから拡大してみてくれと思う気持ちと、紙面での閲覧も考えておくかと思う気持ちと

おなかすいた

タルタルステーキ

https://xkcd.com/2110/

最高なパッケージ見つけた
https://juliapackages.com/p/measurements

誤差伝播めんどい

物理量で型付けして誤差とのタプルを作るの直観的でいい

1/3終わった

え

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

トゥート : 23557(+17)
フォロー : 70(0)
フォロワー : 99(0)

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

#donhaialert

おわった

昨日何も食べてないのでおなかすいた

買い物行き損ねた

テーマ選びに失敗した

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

ウロかフロに見える

昨日初の食事
貯蓄を切り崩していってる

いただきます

昨日一昨日ろくに食事してないから危機感

班の同志、まだレポートやってたのかな

1yen/gベーコンありがとう

500gふりかけもう200gぐらいしか残ってない

かたづけよう

いつの間にかFileHistoryのconfigが書き換わってたけど何が変わったのかさっぱりわからない

https://gist.github.com/ynkdir/93cea5aa514ac706b5a91b6283a71b9a

大して安くないくせにたったの500kcalでひどい

食の危機かもしれない
入荷予定の目処が立ってない

powershell謎なところで時間がかかる

win + sc(41)といわれてもわからない

fancy zonesのwin + @とかぶってた
usだとwin + `になるのか

windows terminalでwin + 半角/全角を押すと@が入力されるのなんでだろう

win + 1でアクセスしてるからquakeを使う機会はなさそう
少し重そうだし

今のフォント、日本語が混ざるとカーソルの位置がずれすぎて特にnvimだとまともに使えないから変えようかな

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

永田町半蔵門線はtop10に入る深いホームだったはず

どうでもいい知識: 地熱の半分は地球形成時のエネルギー(鉄とかのポテンシャルエネルギー)
残り半分は核分裂

subsubsectionの番号をsubsectionと同じにしてたので
2
2.1
2.1.1
2.1.1
2.2
2.2.2
2.2.2
2.2.2
みたいなことになってた

firefox画面分割できないのなんでだろう
nightlyもfocusもできるのに

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

xelatexの日本語文書を見てる

インデントが英文仕様になってる

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

非表示にしてるのでただのフォルダになってる
数は気にしてない

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

リュック+前掛けは本当に便利

無駄な積分をして時間をとかしてしまった
振り出しに戻る

おわった

明日までがあと3つ

おなかすいた

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

トゥート : 23606(+49)
フォロー : 70(0)
フォロワー : 99(0)

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

#donhaialert

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

yet H0 is not rejected :\

👀

満腹になった

ねむい

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

🤯

texの数式はインデントとかしない
数式の可読性はないけど改行しすぎて文書全体の可読性が損なわれるのは嫌(インラインでいきなり改行とか)

再利用できないのはわかるけどfracで改行してる人始めてみた

[useless tips]
トークンの都合で\frac12は\frac{1}{2}と等価
KaTeXでも再現されてる
SATySFiでは再現されない

シャープペンシルのグリップの加水分解が進んだのか今日は中から液体が漏れ出てきてもうだめだと思って新しいの買った
売ってたのが2色しかなかく、両方とも持ってる色だったから色は前と同じ

消しゴムも買った。モノの50円のやつだけどタフらしい消しゴムを買ってみた。いつも一度はちぎれるのでもしちぎれないなら精神衛生に良い

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

デジタル回路の電源低下で起こった問題遭遇したことある
60列くらいのブレッドボード4つくらいに直列で電源供給したら起きた

オシロってusb SSD使えるのかな

ローカルな実験書(電源周波数が60Hzのみ)

以前持ってた最古のファイルの1つ

http://dev.onionsoft.net/seed/info.ax?id=1308
前使ってたソフトこれだ

PowerPoint だけど古すぎて開けなかった
今はpdf版が配布されてる

数少ないFPGAの出番な気がする

図書館で缶入り魔剤飲んでるのやばい

そして缶を倒してパソコンに魔剤かけてた

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

トゥート : 23628(+22)
フォロー : 70(0)
フォロワー : 99(0)

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

#donhaialert

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

有理数型とかあるんだ

plateau

ペンの互換性もない

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

塩おすすめです

まきしまむもいいです

グラフがきれいにできるとテンションがあがる

最近マキシマム＋スパゲッティも結構ありなことに気づいた
おいしい

これは多いのか少ないのか

挑戦問題なんもわからん

諦めようかな

むり
あきらめ

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

トゥート : 23645(+17)
フォロー : 70(0)
フォロワー : 99(0)

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

#donhaialert

#Worldle #146 2/6 (100%) 🙈
🟩🟩🟩🟩⬜↙️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr

#市区町村 #ShiKuChoSon No.75 3/6 (100%)
🟩🟩🟨⬜⬜↙️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟩💮
https://shikuchoson.jp

NiMH電池、たしかに電圧低いな (満充電で1.395Vだった)
スタイラスペンの接続がよく切れるのはなんでだろう

お腹がぐるぐるなってる

??? -> CAN -> AMS -> STR
ZWS --> QPP --> ZMB --> ZGH --> XEV

タブン
??? -> ??? -> CAN ...

CANは待ちが長かったうえに審査も長くてさらに蒸し暑くて大変だった記憶
あとは工作員(staff)

従業員?

.

今日もたんぱく質フリー昼ご飯

息漏れが止まる = しの婉曲表現

論理的に並べられた命題群を理解するためにその順番通りに理解することは十分ではないとか今更そんな気がしている

疲れてきたかもしれない

トゥート数に現れてる？

たぶん有意に減ってる

レアケース

.

結節点には●を付けてほしい

ツェナーダイオード的に作ったトランジスタあるのかな

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

逃避中

おお

だめだ

forでplot!()重ね書きしても何も表示されないけどそのあとにplot!()すると全部表示される

理由はしらない

この時点でSpecialFunctions使ってるならそのままプロットすればいいことに気づいた

自前関数綺麗(薄い方)

第1種は普通に綺麗だった

50分以上脱線してた
課題やらないと

texってる時間がないので手書きで出そう

tex << 睡眠時間

高速だとボトルネックになって渋滞する

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

地球人発見！👀

知らなかった

やりすぎた

双曲線関数わからん
指数関数に回帰しがち

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

習得できない言語は意図的に作れるので自然言語とは別次元の凶悪さ

きたく

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

小学校の理科の実験でろうそくで集気瓶のガラスのフタ加熱して割ってしまった

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

晩ご飯の予定だったものにカビが生えてたのでごはん抜き

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

トゥート : 23694(+49)
フォロー : 70(0)
フォロワー : 100(+1)

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

#donhaialert

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

最近の気づき
晩ご飯食べなくてもそんなに困らない

DVI (DeVice-Independent file format)はドライバ依存

🤔

かなしい

cheatsheet、見通しが良すぎる

ラプラス変換とルジャンドル変換が対になってるのか

対数を取ると！？

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

ルジャンドル多項式でもルジャンドル陪関数でもいい

https://as2.c.u-tokyo.ac.jp/~shmz/zakkifiles/12-09-17.html

https://twitter.com/STakesue/status/1536892258644938753

写真

空腹きつい

みず飲んで寝る

zo

空腹に負けてわかめとパスタ食べてるけどパスタが固すぎる

歯が欠けそう
爪より固い

逆に満腹感がある
もう食べたくない

はやねのよさ

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

塩

真面目に言うとサラダ油

おわった

海外行きたい

英語やらないと

お金無いのの言い訳苦しい

P2Wでしょ

こういう公的な機関の考え、なんか合わない

合わないのをぶつけたら思いっきりはじかれたけど

実力が足りないのはある

土壌が悪いなら客土しよう

ネタも能力もない

素直にその土地を捨てるという手

それはない

土3/4しかあいてない

悩む手間が省けた

Coq以外あるんだ(OCamlでかかれたHOL)
https://www.cl.cam.ac.uk/~jrh13/hol-light/index.html
https://github.com/gilith/hol-light

Kepler conjectureの形式的証明に使われたらしい
https://www.cambridge.org/core/journals/forum-of-mathematics-pi/article/formal-proof-of-the-kepler-conjecture/78FBD5E1A3D1BCCB8E0D5B0C463C9FBC

Ankiの見た目激変してた

https://docs.ankiweb.net/platform/windows/installing.html#qt5-vs-qt6
Qt 5 -> Qt 6になったらしい(Qt 5バージョンもある)
wingetでアップグレードしたからわからなかった

#anki

https://ja.wikipedia.org/wiki/%E4%BF%9D%E5%9E%8B%E5%BD%A2%E5%BC%8F
2次ゴママヨ #ゴママヨ

埋もれてた

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

論理学だけじゃない(改めて調べてみた)

生き返った人だ

https://docs.ankiweb.net/math.html#packages
Anki latexのpreambleも編集できるからTikZお絵かきできるらしい
https://rs.luminousspice.com/anki-latex-guide/#i-4

me neither

horn

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

Letterle 7/26
⬜
⬜
⬜
⬜
⬜
⬜
🟩
https://edjefferson.com/letterle/

ちょとつもうしん
ちょっとずつもうしん

きたく

クエン酸

私の記録は26桁でした。（TIME:14秒） #円周率チャレンジ http://altarf.xyz/pi2/

薬局とかで売ってる？やつ

磁針のゆらぎ

お3ぽ

トリップのことをお散歩という人 #さまざまな人

ナルシスト：好きなキャラは自分です！

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

トゥート : 23763(+69)
フォロー : 70(0)
フォロワー : 100(0)

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

#donhaialert

#Worldle #148 X/6 (95%) 🙈
🟩🟩🟩🟨⬜⬇️
🟩🟩🟩🟩🟨⬅️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟨⬅️
🟩🟩🟩🟩🟨↘️
https://worldle.teuteuf.fr

#市区町村 #ShiKuChoSon No.77 X/6 (94%)
🟩🟩⬜⬜⬜⬆️
🟩🟩🟩⬜⬜⬆️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨⬇️
https://shikuchoson.jp

https://twitter.com/mtknnktm/status/1537737908437716992

#anki

これは去年