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

トゥート : 3340(+34)
フォロー : 35(0)
フォロワー : 37(0)

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

#donhaialert

チョコレートがタッパーの中に入っている写真がアセトン処理中に見えた

https://tnakamura.hatenablog.com/entry/20090502/1241229944
わからんかった

作業メモしててよかった
アップデートの方法わからなくなるところだった

۞
かっこいい

IMO in my opinion

mafic

greyもgrayも同じ

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

トゥート : 3349(+9)
フォロー : 35(0)
フォロワー : 37(0)

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

#donhaialert

お城

CSSが適用されなくて結構悩んだけど、ほかのブラウザだとできたからもしかしたらと思ってShift F5したら適用された
https://forest.watch.impress.co.jp/docs/serial/chrometips/1152903.html

うねりが何なのか初めて知った気がする
https://www.data.jma.go.jp/gmd/kaiyou/db/wave/comment/elmknwl.html#:~:text=%E4%B8%80%E6%96%B9%E3%80%81%E9%A2%A8%E6%B5%AA%E3%81%8C%E9%A2%A8%E3%81%AE,%E3%81%AB%E8%A6%8B%E3%81%88%E3%82%8B%E3%81%93%E3%81%A8%E3%82%82%E3%81%82%E3%82%8A%E3%81%BE%E3%81%99%E3%80%82

それでもってswell 1とswell 2の違いも分かった気がするけど、観測的にはどうやって区別するんだろう
https://community.windy.com/topic/9357/swell-swell-2

mobile chromeのタブよくわからんことになってる
open in other windowの選択できる条件と使うシーンが分からない

dŠb:†¦h

・ <- alt + 0387
· <- IMEパッドのU+0387

https://support.microsoft.com/en-us/topic/how-to-use-special-characters-in-windows-documents-ec1a4e84-706e-67a5-e52b-e3ebab90313f

http://ooltcloud.sakura.ne.jp/blog/201711/article_30223025.html#post:~:text=%E3%81%A8%E3%81%AB%E3%81%8B%E3%81%8F%E9%87%8D%E8%A6%81%E3%81%AA%E3%81%93%E3%81%A8%E3%81%AF%E3%80%81%E3%81%93%E3%81%AE%20IME%20%E3%82%92%E7%B5%8C%E7%94%B1%E3%81%97%E3%81%AA%E3%81%84%E6%96%87%E5%AD%97%E3%82%B3%E3%83%BC%E3%83%89%E5%85%A5%E5%8A%9B%E3%81%A8%E3%81%84%E3%81%86%E3%81%AE%E3%81%AF%E3%80%81%E5%8F%97%E3%81%91%E5%8F%96%E3%82%8B%E3%82%A2%E3%83%97%E3%83%AA%E3%82%B1%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%E3%82%84%E3%82%B3%E3%83%B3%E3%83%88%E3%83%AD%E3%83%BC%E3%83%AB%E3%81%AB%E3%82%88%E3%81%A3%E3%81%A6%E6%8C%99%E5%8B%95%E3%81%8C%E7%95%B0%E3%81%AA%E3%82%8B%E3%80%81%E3%81%A8%E3%81%84%E3%81%86%E3%81%93%E3%81%A8%E3%81%A7%E3%81%99%E3%80%82
非常にめんｄ

・ｫLJLJ

₧

http://anti.rosx.net/etc/memo/001_hyphen.html
入力方法がわからない
とりあえずここからコピペ

Bullet・

no/j/

・ｽｾ・・・ｫ・・・・

全部違う
一部Shift_JISに邪魔された

あとU+22C5とかはChromeのショートカットが起動しながらも文字入力を完遂してくれる

U+2E31だった

・, -の類似の記号のみで構成された暗号とかないかな

https://char.onl.jp/
入力これをつかうか

氷の構造がちゃんと分類されてる水の相図始めて見た！！
https://en.wikipedia.org/wiki/Phase_diagram#Crystals

https://ja.wikipedia.org/wiki/%E4%B8%AD%E9%BB%92

charactere map

明日はSLしよう

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

トゥート : 3374(+25)
フォロー : 35(0)
フォロワー : 37(0)

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

#donhaialert

ゲームチャット海外のつたない英語を見ていたら案の定子供だった

でも自分よりは英語習得早い

whereとwereは間違えないと思うけど

発音で覚えたのかな

☺☻☺☻

思ってたんと違う

N¥d†£ThõU­;FgEY

北回帰線上を航行する運賃の高い汽船

ボタン変わってた

謎の写真があった

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

修士1年

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

トゥート : 3387(+13)
フォロー : 35(0)
フォロワー : 37(0)

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

#donhaialert

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

トゥート : 3388(+1)
フォロー : 35(0)
フォロワー : 37(0)

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

#donhaialert

うーん
寝るべきだな

板チョコ入れてたジップロックが汚れてた

チョコおいしいぃ

ぉぃしぃ

コーディング(自然数の)

柏行きたかった
高いけど(交通費)

やらねば中!

変なの混じった

