晩御飯美味しすぎて腹十二分食べてしまった

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

トゥート : 8471(+94)
フォロー : 45(0)
フォロワー : 58(0)

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

#donhaialert

android firefoxでmisskey開いたらmisskey.io/@undefinedになってた

2R
F
VC
でやろう

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

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

お大事に

2度寝して起きて50分経った

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

こういうの？

チートした

pKa = 10ぐらいなら半当量点からpKaがわかる

(滴定曲線を見る限り)

iirc
If I Recall Correctly

https://www.abbreviations.com/IIRC

50WhのバッテリーでCPUが10W位食うなら当然3,4時間しかバッテリー持たないだろうとか考えた

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

存在を知らないのか授業でずっと上書きされてるのにそのたびに新たに入力している先生がいた

PC版LINEカメラのオンオフを応答前に決められるようになった(前は最初強制オンだった)

そういえば歓迎の会のはずなのに歓迎の言葉が全くなかったのは確かだ
謝罪の言葉も全くなかった
迷惑かけたという事実だけを言ってた

なんというか、心のない会だった

braveだ

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

トゥート : 8493(+22)
フォロー : 45(0)
フォロワー : 58(0)

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

#donhaialert

FD Free Dial始めて見た

キーボードの調子がかなり悪い

10か月前に共有されたファイルへのアクセス方法が今わかって閲覧している(遅すぎる)

質問に答えている

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

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

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

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

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

ぜつぼう

duce

もうすぐ6月が終わることに気づいた

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

第一印象、印章で決まりがち

診断結果AQ30

ADHDのほうは17(何の指数か忘れた)
11以上だと大体 と診断されるらしい

小1のころやったことと同じようなことを再開した

AQテスト 各設問に1つ属性があって、その解答から1または0点が付与されてその総和で求めていた

6も28も完全数ほんとだ

2021念

https://ja.wikipedia.org/wiki/宗教の年表

○○主義、○○の主張から離れがち

https://en.m.wikipedia.org/wiki/Hepburn_romanization
Hepburn オードリーかと思った

規模が小さくて流れの遅い外部との接続がかなり制限されたサーバーだとブーストの必要がない

熊の鼓動

うわぁーー
医師不足は深刻ﾀﾞﾅｧｰｰｰ
https://twitter.com/alwaysecurityok/status/1409423472061673481

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

Firefoxだと∞になる

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

トゥート : 8523(+30)
フォロー : 45(0)
フォロワー : 58(0)

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

#donhaialert

5時から何もしてない

のり弁 と き弁

あ、τ

まずい

昼は簡易的だったし夜たべてないのにもう2時

自閉スペクトラム症調べてみると、確かに知り合いの行動パターンと一致している

todo
CA rp
have supper
ToC
En

https://ja.wikipedia.org/wiki/アマビエ
CAから知った

校正、pdfの注釈を使って行われるのかな？(校正資料を見つつ)

深淵は深いのか？

anthropocene

緊急性の低いドキュメントを見ていた
閉じる

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

LaTeX

結局、1は2とか空即是色とか抽象化に対する注意として一般化しようとしてるのかな

https://mstdn.jp/@nippa/106459399953337634
ネタが共通

https://kotobank.jp/word/%E7%A9%BA%E5%8D%B3%E6%98%AF%E8%89%B2-54891
いまいちわからない

ある種の深夜テンション

TeXで20pのレポートだすｯｮｯｮがいるのか
手書きで甘えてしまった(関係ないだろ)

でも字が汚いのは確か

https://saphir-jaune.hatenablog.com/entry/2017/07/21/140719
https://kivantium.hateblo.jp/entry/2015/04/07/103802
LaTeXで証明図

https://math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/BussGuide2_Smith2012.pdf
User Guide

数式環境中だとλのフォント若干違うのか

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

食事の予定が2日ほど遅れているので期限を超えてるし、選択にも悩む

型導出基本から構築してく感じのほうが簡単？

今週やばい
謎にたくさん寝てる

リセットしたい

忘れたい

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

公共の福祉

焼うどん食べた

48時間ぶりにまともな食事をした(時間がまともではない)

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

鳥の羽でのどの奥をつつくと吐ける
もう1回パーティーできる

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

古代ローマの貴族がやってた

