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

トゥート : 9434(+47)
フォロー : 45(0)
フォロワー : 55(0)

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

#donhaialert

始めて見た

ダンダン

https://twitter.com/ryseto/status/1420298273445662720
加速度の可視化
なるほど

進捗 | 優先度
75% | *****
70% | ***
0% | **
0% | *
20% |
0% |
NA% |

よく知らないな

突然足をつりかけた

10秒程度で収まった

@Citrine 10!=

@Citrine /help

59

夏休みにやることを書き出しておいた
前回の反省

進捗 | 優先度
85% | *****
70% | ***
0% | **
0% | *

puella magiの各話タイトルパロディを見かけた
秀逸

ねむ

ACやってからodeの定理の証明見てると結構ACの内容がでてる
逆に最初にodeで見たときは知らない内容だったのにそれに気づいていなかったのだと言うことに気づいた

具体的には
連続な関数の関数列が一様収束するときに収束先の関数は連続
が使われていた

「予定通り予定が狂った」

メタ予定

「予定調和」でGoogle検索したら「モナド わかりやすく」がsuggestされた

おまいが

「首をつった」(首の筋肉を)

首をつることはありうるのか

我々はその謎を明らかにすべく(註:謎を定式化するという意味ではない)、首をつった

記録はここで途絶えている

ฅ^ΦωΦ^ฅあુੋ༶いુੋ༶うુੋ༶えુੋ༶お༶ฅ^ΦωΦ^ฅ

よく分からない

進捗 | 優先度
---- | ----
75% | *****
0% | ***
0% | *

いろいろ機能が追加されてた

ねむすぎ

フェアしてるならなにか買おうかな

フェアなフェア
ふぇあ〜

75% -> 80%

ねむすぎ

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

古典文法はだいたい口語と同じで、違うのはもっぱら語彙だ(助動詞含め)と言ってた人がいる

ODE bad
AC not so good

進捗 | 優先度
--- | ---
--- | ---
0% | ****
0% | **
20% |
0% |
NA% |

空腹

たまらず帰る

最近は一日15h位画面を見ることは普通にあるけど、全く目が疲れなくなったのはなぜだろう
慣れたのか？

やる気の静脈注射

何か本買おう

15%offらしいので
3冊以上

happy threading!

thread onにしてみた

https://twitter.com/unos/status/1420660601949286405
自販機に画面なんてついてるっけ

百ます計算
二項演算の練習に使われる表

カレンダーのまえでサレンダー

最中 - ウィクショナリー日本語版 https://ja.wiktionary.org/wiki/%E6%9C%80%E4%B8%AD

さいちゅう
さなか
もなか

<em>は見た目には反映されない

眠すぎるので紅茶を飲む

何故紅茶？
紅茶しかないから

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

トゥート : 25313(+43)
フォロー : 73(0)
フォロワー : 111(0)

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

#donhaialert

ceちぇ

よく寝た

先日見つけたWSLの機能
explorer.exe file.name
でエクスプローラーでファイルをクリックしたときの動作になる

おなかすいた

https://github.com/nyuichi/satysfi-base/blob/603fedeea57816e1b33de488fe92effc45b4c625/src/list-ext.satyg#L26
https://github.com/nyuichi/satysfi-base/blob/603fedeea57816e1b33de488fe92effc45b4c625/src/list-ext.satyg#L45
ダブってる

また多相型のところ読んでる

□はMinkowski空間の∆

おなかすいた

おなかがすきました

昨日スピノールの本立ち読みしたときはじめにに書いてあった

csvsimple-13のドキュメント非常に新しかった

おなかすいた

satysfi-baseのドキュメントわからなかったけど、ocamlのリファレンスを見ればいいことに気づいた

vscodeとかtodoist(多分electron全般)開くとき、最初win7のウィンドウ枠が出てくる

キノコ、梅雨になると生えてくる

https://youtu.be/CIiGng9Brrk
Julia syntax.jl

肝心の組版パートあんまり理解してない

合肥
合皮

く

お茶をのむ

footnoteってなかなか気持ち悪いな(そことは全然違う場所に影響がでるので)

実装大変そう

もう正午だ

こうかいさぎょうちゅう

たしかCIに20分ぐらいかかった気がするからごはん食べよう

う、レポート

ごはん（パン）を食べました

おやすみの民おやすみ

起きて12時間経ったのでそろそろ眠くなるはず

録った

コミット済み36.8GBまで膨れ上がってる

今回はちゃんと行った(前回の修正点がちゃんと反映できてた)

しまったreviewer追加し忘れてた

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

寝た

おなかすいた

Juliaで組版!?

Reproducible Publications with Julia and Quarto | J.J. Allaire | JuliaCon 2022 - YouTube https://youtube.com/watch?v=Y1uKNO32H_I

ほとんどJuliaじゃなかった

ChainRules.jl meets Unitful.jl: Autodiff via Unit Analysis | Sam Buercklin | JuliaCon 2022 - YouTube https://youtube.com/watch?v=mnbEvPCmTEg

なんか便利そう

誤差伝播を計算機にさせるにはchain rule含めた多変数のautomatic differentiationの実装が必須

自動微分 - Wikipedia https://ja.wikipedia.org/wiki/%E8%87%AA%E5%8B%95%E5%BE%AE%E5%88%86

数値微分と違うのはわかってたけど数式微分とも違うのか

“doublet”の検索結果（60件）：英辞郎 on the WEB https://eow.alc.co.jp/sp/search.html?q=doublet&pg=1

レモネードとラムネはdoubletか

-let - Wiktionary https://en.m.wiktionary.org/wiki/-let

とも - Wikipedia https://ja.wikipedia.org/wiki/%E3%81%A8%E3%82%82

やっぱりwave+letだよな

wavelet - Wiktionary https://en.wiktionary.org/wiki/wavelet

spago -> spaghetto -> spaghettino

nijntjeも指小辞

nijntjeハンカチもってる

tabletは+letに見せかけて違うことは分かった

nijntjeはユトレヒトだっけ

-ette - Wiktionary https://en.wiktionary.org/wiki/-ette#English

caplet - Wiktionary https://en.wiktionary.org/wiki/caplet#English

capsule + tablet
と
cap + -let
両方ある

> 英語では単にラム rumというが、日本語の音韻体系ではrとlの区別がなく、仔羊の肉を意味する「ラム」（英: lamb）などとカタカナ表記が同一になってしまい紛らわしいので、混同を招かないよう「ラム酒」という言い方も一般的である（当記事名も同様の理由で、また項目名の衝突を避けるためにも「ラム酒」となった）。

ラム酒 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E9%85%92

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

単純に日本語では「ラム酒」のほうが一般的だからだと思う

葛飾大橋 | 首都国道事務所 | 国土交通省　関東地方整備局 https://www.ktr.mlit.go.jp/syuto/syuto_katushika.html

外環千葉区間、現代の都市部の高速道路感があって好き
p2wな感じがある

k7も

明治時代の熱田界隈と名古屋港開港 - Time Travel in Nagoya http://timetravel.network2010.org/article/140
近代の港湾だ

気になってた
IHIの「H」は播磨じゃないよ！　旧・石川島播磨重工業がツイート https://withnews.jp/article/f0211201002qq000000000000000W00o10201qq000023958A

いすゞって東京石川島造船所の自動車部門だったんだ

demo_cだ