スマフォのGoogle chromeでWikipediaを開くと、"Complete action with"の選択画面になって、そこでChromeを選ぶと、"Complete action with"の選択画面に戻って無限ループに入る
wikipedia, Brave, Duck Duck Go, Kiwi Browser, Braveを選ぶとそこで終わり

μ強い

もはや何が起きたかわからなかったけど、0.08秒でクリア

世界22位

絶対これ以上速くなる気がしない

再開

計算可能性

add sub goto end

命令は少ないけどレジスタが無限なので強そう
まあ、理論だから当然か

youtubeのtraffic sourceのexternal linksでdideo.irというものがあった
始めて見たサービス
動画を横断的に検索するのか？

眠い

bridge

「二兎を追う者は一兎をも得ず」
https://t.me/archillect/76759

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

トゥート : 3409(+21)
フォロー : 35(0)
フォロワー : 37(0)

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

#donhaialert

話者

興味

これで砕いてるのか
一つ一つ積み上げたら途方もない
思考がそれに従ったとは限らないと思うけど

豪勢関数

予約トゥが炸裂してた
おいしそう

自然と論理の齟齬？

全ての権利はそれを行使することのできる人が関連付けられる
逆か(いや違うか)

昨日の反動か？

「すぐに怒るが、怒り方がマイルドな人」または「すぐに笑うが、笑い方がおとなしい人」
「融点が低い」

怒り方、笑い方がばらばらな場合は臨界点

なや

meaning と sense

Y

言語が多すぎてわからなくなってきた

漫画を読んで基本的な性と時制の指摘ができる程度にはなっていた
なお、体...

チョコレートって混合物だから融点という”点”はないと思うけど、そのようなときはどう表現するのだろうかと思った

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

欲しいか欲しくないか、といわれれば、チョコは1年中欲しいです
おいしいので

Υ

ΥY
区別できない

あと24時間
sob

見た目変わってる

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

トゥート : 3433(+24)
フォロー : 35(0)
フォロワー : 37(0)

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

#donhaialert

言語が違うから
x(に対応する言語Lの表現)にv(に対応する言語Lのターム)
という風に（）の注釈が長い

メタ、非メタだけじゃなく、PAとλの違いにもよってより複雑になっている

進捗なし

PCのマイク感度が低いのかそれとも自分の声が小さいのか

https://ja.wikipedia.org/wiki/%CE%A5#記号としての用法:~:text=%E3%81%9F%E3%81%A0%E3%81%97%E3%80%81%E3%83%A9%E3%83%86%E3%83%B3%E6%96%87%E5%AD%97%E3%81%AEY%E3%81%A8%E3%81%AE%E6%B7%B7%E5%90%8C%E3%82%92%E9%81%BF%E3%81%91%E3%82%8B%E3%81%9F%E3%82%81%E3%81%AB%E3%80%81%E3%81%9D%E3%82%8C%E3%81%A8%E8%A7%A3%E3%82%8B%E3%83%95%E3%82%A9%E3%83%B3%E3%83%88%E3%82%84%E8%A1%A8%E8%A8%98%EF%BC%88%E3%80%8C%20%CF%92%20%E3%80%8D%E3%81%AA%E3%81%A9%EF%BC%89%E3%82%92%E4%BD%BF%E7%94%A8%E3%81%99%E3%82%8B%E3%80%82

http://myoga.web.fc2.com/note/Griph/
Υの書き方を迷った

a PA
<<a>> aのゲーデル数(in meta言語)
#<<a>> aのゲーデル数(<<a>>)のnumerial(in PA)

magicみたい

G文の詳細を追った
次は対角定理

本当は具体的なゲーデル数への変換の関数を原始再帰的関数で表現して、それをPAに変えたらPAの語彙だけであらわすことができるのかな(長そう)

本質は対角式の形と、PA(といっても使用するのはほとんど述語論理)の推論規則を(メタ的に)適用すること
かな

Tに証明不能な式が存在する　ならば　Tは矛盾していない　？

やっぱり背景がわかってないと不完全性定理誤解しそうなのはわかった気がする(気がするだけ(?))

ω無矛盾と無矛盾の非同値性が直観的には理解できない

メモ
Proof(m,h)の原始再帰性について？

パラメータ定理の
pを使うものをβに変える
SをPAに変える

やることが決まった
できるかは分からない

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

たびたび見惚れてしまうかわいさ

第1に能力の問題
第2に時間の問題

予期せずAck(m,n)がPRFでないことの説明を見た

眠いけど頑張るぞ

numeralとnumeralの表す自然数をゲーデル数とするPAの表現を混同してしまうのよくわかる

ちゃんとトレースすればわかる

分からなければちゃんとトレースできない

Publisher、せっかくあるので使ってみたい

Gが曲者

証明力ぅ...ですかねぇ...

記号を扱うための拡張が必要だった

Σ, Πの判定がｱ

休憩、こと昼食

数論だぁ

p_n < n! + 2
ふつうだった

難しい

𝐴関数

(斜A 関数)

おそらく大事なrm

特性関数との積の和をとる感じ組み合わせ回路に似てる

Discord brainf*ckのsyntax highlightに対応してた

考える