00:01:17
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
*ptr == foo
と
ptr == foo
を混同するな、という話をしているんですが
00:02:51
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ptr を共有したところで個々人の環境によって *ptr は異なるものになるでしょう
それを「*ptr が異なるのに ptr を使うのは人を騙そうとしている!」と言われても……
00:04:11
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
道徳という語の定義は道徳の内容を定義しない、だから “合意された” 『道徳』という語を用いて各々が別々の概念を道徳的であるとしたり不道徳であるとしたりすることはありうる、それ以上の話ではないはずなんだけど……
00:04:32
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:05:27
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
べつに論証の途中で『道徳』の意味は変わってないと思いますよ
00:06:11
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「道徳」が辞書的に ptr だが日常会話で ptr と *ptr の意味で使われる、そして議論の中で ptr の意で使っているところを orange 氏が *ptr と解釈している、という話なら、そうですねという感じです
00:06:57
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
主張について考える当事者個人以外にとっての “*道徳” は議論に一切関係ないはずなんだけど
00:07:01
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
総称
-分類A
-分類B
というものがあったときに、分類Aを否定した事を分類B等も含めた総称をも否定したかのように言う><
00:07:18
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
そういうことだったら、そんなことは起きていないというか、それこそ「勝手に勘違いしただけ」にしか見えません
00:07:42
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
つまり ptr と書いているのに *ptr の意で読み取ったというだけ
00:09:03
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 00:08:51 なちか@本アカが病み垢みたいになってる人の投稿
nacika@oransns.com
このアカウントは、notestockで公開設定になっていません。
00:09:34
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「ウォーターサーバー丸呑みマンか!?」と言う前に本人に肯定されてしまった
00:10:38
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
少なくとも件の主張の中では一貫して ptr の用法で使われていると捉えて意味が通るので
00:11:06
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:11:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:11:36
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:11:38
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:11:48
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:12:17
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
00:13:25
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
反出生主義自体では ptr の用法で論じられていたことを、「私あるいは他の誰かの価値観で *ptr を具体的に決定すれば、このようになります」と主張することに、何の不整合があるんですか?
00:14:29
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
特定の文脈と特定の状況においての判断をくだすために、前提に個々人の価値観や文脈依存な概念を適切に与えることで具体化する作業が入るのは当然ですよね
00:14:33
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
たかだか分類のひとつへの合意と総称への合意を混同させてる><
00:15:20
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
某主義の中で一貫してパラメータとして使われていたものに具体的な値を代入した、それを「同じ名前で別のことをしているから混同だ!」と言われても、それこそ論理展開が読めてないだけじゃないですか?
00:16:39
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
そもそも氏が引用した私の投稿で私が例として出している主張というのは「反出生主義の前提に賛同しない人が (反出生主義の外側から) 別の公理系を示してみせた例」であって、反出生主義自体が破綻しているという話には全くならないはずですが
00:17:01
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
なんで論の外と内を混同してるんですか
lちゃんとスコープ切らないとだめですよ
00:18:24
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
int f(int param) という概念は param に応じて値が変わるし、そこに f(0) と f(42) した例を出したら「さっきは param が0と言ってたのに今は param が42と言ってる!定義のすりかえだ!」と言うんですか
00:18:43
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
同じ言葉で別のものを指しているだけならば辞書的な定義とやらとも無関係なのでは?><
都合よく総称にしたりその中の限られた定義に変えたりしてるの気づいてる?><
00:19:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
だから仮引数と実引数の話をしてるんですよ私は
int f(int param) の param を語るときは param は自由変数だし、 f(42) の param を語るときは param == 42 で束縛変数でしょう
ここの2つを並べて「param が違う」などと言うのはそれこそ「都合よく」文脈を混同しているにすぎない
00:22:58
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ある言葉が特定の性質を持つ概念を指しているという間接的な意味だけを持っていて、その特定の性質があるということだけが合意されていて、その具体的内容が各々の内心という文脈を具体的に当て嵌めることで具体的な行為が特定の性質を持つという信念として表明される、そういう話のはずなんですが
00:23:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
文脈を特定していない用法について好き勝手な文脈を当て嵌められても……という
00:24:06
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 00:23:50 北枕シュラムッフェンの投稿
araigumaG@fedibird.com
このアカウントは、notestockで公開設定になっていません。
00:24:48
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
束縛変数と自由変数を指定できないのがマズいし、その違いを嗅ぎ分けられないのも同様によろしくない
00:25:09
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
永続性がけっこうデカいかな(でもこれは政情不安定な地域の ccTLD も同じか)
00:25:16
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 00:25:10 北枕シュラムッフェンの投稿
araigumaG@fedibird.com
このアカウントは、notestockで公開設定になっていません。
00:25:30
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
だから道徳という一般化出来る言葉使うなって言ってる><;
00:26:55
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
だから「一般化できる」というのがよくわからないんですよ。
そもそも本質的に道徳というのは文脈なしに定まりえないものでしょう。
orange 氏は「特定の文脈における道徳こそが『道徳』である」という信念を持っているから、文脈をパラメータとしてとる『道徳』に対して「不当に意味が拡散している」と言うのでしょうけど……
00:27:35
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
int f(int param) の param についての話をしているのに、 f(42) の param についての話にすりかえられている
00:28:33
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
念のため言っとくとここでいう「文脈」は論理学用語に近い意味で、具体的に反出生主義の主張における『道徳』という用語の話をするなら「価値観」に置き換えるべきもの
00:29:24
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
.tk って無料だと勝手に広告挟まれたりとか、一定期間で一定量のアクセスがないと剥奪されるタイプのやつだったような
00:29:38
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
有料ならもちろん普通のドメインとして使えるだろうけど
00:30:28
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:31:12
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:33:01
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
敢えて雑に書いたのかわからないけど、
「ワイは苦痛を他人に与えるのを避けるのは必ずしも道徳的でないと思いますし、かつ **普遍的に**反出生主義は道徳的では無いと言えます」
だったら当然おかしいですよ。
だって反出生主義は特定の価値観において人間を誕生させることが不道徳であると説いていて、それを理解することがその価値観で生きている人がよりよく生きることに繋がると考えているわけで、その不道徳性はあらゆる価値観について示されたわけではないから。
00:33:25
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
それが context が束縛されているか自由かをちゃんと区別しろということです
00:34:57
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
一応補足しとくと s/反出生主義は道徳的/反出生主義の導く結論は道徳的/ の方が解釈として適切ですね。まあいいや。
00:35:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
.com の com は元々 commercial の com なのでこうしてインテルネッチの代名詞的な存在になっているのを見るとちょっと不思議だね
00:35:16
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:35:17
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:35:32
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
アカくないのに .red だし組織でもないのに .org
00:36:50
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:36:54
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
カーディナいち、カーディナルだとクソ高いからだっけ
00:37:31
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
✨プレミアムドメイン✨ だからね…… (申し込んでから「駄目です」と言われた)
00:38:06
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:39:04
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
レジストラは値段と相談でだいたいどこでもいいけどお名前.comだけはやめとけと残しておきます
00:39:05
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:39:12
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:39:19
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:39:23
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 00:39:16 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:39:30
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
お名前.com 安く買ってすぐ移管がよい。(そんな些末な節約をしたところでというのはあるね)
00:40:53
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ナメチペはログイン ID を変えられないから気をつけてね (人間にメールしたら変えられるかもしれないが試したことはない)
00:41:08
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 00:40:23 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:41:08
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 00:40:56 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:42:29
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
モニターアーム、ぐわんぐわん揺れたけど特に問題なかったのでよかった (机が木製でディスプレイ3枚付いてるので、むしろ机の天板の強度に心配がある)
00:42:32
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
メールボックス統合管理できるのにかなり魅力を感じているので僕は当分 NameCheap っすね
00:42:52
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
namecheap の private-email ?
00:42:54
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
そうなのか (自前メッルサーバ使ってるので気付かなかった)
00:43:34
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 00:43:18 sabikinの投稿
sabikin@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
00:43:40
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:43:45
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:44:19
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 00:39:09 るちか(アーカイブ)の投稿
X@groundpolis.app
このアカウントは、notestockで公開設定になっていません。
00:44:30
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
プログラミングはパズルと工作みたいなもので、理系も文系もクソもない
00:44:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあそれを言うたら大概のものは理系も文系もクソもないが (それはそう)
00:45:55
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
特定の価値観自体が循環になってるでしょ?><
苦痛という未定義のものを『苦痛』と定義し、それに基づいて新たな『道徳』という限られた定義に基づき非道徳的と考えてる><
その『苦痛』の定義の仕方のおかしな点は夕方?に出した論文で指摘されてるけど、結局の所結論を導くために前提である『苦痛』の方をいじってるかも><
結果的に『道徳』という言葉も結論を目標にいじっている言葉なので、一般的な意味での道徳であるかのように扱うのはアレかも><
疑似科学商法が商売のために単語の意味をねじ曲げるやり方><
00:45:58
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:46:39
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
じゃあ orange 氏が持ち出す『道徳』という言葉は反出生主義の否定のために都合よく “いじられた” ものではないのかと考えると、むしろ私にとってはそちらの方がもっともらしく聞こえてしまうんですが……
00:48:19
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
そもそも『苦痛』も普遍的にその具体的内容の集合が定義されたものではなく、その内容が個々人の主観により定まるということに合意がとれているはずなのに関わらず、 orange 氏は「特定の (議論において適切な文脈でない) 『誰か』の苦痛」を持ち出しているし、そちらの方が定義を弄っているように見える
00:49:46
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
包丁で刺されることが苦痛かどうかとか、輸血されることが苦痛かどうかとか、そういう「特定の (論じていない対象の) 『誰か』にとっての苦痛」を都合よく持ち出して「ある人間があり、その人間にとっての苦痛を考える」という前提を壊そうとしている
00:49:50
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
未定義の言葉として考えればいいと言ってるんだから、そもそも定義して使うのであれば別の新たな言葉を使えばいいし、既存の多義のある言葉を使う必要は無いかも><
もちろん、一般化された文脈であると誤解させる意図なら使う方がうまくいくだろうけど><
00:49:58
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:50:57
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ptr についての理解が一致していて *ptr が文脈によって変わるとき、「ptr は未定義である」と言いますか。言わないでしょう。
「*ptr の具体的な値は (あらゆる環境に共通では) 定まらないから ptr という値を使うな」というのはそれこそ詭弁ですよ
00:51:46
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:52:46
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
これ、「主観的に特定の性質を持つ概念を示す言葉」が間接的な概念であるという理解を共有できないと永遠に話が進まない気がしている
00:53:49
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
何が起こる? じゃなくて何が起こるかを言ってほしい
00:54:48
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
私は、ある言葉が多段階の参照外しを必要とする間接的な語であって、日常生活においては文脈と組み合わせて適宜その参照が外されることで具体化されるという認識をごく自然に受け入れているんですが、そうでない人がいるということですかね
00:55:05
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
これで、元々の主義の人がこの主義上の苦痛の定義の穴を指摘されたとするじゃん?><
次に何が起こる?><
00:55:10
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
00:57:06
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
これ具体的にどういう “悪用” を想定しているのかわからないけど、たぶん「ある人にとっての苦痛が別の人にとっての苦痛ではない」とか「誰かにとっての『苦痛』は (∀人間 から、ある人間を特定したときその人にとっての)『苦痛』とは違う」とかそういう系の話だと思うんですが、それは単に自由変数と束縛変数を区別できてないか、使っていない文脈を勝手に持ち出してるだけじゃないですか。
読解力の問題。
01:01:54
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
私としては「『∃φ. ∃ψ. φ → ψ 』は『[ ∃φ. φ ] → [ ∃ψ. ψ ]』とは違う」くらいのレベルの話をしているつもりで、 φ や ψ の具体的な真理値の割り当てについて論じているつもりはないんですが
01:02:04
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-13 23:58:20 まかなえ1号の投稿
cftrb@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
01:02:20
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
01:03:15
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
トロッコで人を轢こうが人間を出産することを虐待と考えようが脳以外がロボットになった人を人間扱いしようが、そんなものは「今そこにいるあなた」に経済的/肉体的利益を齎すものではない。それはそう。
01:05:36
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
我が家にはコンロもガスストーブも懐炉もないので、停電したら熱源がモバブとノート PC しかなくなる
01:06:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
急に危機感湧いてきたわ、ガスコンロを調達してお湯くらい確保できるようになっておかないといけない気がしてきた (今更)
01:06:17
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
例えばオレンジは道路に関する行政の話をする時に「道路法上の道路」とか、事故調査関連の話の時に「運輸安全委員会設置法上の船舶」みたいな言葉を使ってる><
定義が重要かつ厳密に一般的ではない場面で論ずる場合には誤解を避けるつもりがあるならそう書くべきかも><
01:07:31
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
01:08:55
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
それを言うたら反出生主義だって「子供を誕生させる」に (エッジケースを考えなければ) 個人の価値観を必要とするような用法を使っていないし、 “厳密に定義” された意味で使っているでしょうよ
01:10:27
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ここでいうエッジケースというのは「法的に人間と認められないような成長段階で腹から取り出したらどうなるか」とか「特定の補填不可能な臓器が欠けているなどでで単体として生存できないことが確信されている個体は『誕生』しているのか」とか、まあそういう辺りの話です (大事ではあるがひとまず今の文脈では考えないことにしてよい)
01:11:01
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
これ以上離しても噛み合わないであろう確信がかなり強くなってきた
01:14:10
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
01:20:57
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
道路がなにかとか船舶がなにかももやっとした合意のようなものがあるだけで、各法律ごとに定義はバラバラだし、それどころか船舶に至っては、船舶法には船舶の定義がない><(船舶法は超古い法律なので><)
01:24:31
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
その例でいくなら、反出生主義は (あるいはそれに限らず普遍の真理以外について語る一般の文章は
「あらゆる文脈における『道路』についても次のようなことが言える: {{ここに何かしらの文脈を仮引数として受け取ったときの『道路』についての言説を書く}}」
のような論理構造を持っているわけであって、「でも私は『道路』について語るとき『道路法上の道路』とはっきり言います!」と言うのはナンセンスです。
なぜなら「何かしらの文脈を仮引数として受け取ったときの『道路』」と「道路法上の道路」は同値ではないんだから
01:25:40
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「ここに何かしらの文脈を仮引数として受け取ったときの」という文脈を無視するからおかしく見えるだけで、論理構造としても文章としても、何もおかしなことはない
01:26:33
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
で、大抵の場合は {{ ... }} の部分の言説は「受け取った文脈が○○な特徴を持っているとき××である」という形で、適用する対象を制限したりする構造になるわけです
01:28:51
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「∀φ. ∀ψ. φ → φ∧ψ」は「あらゆる φ と ψ に対して、『φであるとき、φ∧ψがいえる』」と言っているのであって、ここに「φやψはいろいろな値を取りうるからおかしい!」みたいな文句を言うのは根本的に「読めていない」わけですよ。
あるいは「φ が未定義だ!」とか。
01:29:04
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
オレンジが引っ張ってきた論文によるとそもそも成り立たないというか限定的な状況でしか成り立たないかもってなってるじゃん?><
01:30:27
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
その限定的な価値観と一致する場合にはって話に、その限定的な価値観が含まれてなかったら成り立たないじゃん?><
01:31:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
https://mastodon.cardina1.red/@lo48576/105724885839023632
∀φ. ∀ψ. φ → φ∧ψ の喩えで続けるんですが、これが主張しているのはあくまで「『∀φ. ∀ψ. φ → φ∧ψ』」なのであって、
「φであるとは誰も言ってない」
「普遍的に φ∧ψ であるとは誰も言ってない」
なんですよ。
orange 氏が言っているのは「すべての φ と ψ についてと言ったのに、『すべてのφとψについてφ∧ψが成り立っているわけではない』じゃん!」に聞こえます。
そんなことは最初から誰も言ってない
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
01:32:18
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
01:37:22
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
φ: なんらかの価値観 (を突っ込める変数)
F(a): 価値観aが特定の性質を持つ
G(a): 価値観aのもとで特定の行動は不道徳である
としましょう。
単純化すると反出生主義は「∀φ. F(φ)→G(φ)」という構造をしていると考えてよいでしょう。
で、私は「あなたの価値観 b で F(b) がいえないなら G(b) も同様にいえないよね、でも『∀φ. F(φ)→G(φ)』自体は恒真だよね」と主張している。
01:38:52
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
で、 orange 氏はこれに対して「すべての φ と言ったのに、 F(φ) の場合だけに限定されている!」みたいなことを言っているように聞こえています。
F(φ) の場合だけに限定されているのは G(φ) の話であって、それは「F(φ)→G(φ)」自体が破綻しているか否かとは関係ないし何が言いたいのかわからないでしょう。
あるいは「F(c) と (∀φ のもとでの) F(φ) に “同じ” 『F』という名前を使うのは人を騙そうとしている!」なども主張されていたわけだけど、それだって単に自然言語で F(c) と F(φ) が同様に F という名前で呼ばれていて、かつ F の定義は F(φ) について行われているのに、勝手に F(c) についての話と混同しているだけ
01:41:35
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
あるいは『定義』の話をするなら、辞書的に F は φ に依存する形の F(φ) で定義されているのに、「F(d) と F(e) が違うじゃないか! F については合意がとれていないし F は未定義なんだから、好きに歪めて使えるじゃないか!」と主張されているように読める。
でも、 F はちゃんと (F(φ) の形で) 『定義』されているから『未定義』ではないし、そもそも反出生主義では ∀φ. F(φ) → G(φ) の話をしているのであって、 F(d) と F(e) が同じだろうが違おうがその論理的な妥当性に何の影響もない。
01:42:31
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
個々人の持つ別々の命題を代入したときに同値にならないからといって「合意がとれていない、よって未定義」ってそりゃないでしょう。
パラメータという概念を認識できていないとしか思えない。
まるで述語論理でなく命題論理しか受け入れていないような感じがする。
01:44:50
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあ自然言語で 『(φが束縛されているときの) F(φ)』と『(φが自由なときの) F(φ)』の区別ができないのは厄介なことだとは思うけど、それは “普通に” 論理式を書いていても同じ問題はあるので、やっぱり論理の構造をちゃんと読み取って読解してもらうしかないですね
01:45:24
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
このしかたなさを「騙そうとしている」と言われても……じゃあ de Bruijn index みたいな記法でも導入してみます?
厳密にはなるだろうけどなおさら通じなくなると思う
01:46:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
01:48:07
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
電界効果トランジスタグラマー (体の前後には起伏がなく、足は細いが上半身は横に広い)
01:49:20
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
よく考えてほしいんですが、「トランジスタグラマー」ってたぶん皆さん標準的なバイポーラトランジスタを思い浮かべると思うんですが、脚が3本ありますよね。
で、真ん中の3本目の脚が付いている人間とはつまり……
#適当
01:52:02
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
トランジスタグラマーの意味がわかるやつオタクか老人か両方
01:53:16
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 01:51:35 引越挫折太郎の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
01:53:23
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
トランジスタグラマーがなぜ半導体素子のトランジスタを冠するかというとたしか小さいのにすごいみたいなニュアンスだったと記憶しています
01:54:06
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ダーリントントランジスタで脚が3本あるトランジスタがアッしている図を想像した人には100ポイントさしあげます (?)
01:54:47
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
これは大嘘で、ダーリントントランジスタはそれ自体がパッケージングされているのでそんな構造は見えない
01:54:58
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 01:54:42 引越挫折太郎の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
01:55:03
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
01:56:19
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
スーパーヘテロダイン方式のラジオ、人生で一度は作ってみたいけど年を経るごとにパーツの入手性がどんどん下がっていくんだよな……
01:56:22
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
01:57:18
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
FMラジオとかをディスクリートの基本的な素子だけで作ってみたい気持ちは確かにあったんだけど、 MHz 級の高周波は普通に無理だしこりゃ無理だわとなって夢から覚めるのよね……
01:57:57
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
普通の発振器で作れないような周波数どうやって出すんだろうと思ったら、 PLL とかいう摩訶不思議なメカニズムを紹介されたりね……
01:58:14
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 01:57:52 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
01:58:41
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
IC 使わない FM ラジオ系キット、聞いたことがないんだよなぁ (聞いたことないだけで存在するのかもしれないけど……)
01:58:52
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 01:55:17 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
01:58:54
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 01:57:00 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
01:58:58
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 01:58:32 引越挫折太郎の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
01:59:48
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:00:07
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:00:44
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「ダイナマイトボディ」が「トランジスタグラマー」になったと思えば、これでも数世紀ぶんは文明が進んでるんだよな (?)
02:01:22
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:02:55
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:02:31 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:03:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ダイナマイトボディのダイナマイトは、ビキニ (水着) のビキニと同じようなニュアンスですね
02:04:16
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
電子ブロック、拡張キットで FM ラジオ作れそうな感じの情報はあった (未精査) けど、そういうのなしでは AM しか作れない (トランジスタでの増幅とかはできる)
02:04:26
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:04:12 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:04:55
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
や、「ビキニ岩礁での原爆実験のように衝撃的」なので形ではなく衝撃の話です
02:05:29
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:06:04
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:06:45
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:08:08
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
次世代の “トランジスタグラマー” 相当の表現を考える会 (?)
02:08:55
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:10:44
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあコンピュータの需要がなかったとしてトランジスタの発明が大きく遅れたかは、私にはわからない (トランジスタの歴史に詳しくないので) (半導体は鉱石ラジオ系の系譜だから結局関係なしに進歩しそう?)
02:10:50
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:10:01 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:10:51
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:11:16
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:11:30
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
話を途中でやめられなそうだし同じこと何度でも喋ってそう (??)
02:11:38
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
オペアンプがアナログコンピューター用途として本格的に研究されていた時代に思いを馳せております
02:12:03
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:12:22
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:14:39
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
コアダンプのコアは磁気コアのコア
バブルシステムバブルは磁気バブルのバブル
02:16:26
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:13:11 nukosuの投稿
nukosu@pao.moe
このアカウントは、notestockで公開設定になっていません。
02:17:41
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:15:11 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:18:03
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
バブルシステムも一度は見てみたいが磁気バブルメモリの状態で現存してる個体がいくつあるのか……
02:20:01
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:19:27 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:20:33
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:21:43
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:21:18 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:30:40
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:27:36 ギロロの投稿
otakuman@fedibird.com
このアカウントは、notestockで公開設定になっていません。
02:30:45
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:21:44 nukosuの投稿
nukosu@pao.moe
このアカウントは、notestockで公開設定になっていません。
02:30:46
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:22:07 nukosuの投稿
nukosu@pao.moe
このアカウントは、notestockで公開設定になっていません。
02:31:14
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
トイレかどこかに置くタイプの芳香剤の画像かと思ったら真っ当な薬っぽかった、なんとなく残念な気持ちになった (?)
02:31:29
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ここはラベンダーの香りのする何かみたいなものを期待していた (???)
02:31:37
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:31:21 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:32:28
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
小児喘息は自然に治る (ことが多い) みたいな話は聞く、実際どうなのかは何も知らんが
02:33:09
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:31:57 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:33:10
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:33:03 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:33:16
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:33:36
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
喘息は記憶がないのでよくわからん、たぶんかかったことないんだと思う
02:34:21
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
子供時代は卵アレルギーあったらしいけど、これは自然に治ったっぽい。
私自身には記憶がないんだけど、まあ発症しないように卵避けてたなら記憶はなくて当然だわな
02:35:08
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
あるいは乳幼児の時期の話だから記憶にないだけかもしれないが。
いずれにせよ記憶がないのでわからん。
02:35:22
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:33:33 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:35:25
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:32:45 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:35:27
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:33:22 nukosuの投稿
nukosu@pao.moe
このアカウントは、notestockで公開設定になっていません。
02:35:30
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:35:04 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:36:04
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:39:57
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:39:40 skiaphorusの投稿
skia@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
02:40:14
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
あのつらさはわかる、とはいえもう記憶もかなり薄れてきたが
02:40:47
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
身体が鈍くなることを喜んでいたら、今度は身体が鈍くなることを嘆く年齢になってしまった (?)
02:40:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:42:24
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
アレルギーじゃないけど、昔レストランでイカリングのスパゲティを食べてイカリングを喉に詰まらせて嘔吐したことがあって、しばらく (数年) イカが食えなかった
02:44:26
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:43:49 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:44:58
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
そういえば私も動物の毛が駄目なんですよね、大変な鼻詰まりと鼻水が発生する
あれもちゃんと診断受けてないからわからないだけでアレルギーなのかな (まあそうなんだろうな)
02:45:53
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:45:44 skiaphorusの投稿
skia@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
02:46:03
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあ経験的にわかっていることは避けるようにしていますね
02:46:27
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
他には「旅館などの畳の部屋」も駄目なんですよね、あれはハウスダストなのか他の何かなのかわからないけど再現性がある
02:46:37
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:46:33 skiaphorusの投稿
skia@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
02:46:40
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:45:50 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:47:02
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
そのうちちゃんとした検査受けたいね…… (といって数年放置するルートが見える)
02:47:39
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ところでこの時間まで風呂にも入ってないくせに午前起床のつもりとかマジ!?
02:50:15
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「植物は痛みを感じず意識もないから殺してもいい」という価値観のどこが合理的でないのか理解できない
02:50:28
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:51:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
べつに植物の中で刺激に反応して起きる化学現象を「痛み」などと呼んでもいいけど (そのような人々も実際いる)、そのように考える人がどのような化学現象からを「痛み」と認定しなくなるのかは興味がある (べつにこれは皮肉などではない)
02:54:23
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
人間やその思考について「興味がある」と表現するとき、大抵は「どのように一貫性を保っているのかメンタルモデルを把握したい」の意であって、主張の内容への賛同や共感があるわけでもないしそれが欲しいわけでもない、本当に単なる観察対象としての「興味がある」なんだよな
02:54:53
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
興味がある対象はシステムであって人間でも精神でもない
02:55:34
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:53:01 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
02:55:41
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:55:44
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
02:57:06
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 02:56:56 skiaphorusの投稿
skia@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
02:58:39
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
人間はロボットの「痛み」を理解できる:日本の研究結果
02:59:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
これはむしろ「ヒトに似せたときヒトであるかのように共感できる」という話だと思うし、「どこまでヒトやそのメカニズムから離れたところまでを『痛み』とするのか」とは別の話ですね
02:59:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
たとえばツェナーダイオードに逆向きに一定以上の電圧をかけると物理学的な現象として電流が流れ始めるが、これはダイオードが『痛がっている』ように見えるのか?
03:00:31
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
あるいは水晶に圧力をかけると発振するが、この発振は水晶の『悲鳴』に聞こえるか?
03:01:36
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
少なくとも現状の生物的ありかたとして十分な知能や感覚を持つように見えない植物について「痛み」を持つとするのであれば、その腕に時計を付けることはなぜ正当化されているのか?
03:02:25
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
それとも、いわゆる生物としての特性を一通り備えていることが条件に含まれるのだろうか?
だとすればヒト型ロボットはその範疇に含まれないが
03:02:40
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
これは研究として規模が小さすぎるからあれだけど、このロボットの話を思い出したのはNHKコズミックフロント(天文関連番組)で、反応が無くなった火星探査機を最終的に諦め停止コマンドを送った時に管制室に居た天文学者等の関係者が皆泣いていたという話から><
03:02:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
それはどちらかというと愛着と擬人化の方面な気がする
03:03:48
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
擬人化というか、擬感覚者化? なんと言えばいいかわからんが
03:06:12
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
いやべつに「『痛み』の何たるかはどうでもよくて『可哀想だと思ったから駄目』」でもいいし尊重はしますよ。
その場合、植物を “殺す” ことに何も感じない人々を「偏っている」だの「合理的でない」だのと形容するのは意味不明な罵倒ということになるけど
03:06:45
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
個人的には「かわいそうだから私は避けます」と言われたほうが、一貫性がないのにあるかのように説明されるよりはよほど素直に納得できるわね
03:10:34
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
オレンジ的には、人間の感覚上、意思があるものと見なせる他色々な理由により共感できる対象(愛着を持てる対象とも言えるかも?)に対して共感しているだけであって、痛覚どうたらこうたらが実際にあるかは後付けであり関係ない><
って発想><
どこかの知らない痛覚をもつ生物の個体が痛覚に刺激が与えられる状況なんて知ったこっちゃないけど、お気に入りの飛行機(個体)がスクラップになるのはかわいそうで涙が出る><
03:13:57
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
単に競合する複数のミクロな評価関数があってそれらを総合的にまとめたマクロな評価関数がある、という単純なモデルで考えるなら、「どのミクロな評価関数が結果に出ているように見えるかが安定しない」というのは単に文脈という暗黙のパラメータを無視しているからというだけの話であって、一貫性を求めることでその文脈と「最も影響力の大きい評価関数と、影響力が大きくなる条件」を意識することができるなら十分に有意義だと思う
03:14:55
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
むろんそれが見かけ上のもので真の “通状況的一貫性” でないというのはその通りだけど、段階的であれ一般化を行う過程は有意義で興味深いものだと考えているので
03:15:56
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
たとえば最終的に「人生の9割9分、重大な場面でぜんぶ一貫した説明ができる行動をとった」といえれば、おおよそ “実用上” 十分に一般化されたひとつのモデルを作れたといえそうだし
03:17:02
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあそれを敢えて破綻させて異常行動を発生させることで喜びを見出すサイコパスみたいな人々もいるけど (曰く「人間は酔った時に本性が出る」「人間は生命の危機に晒されたとき本性が出る」)
03:18:24
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
異常者なので特定の状況で特定の動物がミンチになることを単に迷惑にしか思わないんだけど、具体的に言うと間違いなく反感を買うので言わんとくだけの社会性は残っている
03:19:11
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあ可哀想のボーダーが違う人々が殴り合う SATUBATU 世界で生きていきましょうね、多様性だよ
03:42:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
03:44:08
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「数学的帰納法が帰納法ではない」というネタを稀に見るけど、普通に数学的帰納法は自然数の構造に関する帰納法なので帰納法です
あれ言ってる人がネタで言ってるのかマジで言ってるのかちゃんと確認したほうがいい
03:44:37
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
03:46:00
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあ自然数を 0 と Succ (あるいは後続数を作るコンストラクタ)で定義したりみたいなことを考えない高校生までならそう思うのもわかる
03:46:44
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
03:49:38
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ところで Wikipedia 見てみたら帰納法ではない(要出典) みたいに書かれててワロてる、いろいろなところにバトルがあるなぁ
03:53:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
いわゆる弁論やらビジネスの界隈での「帰納法」が数学と別用語なのでそこで混同されてるのかね。
「数学::帰納法 が 弁論::帰納法 でない」は正しいが、「数学::数学的帰納法 は 数学::帰納法 である」もまた正しい
03:53:22
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 03:52:26 B̅の投稿
cmplstofB@mathtod.online
このアカウントは、notestockで公開設定になっていません。
03:54:47
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
あと他にもアレなのが、普通に「数学的帰納法」が 数学::帰納法 のサブセットに過ぎないところよね。
数学的帰納法に含まれずかつ 数学::帰納法 であるような論法が存在する
03:56:28
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 03:55:07 引越挫折太郎の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
03:57:05
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
弁論系の用語、遡ると古代の哲学あたりがルーツだったりするので、むしろ数学が後発の可能性も結構ある
03:57:50
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあいずれにせよ専門用語を一般の言葉や別の界隈の用語と混同するなというだけの話ではあるが……
03:58:01
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
ビジネス界隈に流出した専門的用語、信用できる専門家間の閉じられた議論以外では常に間違えられると思ったほうがいいみたいなのあるよね
03:58:36
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
clubhouse::量子力学 であるところの †量子力学† は……
03:59:15
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:03:36
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:05:25
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 04:01:52 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
04:05:26
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
04:05:26
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:05:28
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 04:02:50 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
04:05:29
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:05:43
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:05:55
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:05:56
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:06:19
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 04:06:02 引越挫折太郎の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
04:06:35
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:10:02
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
そういえばガスと草で思い出したけど、なんで希ガスって貴ガスに改名されたんだっけ。大気中にアルゴンが0.93%もあるから?
04:12:19
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 04:11:45 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
04:14:18
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
だいたい合ってた。あとは宇宙規模ではヘリウム断トツに多いやんけというのもあるっぽい
04:15:30
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
アルゴンが大気中に0.93%とかいう知識、今までの人生で一度として役に立ったことがないんだけど、なぜか正確に思い出せるんだよなぁ……
04:16:40
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
植物食系男子、一気に「違うそうじゃない」感が出てきて笑ってしまうな
04:18:26
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:18:35
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 04:18:21 引越挫折太郎の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
04:18:59
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
お前らオタクは子供がいないから若者と接する機会がないだけだろ (ブーメラン)
04:19:51
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「ブーメランはマトモな狩りの道具なんだから、理不尽に使用者の頭に突き刺さる凶器みたいな言い方をするのをやめろ」みたいな話があったなぁ (あったというか、ある)
04:20:13
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 04:18:43 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
04:20:43
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:22:00
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:22:08
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 04:19:28 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
04:25:10
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
この文脈のブーメランって「ブーメランを投げて返ってきて後頭部につきささった」の略だよね><
それをブーメランって略したらブーメランの風評がもわからなくもないけど略さない意味としては問題ないかも感><
04:25:46
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
むしろ既に独立した (原義と異なる) 用法を獲得していると捉えるべきでは。
原義としてはそうなんだろうけど。
04:26:54
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
言論が本人に刺さること自体でなく、刺さる言論そのものを「ブーメラン」と呼ぶ用法がよく見られるので
04:27:12
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
04:29:12
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
19:22:29
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
元所属サークルのサーバを再起動したらすべてのコンテナがインターネットから繋がらなくなって今大変なことになってる
たぶん最後に弄った人がネットワーク関係を永続化せずにいたっぽい
19:23:03
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
docker network create で internal 指定なしで作ったブリッジのはずなんだけど、なんでインタネッツ繋がらないの……
20:10:51
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
数が多ければいいというものでないのは間違いないし、それは他ならぬ Twitter が身を以て証明している
20:12:35
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
皮肉はそもそも建設的な対話を目標としていないことが多いだろうし、「ストレートな批判のほうがよい」というのは (建設的な対話をよしとする立場で見れば) そうだろうけど文脈が合ってないと思う
20:15:36
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
皮肉はそもそも笑うためのものではという気持ちがあるので、笑うつもりのないところで使うのは最初から論外だし、そんな妙な用法を取り沙汰して皮肉について一般論を言われても……という感じはある
20:16:33
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
皮肉で笑われて腹が立ったという話はごもっともだが、それ皮肉でない言い方されても怒ってる可能性それなりにあるし、まあハイ
20:16:58
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
まあ結局内輪でやれという話になるな (それはそう)
20:17:30
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 20:14:45 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
20:17:36
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
20:18:03
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
そうだった、皮肉は明示しないと危険なのだったな
†いい話† だ
20:18:57
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 20:18:34 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
20:19:08
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
20:19:19
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
20:26:46
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
20:27:51
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「遠まわしに意地悪く相手を非難すること」の意味で、もちろん直接に相手を批難する用法もあるだろうけど、「内輪で」こういうことをするとき大抵第三者を批難するものになっていて、本人不在の状況で敢えて遠回しに言うのはおもしろさのためではという一般的な想定がある
20:29:39
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「スクリプト言語がメモリ8GBも使ってやがる」とか言っても「かわいそうに」としかならないが、「スクリプト言語のおかげで生まれて始めてメモリ8GBをフル活用できた」と言えば面白さも出てくるってもんでしょう (いやこれを面白いと感じるかは聞き手の感性次第だが)
少なくとも直接嫌なことを表現するよりはよほど「面白く」なる
20:31:07
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
いやべつに冗談によるコミュニケーションの一環として聞き手について皮肉でチクッと刺すやりかたもあると思いますよ。それは辞書的な記述そのままの話なのでわざわざ挙げるまでもないだろうけど
20:34:17
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
皮肉って単語、つまり議論をうまく持ってって、相手の批難先を相手自身にして(というか自身を攻撃してるということに気づかせて)自爆させるみたいな事に対しても、皮肉って言うのかと思ってた><
今朝話題になったブーメランみたいな><
20:34:38
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-11 22:39:34 こぶだしの投稿
kobudashi334@pawoo.net
このアカウントは、notestockで公開設定になっていません。
20:35:51
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 20:34:04 🖕の投稿
mimorinka@fedibird.com
このアカウントは、notestockで公開設定になっていません。
21:31:14
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
21:31:41
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 21:21:00 もぐのの投稿
moguno@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:35:26
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
2021-02-14 21:35:12 もぐのの投稿
moguno@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:36:22
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
デビット基本的に使いすぎる心配がないので良いのですが、一部サイトや海外通販においては円相場によっては決済の数日後とかに謎の調整で数円や数十円のよくわからん決済が発生したりするので、家計簿は書きづらくなるかもしれない
22:05:24
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
Kyash でちょくちょく決済失敗するのよね (そんで数分後くらいに「これお前か?」と連絡がくる)