酢酸鉛

> つまり、生化学者の Buchner と発明者の Büchner が取り違えられて、ブフナー漏斗と呼ばれるようになった。

へー

https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%95%E3%83%8A%E3%83%BC%E6%BC%8F%E6%96%97#:~:text=%E3%81%A4%E3%81%BE%E3%82%8A%E3%80%81%E7%94%9F%E5%8C%96%E5%AD%A6%E8%80%85%E3%81%AE%20Buchner%20%E3%81%A8%E7%99%BA%E6%98%8E%E8%80%85%E3%81%AE%20B%C3%BCchner%20%E3%81%8C%E5%8F%96%E3%82%8A%E9%81%95%E3%81%88%E3%82%89%E3%82%8C%E3%81%A6%E3%80%81%E3%83%96%E3%83%95%E3%83%8A%E3%83%BC%E6%BC%8F%E6%96%97%E3%81%A8%E5%91%BC%E3%81%B0%E3%82%8C%E3%82%8B%E3%82%88%E3%81%86%E3%81%AB%E3%81%AA%E3%81%A3%E3%81%9F%E3%80%82

a-
本質は間違ってない、と信じたい

そっか
intだと関数適用できないのか

https://mstdn.jp/@nippa/106453429327377663
Curry-Howardの基本的な考えってこれか

おー直観主義論理が出てくるってここのことか

単体だと少しわかった
∨が怪しいけど

存在命題の証明から存在する例を与えるプログラムを抽出できるということか

型の型
命題のタイプ

高階述語論理も記述できてるのか

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

そして熱伝導率と比熱は相関がないので、氷に同じ温度・質量の鉄と木を置くと、熱平衡に達したときに木のほうがより多くの氷が溶けるという直感に反したことが起きる

命題というより項

crack shotが人なの直感に反してる

Twitterにbookmarkあったんだ(多分見てたけど気づいてない)
deckのcollection使ってた

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

普通に焦げる

人工漁礁

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

全人類のための尊い犠牲だ！

無償の贈与

失敗は成功の基

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

上方、下方、それとも、水上？

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

群馬県水上でやるやつ

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

トゥート : 8593(+70)
フォロー : 45(0)
フォロワー : 58(0)

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

#donhaialert

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

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

以前どこかで見たけどどこだったか忘れた

最近夕食スキップが増えたので1週間前に作ったやつが残ってる

小1の時に受けた(普通の授業中に一人だけ別室で受けた)知能テスト、ADHDが検査項目に含まれていたらしい

1.5か月さぼってて全然できなくなってた

11月試験なのに

もう1回やろう

2回やった
もういいや

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

さんざん考えた挙句
「塩、存じ上げませんね」
しか思いつかなかった

へん

んこうじょ

7/3と7/10の予定スワップした

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

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

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

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

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

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

鹿を叱る

鶴を吊るす

鮫を納める

https://youtu.be/QbMye8-chLM

PowerToysアップデートしたらPowerLauncherのフォントが変わってた

こんなのあったっけ

Awakeなるものが追加されていた
必要ないけど

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

辞書はLTSバージョンのみをサポートしてる

シーターってラーマーヤナ由来なのか

てきとう

また忘れてた

#ダジャレはポエム

Oh, that's my comment.

hazukashii

語彙力ぅ

https://ja.wikipedia.org/wiki/バートルビー

う

自分を縛らないとまともに生きられない気がしてきた

絵画は多源発生的？

捉える

「言葉にできないです」
が感覚？

もう18時

となると批評は...
批評が芸術になればいいのか

しようとする試み

first among equals

https://ja.wikipedia.org/wiki/ピジン言語

枢軸時代

論理武装

科学(的価値観)の基盤

キタ！！
世界史論とのコネクション！

というよりはその範疇に入った感じか

Twitterトレンド消してる(たいていDeck使うからそもそもあまり見ないけど)

英語版ウィキペディアのTomruenさん - 投稿者自身による作品, transferred from en.wikipedia, パブリック・ドメイン, https://commons.wikimedia.org/w/index.php?curid=453845による

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

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

バナナジュースこぼした

あ、2021年半分終わるのか

日付が変わらないように西に逃げよう

歴代生涯の移動距離が最も長い人ってどんな人だろう