Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 282

私達は植松氏の理屈が正しくなってしまう世間の論理の中で生きている……。これを変えるには真理基準を根本から見直さないといけない。

0.1.0 にするhttps://mathtod.online/@cmplstofB/105378824972470794

@cmplstofB ありがとうございます！0.1.0 でリリースしようと思います。

証明の自動探索とか大変すぎるので、それ以外が完成したら master にマージして 0.0.1 でリリースしちゃおう。

今、Guile のサブセット(激ショボ)用の定理証明支援系を作って動的型付けの弱点を解消？する試みをしているので、Ruby 3 の動きにはちょっと共感できる気がする。まだ証明を探索する機能とかは作ってないから、まったく実用的とは言えない。基本的には ACL2 と J-Bob の二番煎じなんだけど、Common Lisp よりも Scheme が好きという問題があるので仕方がない。

うー…、R5RS と R6RS は名前が似ているが別言語なんだよなー。なんというか Perl 6 よりも悲しい話になってる気がする。Chez Scheme が R7RS に対応したらもう R6RS は使われなくなるのでは……。

R6RS……

東本願寺のホームページ復旧してた ???? http://www.higashihonganji.or.jp/news/info/41040/

うう、論理出社しないと…

国民の8割が「死刑もやむを得ない」と回答していることを念頭に置くと真に「みんな仲良く」したい人は少数派だろうなと思う。https://survey.gov-online.go.jp/h26/h26-houseido/2-2.html

【音量小】諸法無我とは？　第四弾　無我からわかる西洋哲学の決定的なミス　自由意志はない　リベットの実験 - YouTubehttps://m.youtube.com/watch?v=2oQfF3yEZ5o

タイトルが過激すぎるんだよなこれ……

神回だった。お坊さんが公正世界仮説とか責任について語る動画の後編。https://youtu.be/9NG8w2BiwjM

というか地元の地名の地元民の発音が方言扱いされているのなんなん？って思う。

「まえばし」の発音だけで群馬出身かどうかを見分けられる自信がある。

「お前はまだグンマを知らない」は群馬アピールが全面に出てる感ちょっとという気持ちがある。群馬における日常(日常ではない)を表現している「日常」の方が好き。

群馬は日常かと思って開いたら違った

ローソンの「やわらか黒おしゃぶり昆布」が滅茶苦茶おいしい。昆布の時代が来てしまった。

東本願寺のホームページまだアクセスできないのか…。なんかすごいことが起きてそう…。

五七五この投稿は五七五

#即興五七五

コズミックフロント☆NEXTの新作きてた。ブラックホールの話なので面白そう。https://www.nhk-ondemand.jp/goods/G2020111129SA000/?spg=P201400127300000