2022.05.31
https://gyazo.com/bb636beecb938957ee6b4b23b2272c22
思った
構文論で規則，推論から得られる論理式の（無限の）集合$ Lと
妥当な推論の（無限の）集合$ Iとする
ある論理であらゆる意味論的に妥当な推論に対して，構文論の規則と推論から得られる論理式が存在する
$ i \in Iに対してそれに対応する$ \varphi \in Lが存在する
つまり$ I \sube L
ある論理で妥当な推論に対して，どうやって構文論的な規則/推論を繰り返しても論理式を作れない！という状況が発生しうる$ I \not\sube L
ある論理で構文論の規則/推論を繰り返して得られる論理式に対して，意味論的に妥当な推論がある
$ \varphi \in Lに対してそれに対応する$ i \in Iが（ただ一つ?）存在する
つまり$ L \sube I
構文論で得られる論理式で，まったく非妥当な推論/意味不明な推論が作れてしまう状況が発生しうる$ L \not\sube I
組織について持論を述べてくださいと言われても「個々人でガッといってドンといった感じで行きましょう。（26文字）」しか語ることしか出来ない
体調が悪い日に限って講義内容が面白く，つらい
なぜかdocker build時のみ名前解決ができない（--network hostをすれば通る）状態が発生し，非常に困る
諸々の設定（/etc/docker/daemon.jsonなど）をし，RUN cat /etc/resolv.confすると確かにnameserver 8.8.8.8などが設定されている
基本的にぶどうって紫色で染め物（ぶどう染め）とかあるのになんで高貴な人々の服とかに使われてないんだ？ おれは量化子の束縛に$ \forall x.P(x)のようにピリオドを入れるけどなんでこの書き方になったんだっけ？と思ったがラムダ式から来てたのかこれ 円周率3.1416...という表記があったんだけど，そんな表記あるのだろうかと思った
いいね
https://tweet-card.now.sh/1531599531540099072.jpg?lang=ja https://twitter.com/CBNT99/status/1531599531540099072
読んだ
暇だったので
知った
digがないけどdigがほしいというときに使う
$ docker run makocchi/alpine-dig dig @8.8.8.8 twitter.com
いいね
https://tweet-card.now.sh/1526110257763823616.jpg?lang=ja https://twitter.com/gokiburist666/status/1526110257763823616