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

トゥート : 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で公開設定になっていません。

群馬県水上でやるやつ