00:01:17 @lo48576@mastodon.cardina1.red
icon

*ptr == foo

ptr == foo
を混同するな、という話をしているんですが

00:02:51 @lo48576@mastodon.cardina1.red
icon

ptr を共有したところで個々人の環境によって *ptr は異なるものになるでしょう
それを「*ptr が異なるのに ptr を使うのは人を騙そうとしている!」と言われても……

00:04:11 @lo48576@mastodon.cardina1.red
icon

道徳という語の定義は道徳の内容を定義しない、だから “合意された” 『道徳』という語を用いて各々が別々の概念を道徳的であるとしたり不道徳であるとしたりすることはありうる、それ以上の話ではないはずなんだけど……

00:04:32 @lo48576@mastodon.cardina1.red
2021-02-14 00:04:08 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

多義語の誤謬?><

00:05:27 @lo48576@mastodon.cardina1.red
icon

べつに論証の途中で『道徳』の意味は変わってないと思いますよ

00:06:11 @lo48576@mastodon.cardina1.red
icon

「道徳」が辞書的に ptr だが日常会話で ptr と *ptr の意味で使われる、そして議論の中で ptr の意で使っているところを orange 氏が *ptr と解釈している、という話なら、そうですねという感じです

00:06:57 @lo48576@mastodon.cardina1.red
icon

主張について考える当事者個人以外にとっての “*道徳” は議論に一切関係ないはずなんだけど

00:07:01 @lo48576@mastodon.cardina1.red
2021-02-14 00:06:45 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

総称
-分類A
-分類B

というものがあったときに、分類Aを否定した事を分類B等も含めた総称をも否定したかのように言う><

00:07:18 @lo48576@mastodon.cardina1.red
icon

そういうことだったら、そんなことは起きていないというか、それこそ「勝手に勘違いしただけ」にしか見えません

00:07:42 @lo48576@mastodon.cardina1.red
icon

つまり ptr と書いているのに *ptr の意で読み取ったというだけ

00:09:03 @lo48576@mastodon.cardina1.red
2021-02-14 00:08:51 なちか@本アカが病み垢みたいになってる人の投稿 nacika@oransns.com
icon

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

00:09:34 @lo48576@mastodon.cardina1.red
icon

「ウォーターサーバー丸呑みマンか!?」と言う前に本人に肯定されてしまった

00:10:38 @lo48576@mastodon.cardina1.red
icon

少なくとも件の主張の中では一貫して ptr の用法で使われていると捉えて意味が通るので

00:11:06 @lo48576@mastodon.cardina1.red
2021-02-14 00:09:21 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

ついったーに顔出したら死者扱いされてました

00:11:13 @lo48576@mastodon.cardina1.red
icon

守護霊名乗っとけばよかったのでは (?)

00:11:36 @lo48576@mastodon.cardina1.red
2021-02-14 00:11:10 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

mastodon.cardina1.red/@lo48576

"...「『苦痛』を他人に与えることを避けるのが『道徳的』である」というのは普遍の真理ではない前提であって、それに同意しない人は..."
つまり、これに同意してもしなくても、反出生主義を否定できる><

Web site image
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
00:11:38 @lo48576@mastodon.cardina1.red
icon

00:11:48 @lo48576@mastodon.cardina1.red
icon

「つまり」がどう繋がるかわからない

00:12:17 @lo48576@mastodon.cardina1.red
2021-02-14 00:11:51 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

で、延長で一般化してるのが続きのこれ><
mastodon.cardina1.red/@lo48576

Web site image
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
00:13:25 @lo48576@mastodon.cardina1.red
icon

反出生主義自体では ptr の用法で論じられていたことを、「私あるいは他の誰かの価値観で *ptr を具体的に決定すれば、このようになります」と主張することに、何の不整合があるんですか?

00:14:29 @lo48576@mastodon.cardina1.red
icon

特定の文脈と特定の状況においての判断をくだすために、前提に個々人の価値観や文脈依存な概念を適切に与えることで具体化する作業が入るのは当然ですよね

00:14:33 @lo48576@mastodon.cardina1.red
2021-02-14 00:13:29 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

たかだか分類のひとつへの合意と総称への合意を混同させてる><

00:15:20 @lo48576@mastodon.cardina1.red
icon

某主義の中で一貫してパラメータとして使われていたものに具体的な値を代入した、それを「同じ名前で別のことをしているから混同だ!」と言われても、それこそ論理展開が読めてないだけじゃないですか?

00:16:39 @lo48576@mastodon.cardina1.red
icon

そもそも氏が引用した私の投稿で私が例として出している主張というのは「反出生主義の前提に賛同しない人が (反出生主義の外側から) 別の公理系を示してみせた例」であって、反出生主義自体が破綻しているという話には全くならないはずですが

00:17:01 @lo48576@mastodon.cardina1.red
icon

なんで論の外と内を混同してるんですか
lちゃんとスコープ切らないとだめですよ

00:18:24 @lo48576@mastodon.cardina1.red
icon

int f(int param) という概念は param に応じて値が変わるし、そこに f(0) と f(42) した例を出したら「さっきは param が0と言ってたのに今は param が42と言ってる!定義のすりかえだ!」と言うんですか

00:18:43 @lo48576@mastodon.cardina1.red
2021-02-14 00:18:37 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

同じ言葉で別のものを指しているだけならば辞書的な定義とやらとも無関係なのでは?><
都合よく総称にしたりその中の限られた定義に変えたりしてるの気づいてる?><

00:19:59 @lo48576@mastodon.cardina1.red
icon

だから仮引数と実引数の話をしてるんですよ私は

int f(int param) の param を語るときは param は自由変数だし、 f(42) の param を語るときは param == 42 で束縛変数でしょう
ここの2つを並べて「param が違う」などと言うのはそれこそ「都合よく」文脈を混同しているにすぎない

00:22:58 @lo48576@mastodon.cardina1.red
icon

ある言葉が特定の性質を持つ概念を指しているという間接的な意味だけを持っていて、その特定の性質があるということだけが合意されていて、その具体的内容が各々の内心という文脈を具体的に当て嵌めることで具体的な行為が特定の性質を持つという信念として表明される、そういう話のはずなんですが

00:23:59 @lo48576@mastodon.cardina1.red
icon

文脈を特定していない用法について好き勝手な文脈を当て嵌められても……という

00:24:06 @lo48576@mastodon.cardina1.red
2021-02-14 00:23:50 北枕シュラムッフェンの投稿 araigumaG@fedibird.com
icon

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

00:24:48 @lo48576@mastodon.cardina1.red
icon

束縛変数と自由変数を指定できないのがマズいし、その違いを嗅ぎ分けられないのも同様によろしくない

00:25:09 @lo48576@mastodon.cardina1.red
2021-02-14 00:25:00 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

永続性がけっこうデカいかな(でもこれは政情不安定な地域の ccTLD も同じか)

00:25:16 @lo48576@mastodon.cardina1.red
2021-02-14 00:25:10 北枕シュラムッフェンの投稿 araigumaG@fedibird.com
icon

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

00:25:30 @lo48576@mastodon.cardina1.red
2021-02-14 00:25:23 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

だから道徳という一般化出来る言葉使うなって言ってる><;

00:26:55 @lo48576@mastodon.cardina1.red
icon

だから「一般化できる」というのがよくわからないんですよ。
そもそも本質的に道徳というのは文脈なしに定まりえないものでしょう。
orange 氏は「特定の文脈における道徳こそが『道徳』である」という信念を持っているから、文脈をパラメータとしてとる『道徳』に対して「不当に意味が拡散している」と言うのでしょうけど……

00:27:35 @lo48576@mastodon.cardina1.red
icon

int f(int param) の param についての話をしているのに、 f(42) の param についての話にすりかえられている

00:28:33 @lo48576@mastodon.cardina1.red
icon

念のため言っとくとここでいう「文脈」は論理学用語に近い意味で、具体的に反出生主義の主張における『道徳』という用語の話をするなら「価値観」に置き換えるべきもの

00:29:24 @lo48576@mastodon.cardina1.red
icon

.tk って無料だと勝手に広告挟まれたりとか、一定期間で一定量のアクセスがないと剥奪されるタイプのやつだったような

00:29:38 @lo48576@mastodon.cardina1.red
icon

有料ならもちろん普通のドメインとして使えるだろうけど

00:30:28 @lo48576@mastodon.cardina1.red
2021-02-14 00:30:17 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

mastodon.cardina1.red/@lo48576
「ワイは苦痛を他人に与えるのを避けるのは必ずしも道徳的でないと思いますし、かつ 反出生主義は道徳的では無いと言えます」と言えちゃう><

Web site image
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
00:31:12 @lo48576@mastodon.cardina1.red
icon

mstdn.nere9.help/@orange_in_sp

「ワイは苦痛を他人に与えるのを避けるのは必ずしも道徳的でないと思いますし、かつ **ワイの価値観では**反出生主義は道徳的では無いと言えます」
には何の矛盾もないし自然に受け入れられますよね。
orange 氏は何がおかしいと思ったんですか?

Web site image
orange (@orange_in_space@mstdn.nere9.help)
00:33:01 @lo48576@mastodon.cardina1.red
icon

敢えて雑に書いたのかわからないけど、

「ワイは苦痛を他人に与えるのを避けるのは必ずしも道徳的でないと思いますし、かつ **普遍的に**反出生主義は道徳的では無いと言えます」
だったら当然おかしいですよ。
だって反出生主義は特定の価値観において人間を誕生させることが不道徳であると説いていて、それを理解することがその価値観で生きている人がよりよく生きることに繋がると考えているわけで、その不道徳性はあらゆる価値観について示されたわけではないから。

00:33:25 @lo48576@mastodon.cardina1.red
icon

それが context が束縛されているか自由かをちゃんと区別しろということです

00:34:57 @lo48576@mastodon.cardina1.red
icon

一応補足しとくと s/反出生主義は道徳的/反出生主義の導く結論は道徳的/ の方が解釈として適切ですね。まあいいや。

00:35:13 @lo48576@mastodon.cardina1.red
2021-02-14 00:33:48 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

.com の com は元々 commercial の com なのでこうしてインテルネッチの代名詞的な存在になっているのを見るとちょっと不思議だね

00:35:16 @lo48576@mastodon.cardina1.red
2021-02-14 00:34:40 ぴけ@Skeb1件作業中の投稿 pikepikeid@mstdn.maud.io
icon

普通そうって言って.comにした人ですどうも

00:35:17 @lo48576@mastodon.cardina1.red
2021-02-14 00:34:25 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

個人なのに .org 取っててすいませんちゅとる

00:35:32 @lo48576@mastodon.cardina1.red
icon

アカくないのに .red だし組織でもないのに .org

00:36:50 @lo48576@mastodon.cardina1.red
icon

mstdn.nere9.help/@orange_in_sp

そもそも反出生主義には苦痛を与えることの不道徳性以外にもいくつか前提があるので、それらに反対する人がいれば
「ワイは苦痛を他人に与えることを最大限避けることこそが道徳的であると考え、かつ **ワイの価値観では**反出生主義は道徳的では無いと言えます」
は普通に成り立つと思いますよ。

それが何か?

Web site image
orange (@orange_in_space@mstdn.nere9.help)
00:36:54 @lo48576@mastodon.cardina1.red
2021-02-14 00:36:34 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

カーディナいち、カーディナルだとクソ高いからだっけ

00:37:31 @lo48576@mastodon.cardina1.red
icon

✨プレミアムドメイン✨ だからね…… (申し込んでから「駄目です」と言われた)

00:38:06 @lo48576@mastodon.cardina1.red
2021-02-14 00:35:47 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

これ新しい解釈だ

00:39:04 @lo48576@mastodon.cardina1.red
2021-02-14 00:38:29 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

レジストラは値段と相談でだいたいどこでもいいけどお名前.comだけはやめとけと残しておきます

00:39:05 @lo48576@mastodon.cardina1.red
2021-02-14 00:38:55 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

僕の名前と住所が公開された諸悪の根源ですよ

00:39:12 @lo48576@mastodon.cardina1.red
icon

00:39:19 @lo48576@mastodon.cardina1.red
icon

WhoisGuard の永続性なぁ……

00:39:23 @lo48576@mastodon.cardina1.red
2021-02-14 00:39:16 ほたの投稿 hota@mstdn.maud.io
icon

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

00:39:30 @lo48576@mastodon.cardina1.red
2021-02-14 00:39:25 雪餅の投稿 YUKIMOCHI@toot.yukimochi.jp
icon

お名前.com 安く買ってすぐ移管がよい。(そんな些末な節約をしたところでというのはあるね)

00:40:53 @lo48576@mastodon.cardina1.red
icon

ナメチペはログイン ID を変えられないから気をつけてね (人間にメールしたら変えられるかもしれないが試したことはない)

00:41:08 @lo48576@mastodon.cardina1.red
2021-02-14 00:40:23 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

00:41:08 @lo48576@mastodon.cardina1.red
2021-02-14 00:40:56 ほたの投稿 hota@mstdn.maud.io
icon

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

00:42:29 @lo48576@mastodon.cardina1.red
icon

モニターアーム、ぐわんぐわん揺れたけど特に問題なかったのでよかった (机が木製でディスプレイ3枚付いてるので、むしろ机の天板の強度に心配がある)

00:42:32 @lo48576@mastodon.cardina1.red
2021-02-14 00:41:46 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

メールボックス統合管理できるのにかなり魅力を感じているので僕は当分 NameCheap っすね

00:42:52 @lo48576@mastodon.cardina1.red
2021-02-14 00:42:18 雪餅の投稿 YUKIMOCHI@toot.yukimochi.jp
icon

namecheap の private-email ?

00:42:54 @lo48576@mastodon.cardina1.red
icon

そうなのか (自前メッルサーバ使ってるので気付かなかった)

00:43:34 @lo48576@mastodon.cardina1.red
2021-02-14 00:43:18 sabikinの投稿 sabikin@mstdn.jp
icon

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

00:43:40 @lo48576@mastodon.cardina1.red
00:43:45 @lo48576@mastodon.cardina1.red
icon

い つ も の

00:44:19 @lo48576@mastodon.cardina1.red
2021-02-14 00:39:09 るちか(アーカイブ)の投稿 X@groundpolis.app
icon

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

00:44:30 @lo48576@mastodon.cardina1.red
icon

プログラミングはパズルと工作みたいなもので、理系も文系もクソもない

00:44:59 @lo48576@mastodon.cardina1.red
icon

まあそれを言うたら大概のものは理系も文系もクソもないが (それはそう)

00:45:55 @lo48576@mastodon.cardina1.red
2021-02-14 00:45:17 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

特定の価値観自体が循環になってるでしょ?><
苦痛という未定義のものを『苦痛』と定義し、それに基づいて新たな『道徳』という限られた定義に基づき非道徳的と考えてる><
その『苦痛』の定義の仕方のおかしな点は夕方?に出した論文で指摘されてるけど、結局の所結論を導くために前提である『苦痛』の方をいじってるかも><
結果的に『道徳』という言葉も結論を目標にいじっている言葉なので、一般的な意味での道徳であるかのように扱うのはアレかも><
疑似科学商法が商売のために単語の意味をねじ曲げるやり方><

00:45:58 @lo48576@mastodon.cardina1.red
icon

うーん……?

00:46:39 @lo48576@mastodon.cardina1.red
icon

じゃあ orange 氏が持ち出す『道徳』という言葉は反出生主義の否定のために都合よく “いじられた” ものではないのかと考えると、むしろ私にとってはそちらの方がもっともらしく聞こえてしまうんですが……

00:48:19 @lo48576@mastodon.cardina1.red
icon

そもそも『苦痛』も普遍的にその具体的内容の集合が定義されたものではなく、その内容が個々人の主観により定まるということに合意がとれているはずなのに関わらず、 orange 氏は「特定の (議論において適切な文脈でない) 『誰か』の苦痛」を持ち出しているし、そちらの方が定義を弄っているように見える

00:49:46 @lo48576@mastodon.cardina1.red
icon

包丁で刺されることが苦痛かどうかとか、輸血されることが苦痛かどうかとか、そういう「特定の (論じていない対象の) 『誰か』にとっての苦痛」を都合よく持ち出して「ある人間があり、その人間にとっての苦痛を考える」という前提を壊そうとしている

00:49:50 @lo48576@mastodon.cardina1.red
2021-02-14 00:49:42 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

未定義の言葉として考えればいいと言ってるんだから、そもそも定義して使うのであれば別の新たな言葉を使えばいいし、既存の多義のある言葉を使う必要は無いかも><
もちろん、一般化された文脈であると誤解させる意図なら使う方がうまくいくだろうけど><

00:49:58 @lo48576@mastodon.cardina1.red
icon

だから未定義じゃないと言っているんです

00:50:57 @lo48576@mastodon.cardina1.red
icon

ptr についての理解が一致していて *ptr が文脈によって変わるとき、「ptr は未定義である」と言いますか。言わないでしょう。
「*ptr の具体的な値は (あらゆる環境に共通では) 定まらないから ptr という値を使うな」というのはそれこそ詭弁ですよ

00:51:46 @lo48576@mastodon.cardina1.red
icon

述語論理なぁ

00:52:46 @lo48576@mastodon.cardina1.red
icon

これ、「主観的に特定の性質を持つ概念を示す言葉」が間接的な概念であるという理解を共有できないと永遠に話が進まない気がしている

00:53:49 @lo48576@mastodon.cardina1.red
icon

何が起こる? じゃなくて何が起こるかを言ってほしい

00:54:48 @lo48576@mastodon.cardina1.red
icon

私は、ある言葉が多段階の参照外しを必要とする間接的な語であって、日常生活においては文脈と組み合わせて適宜その参照が外されることで具体化されるという認識をごく自然に受け入れているんですが、そうでない人がいるということですかね

00:55:05 @lo48576@mastodon.cardina1.red
2021-02-14 00:52:55 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

これで、元々の主義の人がこの主義上の苦痛の定義の穴を指摘されたとするじゃん?><
次に何が起こる?><

00:55:10 @lo48576@mastodon.cardina1.red
2021-02-14 00:54:50 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

定義を修正する><

00:57:06 @lo48576@mastodon.cardina1.red
icon

これ具体的にどういう “悪用” を想定しているのかわからないけど、たぶん「ある人にとっての苦痛が別の人にとっての苦痛ではない」とか「誰かにとっての『苦痛』は (∀人間 から、ある人間を特定したときその人にとっての)『苦痛』とは違う」とかそういう系の話だと思うんですが、それは単に自由変数と束縛変数を区別できてないか、使っていない文脈を勝手に持ち出してるだけじゃないですか。
読解力の問題。

01:01:54 @lo48576@mastodon.cardina1.red
icon

私としては「『∃φ. ∃ψ. φ → ψ 』は『[ ∃φ. φ ] → [ ∃ψ. ψ ]』とは違う」くらいのレベルの話をしているつもりで、 φ や ψ の具体的な真理値の割り当てについて論じているつもりはないんですが

01:02:04 @lo48576@mastodon.cardina1.red
2021-02-13 23:58:20 まかなえ1号の投稿 cftrb@mstdn.jp
icon

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

01:02:20 @lo48576@mastodon.cardina1.red
icon

価値観についての考察は大抵そんなもんでしょ

01:03:15 @lo48576@mastodon.cardina1.red
icon

トロッコで人を轢こうが人間を出産することを虐待と考えようが脳以外がロボットになった人を人間扱いしようが、そんなものは「今そこにいるあなた」に経済的/肉体的利益を齎すものではない。それはそう。

01:05:36 @lo48576@mastodon.cardina1.red
icon

我が家にはコンロもガスストーブも懐炉もないので、停電したら熱源がモバブとノート PC しかなくなる

01:06:13 @lo48576@mastodon.cardina1.red
icon

急に危機感湧いてきたわ、ガスコンロを調達してお湯くらい確保できるようになっておかないといけない気がしてきた (今更)

01:06:17 @lo48576@mastodon.cardina1.red
2021-02-14 01:06:04 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

例えばオレンジは道路に関する行政の話をする時に「道路法上の道路」とか、事故調査関連の話の時に「運輸安全委員会設置法上の船舶」みたいな言葉を使ってる><
定義が重要かつ厳密に一般的ではない場面で論ずる場合には誤解を避けるつもりがあるならそう書くべきかも><

01:07:31 @lo48576@mastodon.cardina1.red
icon

mstdn.nere9.help/@orange_in_sp

個人の主観を文脈として組み合わせないと具体的な内容 (『ポインタが指す先の値』や『特定の仮引数に渡された値』) を決められないという話をしているのに、なんで個人の主観が不要な用語を持ってきて「定義が厳密」とか言ってるんですか
そもそも言葉の構造が違うでしょう

Web site image
orange (@orange_in_space@mstdn.nere9.help)
01:08:55 @lo48576@mastodon.cardina1.red
icon

それを言うたら反出生主義だって「子供を誕生させる」に (エッジケースを考えなければ) 個人の価値観を必要とするような用法を使っていないし、 “厳密に定義” された意味で使っているでしょうよ

01:10:27 @lo48576@mastodon.cardina1.red
icon

ここでいうエッジケースというのは「法的に人間と認められないような成長段階で腹から取り出したらどうなるか」とか「特定の補填不可能な臓器が欠けているなどでで単体として生存できないことが確信されている個体は『誕生』しているのか」とか、まあそういう辺りの話です (大事ではあるがひとまず今の文脈では考えないことにしてよい)

01:11:01 @lo48576@mastodon.cardina1.red
icon

これ以上離しても噛み合わないであろう確信がかなり強くなってきた

01:14:10 @lo48576@mastodon.cardina1.red
icon

mastodon.cardina1.red/@lo48576

これは本当に決定打で、「具体的な内容を詳細に決定するために必要な文脈が保留された語が存在するが、その保留を考慮したうえでのパラメータ未決定の式について合意がある」という話に対して「具体的な内容を詳細に決定するために文脈を必要としない語」を持ち出してきたの、全く話が通じてないし、私にはこれ以上わかりやすく説明できません……

Web site image
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
01:20:57 @lo48576@mastodon.cardina1.red
2021-02-14 01:20:37 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

道路がなにかとか船舶がなにかももやっとした合意のようなものがあるだけで、各法律ごとに定義はバラバラだし、それどころか船舶に至っては、船舶法には船舶の定義がない><(船舶法は超古い法律なので><)

01:24:31 @lo48576@mastodon.cardina1.red
icon

その例でいくなら、反出生主義は (あるいはそれに限らず普遍の真理以外について語る一般の文章は
「あらゆる文脈における『道路』についても次のようなことが言える: {{ここに何かしらの文脈を仮引数として受け取ったときの『道路』についての言説を書く}}」
のような論理構造を持っているわけであって、「でも私は『道路』について語るとき『道路法上の道路』とはっきり言います!」と言うのはナンセンスです。
なぜなら「何かしらの文脈を仮引数として受け取ったときの『道路』」と「道路法上の道路」は同値ではないんだから

01:25:40 @lo48576@mastodon.cardina1.red
icon

「ここに何かしらの文脈を仮引数として受け取ったときの」という文脈を無視するからおかしく見えるだけで、論理構造としても文章としても、何もおかしなことはない

01:26:33 @lo48576@mastodon.cardina1.red
icon

で、大抵の場合は {{ ... }} の部分の言説は「受け取った文脈が○○な特徴を持っているとき××である」という形で、適用する対象を制限したりする構造になるわけです

01:28:51 @lo48576@mastodon.cardina1.red
icon

「∀φ. ∀ψ. φ → φ∧ψ」は「あらゆる φ と ψ に対して、『φであるとき、φ∧ψがいえる』」と言っているのであって、ここに「φやψはいろいろな値を取りうるからおかしい!」みたいな文句を言うのは根本的に「読めていない」わけですよ。
あるいは「φ が未定義だ!」とか。

01:29:04 @lo48576@mastodon.cardina1.red
2021-02-14 01:28:04 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

オレンジが引っ張ってきた論文によるとそもそも成り立たないというか限定的な状況でしか成り立たないかもってなってるじゃん?><

01:30:27 @lo48576@mastodon.cardina1.red
2021-02-14 01:30:11 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

その限定的な価値観と一致する場合にはって話に、その限定的な価値観が含まれてなかったら成り立たないじゃん?><

01:31:13 @lo48576@mastodon.cardina1.red
icon

mastodon.cardina1.red/@lo48576

∀φ. ∀ψ. φ → φ∧ψ の喩えで続けるんですが、これが主張しているのはあくまで「『∀φ. ∀ψ. φ → φ∧ψ』」なのであって、
「φであるとは誰も言ってない」
「普遍的に φ∧ψ であるとは誰も言ってない」
なんですよ。

orange 氏が言っているのは「すべての φ と ψ についてと言ったのに、『すべてのφとψについてφ∧ψが成り立っているわけではない』じゃん!」に聞こえます。
そんなことは最初から誰も言ってない

Web site image
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
01:32:18 @lo48576@mastodon.cardina1.red
icon

例が良くなかったな。訂正するか。

01:37:22 @lo48576@mastodon.cardina1.red
icon

φ: なんらかの価値観 (を突っ込める変数)
F(a): 価値観aが特定の性質を持つ
G(a): 価値観aのもとで特定の行動は不道徳である

としましょう。

単純化すると反出生主義は「∀φ. F(φ)→G(φ)」という構造をしていると考えてよいでしょう。
で、私は「あなたの価値観 b で F(b) がいえないなら G(b) も同様にいえないよね、でも『∀φ. F(φ)→G(φ)』自体は恒真だよね」と主張している。

01:38:52 @lo48576@mastodon.cardina1.red
icon

で、 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
icon

あるいは『定義』の話をするなら、辞書的に F は φ に依存する形の F(φ) で定義されているのに、「F(d) と F(e) が違うじゃないか! F については合意がとれていないし F は未定義なんだから、好きに歪めて使えるじゃないか!」と主張されているように読める。

でも、 F はちゃんと (F(φ) の形で) 『定義』されているから『未定義』ではないし、そもそも反出生主義では ∀φ. F(φ) → G(φ) の話をしているのであって、 F(d) と F(e) が同じだろうが違おうがその論理的な妥当性に何の影響もない。

01:42:31 @lo48576@mastodon.cardina1.red
icon

個々人の持つ別々の命題を代入したときに同値にならないからといって「合意がとれていない、よって未定義」ってそりゃないでしょう。
パラメータという概念を認識できていないとしか思えない。
まるで述語論理でなく命題論理しか受け入れていないような感じがする。

01:44:50 @lo48576@mastodon.cardina1.red
icon

まあ自然言語で 『(φが束縛されているときの) F(φ)』と『(φが自由なときの) F(φ)』の区別ができないのは厄介なことだとは思うけど、それは “普通に” 論理式を書いていても同じ問題はあるので、やっぱり論理の構造をちゃんと読み取って読解してもらうしかないですね

01:45:24 @lo48576@mastodon.cardina1.red
icon

このしかたなさを「騙そうとしている」と言われても……じゃあ de Bruijn index みたいな記法でも導入してみます?
厳密にはなるだろうけどなおさら通じなくなると思う

01:46:13 @lo48576@mastodon.cardina1.red
icon

mathtod.online/@cmplstofB/1057

MOSバーガーを食いすぎてでっぷり太った MOSFAT を思い浮かべた

01:48:07 @lo48576@mastodon.cardina1.red
icon

電界効果トランジスタグラマー (体の前後には起伏がなく、足は細いが上半身は横に広い)

01:49:20 @lo48576@mastodon.cardina1.red
icon

よく考えてほしいんですが、「トランジスタグラマー」ってたぶん皆さん標準的なバイポーラトランジスタを思い浮かべると思うんですが、脚が3本ありますよね。
で、真ん中の3本目の脚が付いている人間とはつまり……

01:52:02 @lo48576@mastodon.cardina1.red
icon

トランジスタグラマーの意味がわかるやつオタクか老人か両方

01:53:16 @lo48576@mastodon.cardina1.red
2021-02-14 01:51:35 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

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

01:53:23 @lo48576@mastodon.cardina1.red
2021-02-14 01:52:35 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

トランジスタグラマーがなぜ半導体素子のトランジスタを冠するかというとたしか小さいのにすごいみたいなニュアンスだったと記憶しています

01:54:06 @lo48576@mastodon.cardina1.red
icon

ダーリントントランジスタで脚が3本あるトランジスタがアッしている図を想像した人には100ポイントさしあげます (?)

01:54:47 @lo48576@mastodon.cardina1.red
icon

これは大嘘で、ダーリントントランジスタはそれ自体がパッケージングされているのでそんな構造は見えない

01:54:58 @lo48576@mastodon.cardina1.red
2021-02-14 01:54:42 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

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

01:55:03 @lo48576@mastodon.cardina1.red
2021-02-14 01:53:50 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

今なら SoC グラマーとかになるんですかね

01:56:19 @lo48576@mastodon.cardina1.red
2021-02-14 01:54:58 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

スーパーヘテロダイン方式のラジオ、人生で一度は作ってみたいけど年を経るごとにパーツの入手性がどんどん下がっていくんだよな……

01:56:22 @lo48576@mastodon.cardina1.red
2021-02-14 01:55:52 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

増幅してみてほしいの〜〜
(おねがいダーリントン)

01:57:18 @lo48576@mastodon.cardina1.red
icon

FMラジオとかをディスクリートの基本的な素子だけで作ってみたい気持ちは確かにあったんだけど、 MHz 級の高周波は普通に無理だしこりゃ無理だわとなって夢から覚めるのよね……

01:57:57 @lo48576@mastodon.cardina1.red
icon

普通の発振器で作れないような周波数どうやって出すんだろうと思ったら、 PLL とかいう摩訶不思議なメカニズムを紹介されたりね……

01:58:14 @lo48576@mastodon.cardina1.red
2021-02-14 01:57:52 酸性雨の投稿 acid_rain@amefur.asia
icon

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

01:58:41 @lo48576@mastodon.cardina1.red
icon

IC 使わない FM ラジオ系キット、聞いたことがないんだよなぁ (聞いたことないだけで存在するのかもしれないけど……)

01:58:52 @lo48576@mastodon.cardina1.red
2021-02-14 01:55:17 酸性雨の投稿 acid_rain@amefur.asia
icon

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

01:58:54 @lo48576@mastodon.cardina1.red
2021-02-14 01:57:00 酸性雨の投稿 acid_rain@amefur.asia
icon

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

01:58:58 @lo48576@mastodon.cardina1.red
2021-02-14 01:58:32 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

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

01:59:48 @lo48576@mastodon.cardina1.red
icon

twitter.com/lo48576nsfw/status

 ___
/     \
├───┤
│ 'ω' │
│   │
└┬┬┬┘
 │││
 │││

> トランジスタグラマー<

02:00:07 @lo48576@mastodon.cardina1.red
icon

twitter.com/lo48576nsfw/status
┌───┐
│ 'ω' │
│   │
└┬┬┬┘
 │││
 │││

FET グラマー

02:00:44 @lo48576@mastodon.cardina1.red
icon

「ダイナマイトボディ」が「トランジスタグラマー」になったと思えば、これでも数世紀ぶんは文明が進んでるんだよな (?)

02:01:22 @lo48576@mastodon.cardina1.red
02:02:55 @lo48576@mastodon.cardina1.red
2021-02-14 02:02:31 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:03:13 @lo48576@mastodon.cardina1.red
icon

ダイナマイトボディのダイナマイトは、ビキニ (水着) のビキニと同じようなニュアンスですね

02:04:16 @lo48576@mastodon.cardina1.red
icon

電子ブロック、拡張キットで FM ラジオ作れそうな感じの情報はあった (未精査) けど、そういうのなしでは AM しか作れない (トランジスタでの増幅とかはできる)

02:04:26 @lo48576@mastodon.cardina1.red
2021-02-14 02:04:12 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:04:55 @lo48576@mastodon.cardina1.red
icon

や、「ビキニ岩礁での原爆実験のように衝撃的」なので形ではなく衝撃の話です

02:05:29 @lo48576@mastodon.cardina1.red
icon

キノコ雲ボディ、肩と腕ばかり鍛えすぎでは (?)

02:06:04 @lo48576@mastodon.cardina1.red
icon

なんだっけ、チキンレッグだっけ

02:06:45 @lo48576@mastodon.cardina1.red
icon

チキンレッグになりやすい3つの筋トレ方法【他の部位と同様に刺激すべし】 | FITNESS-FREAK
muscular.site/chicken-leg/

Web site image
チキンレッグ解消に向けた筋トレ3選【細い脚のままで良いですか?】
02:08:08 @lo48576@mastodon.cardina1.red
icon

次世代の “トランジスタグラマー” 相当の表現を考える会 (?)

02:08:55 @lo48576@mastodon.cardina1.red
icon

そもそも真空管は弾道計算に使われていたからな……

02:10:44 @lo48576@mastodon.cardina1.red
icon

まあコンピュータの需要がなかったとしてトランジスタの発明が大きく遅れたかは、私にはわからない (トランジスタの歴史に詳しくないので) (半導体は鉱石ラジオ系の系譜だから結局関係なしに進歩しそう?)

02:10:50 @lo48576@mastodon.cardina1.red
2021-02-14 02:10:01 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:10:51 @lo48576@mastodon.cardina1.red
2021-02-14 02:10:11 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

水銀遅延女

02:11:16 @lo48576@mastodon.cardina1.red
icon

水銀遅延女、逆に気になるな (?)

02:11:30 @lo48576@mastodon.cardina1.red
icon

話を途中でやめられなそうだし同じこと何度でも喋ってそう (??)

02:11:38 @lo48576@mastodon.cardina1.red
2021-02-14 02:11:01 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

オペアンプがアナログコンピューター用途として本格的に研究されていた時代に思いを馳せております

02:12:03 @lo48576@mastodon.cardina1.red
icon

IoT グラマー、グラマー要素皆無でワロてる

02:12:22 @lo48576@mastodon.cardina1.red
icon

体型無関係やんけ!

02:14:39 @lo48576@mastodon.cardina1.red
2021-02-14 02:13:05 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

コアダンプのコアは磁気コアのコア
バブルシステムバブルは磁気バブルのバブル

02:16:26 @lo48576@mastodon.cardina1.red
2021-02-14 02:13:11 nukosuの投稿 nukosu@pao.moe
icon

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

02:17:41 @lo48576@mastodon.cardina1.red
2021-02-14 02:15:11 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:18:03 @lo48576@mastodon.cardina1.red
2021-02-14 02:17:53 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

バブルシステムも一度は見てみたいが磁気バブルメモリの状態で現存してる個体がいくつあるのか……

02:20:01 @lo48576@mastodon.cardina1.red
2021-02-14 02:19:27 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:20:33 @lo48576@mastodon.cardina1.red
icon

ピロピロしてそう (???)

02:21:43 @lo48576@mastodon.cardina1.red
2021-02-14 02:21:18 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:30:40 @lo48576@mastodon.cardina1.red
2021-02-14 02:27:36 ギロロの投稿 otakuman@fedibird.com
icon

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

02:30:45 @lo48576@mastodon.cardina1.red
2021-02-14 02:21:44 nukosuの投稿 nukosu@pao.moe
icon

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

02:30:46 @lo48576@mastodon.cardina1.red
2021-02-14 02:22:07 nukosuの投稿 nukosu@pao.moe
icon

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

02:31:14 @lo48576@mastodon.cardina1.red
icon

トイレかどこかに置くタイプの芳香剤の画像かと思ったら真っ当な薬っぽかった、なんとなく残念な気持ちになった (?)

02:31:29 @lo48576@mastodon.cardina1.red
icon

ここはラベンダーの香りのする何かみたいなものを期待していた (???)

02:31:37 @lo48576@mastodon.cardina1.red
2021-02-14 02:31:21 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:32:28 @lo48576@mastodon.cardina1.red
icon

小児喘息は自然に治る (ことが多い) みたいな話は聞く、実際どうなのかは何も知らんが

02:33:09 @lo48576@mastodon.cardina1.red
2021-02-14 02:31:57 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:33:10 @lo48576@mastodon.cardina1.red
2021-02-14 02:33:03 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:33:16 @lo48576@mastodon.cardina1.red
icon

02:33:36 @lo48576@mastodon.cardina1.red
icon

喘息は記憶がないのでよくわからん、たぶんかかったことないんだと思う

02:34:21 @lo48576@mastodon.cardina1.red
icon

子供時代は卵アレルギーあったらしいけど、これは自然に治ったっぽい。
私自身には記憶がないんだけど、まあ発症しないように卵避けてたなら記憶はなくて当然だわな

02:35:08 @lo48576@mastodon.cardina1.red
icon

あるいは乳幼児の時期の話だから記憶にないだけかもしれないが。
いずれにせよ記憶がないのでわからん。

02:35:22 @lo48576@mastodon.cardina1.red
2021-02-14 02:33:33 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:35:25 @lo48576@mastodon.cardina1.red
2021-02-14 02:32:45 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:35:27 @lo48576@mastodon.cardina1.red
2021-02-14 02:33:22 nukosuの投稿 nukosu@pao.moe
icon

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

02:35:30 @lo48576@mastodon.cardina1.red
2021-02-14 02:35:04 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:36:04 @lo48576@mastodon.cardina1.red
icon

あーそういえばアトピー性皮膚炎あったなぁ

02:39:57 @lo48576@mastodon.cardina1.red
2021-02-14 02:39:40 skiaphorusの投稿 skia@mstdn.poyo.me
icon

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

02:40:14 @lo48576@mastodon.cardina1.red
icon

あのつらさはわかる、とはいえもう記憶もかなり薄れてきたが

02:40:47 @lo48576@mastodon.cardina1.red
icon

身体が鈍くなることを喜んでいたら、今度は身体が鈍くなることを嘆く年齢になってしまった (?)

02:40:59 @lo48576@mastodon.cardina1.red
icon

ままならんなぁ

02:42:24 @lo48576@mastodon.cardina1.red
icon

アレルギーじゃないけど、昔レストランでイカリングのスパゲティを食べてイカリングを喉に詰まらせて嘔吐したことがあって、しばらく (数年) イカが食えなかった

02:44:26 @lo48576@mastodon.cardina1.red
2021-02-14 02:43:49 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:44:58 @lo48576@mastodon.cardina1.red
icon

そういえば私も動物の毛が駄目なんですよね、大変な鼻詰まりと鼻水が発生する
あれもちゃんと診断受けてないからわからないだけでアレルギーなのかな (まあそうなんだろうな)

02:45:53 @lo48576@mastodon.cardina1.red
2021-02-14 02:45:44 skiaphorusの投稿 skia@mstdn.poyo.me
icon

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

02:46:03 @lo48576@mastodon.cardina1.red
icon

まあ経験的にわかっていることは避けるようにしていますね

02:46:27 @lo48576@mastodon.cardina1.red
icon

他には「旅館などの畳の部屋」も駄目なんですよね、あれはハウスダストなのか他の何かなのかわからないけど再現性がある

02:46:37 @lo48576@mastodon.cardina1.red
2021-02-14 02:46:33 skiaphorusの投稿 skia@mstdn.poyo.me
icon

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

02:46:40 @lo48576@mastodon.cardina1.red
2021-02-14 02:45:50 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:47:02 @lo48576@mastodon.cardina1.red
icon

そのうちちゃんとした検査受けたいね…… (といって数年放置するルートが見える)

02:47:39 @lo48576@mastodon.cardina1.red
icon

ところでこの時間まで風呂にも入ってないくせに午前起床のつもりとかマジ!?

02:50:15 @lo48576@mastodon.cardina1.red
icon

「植物は痛みを感じず意識もないから殺してもいい」という価値観のどこが合理的でないのか理解できない

02:50:28 @lo48576@mastodon.cardina1.red
icon

時間がないので掘り下げるつもりはないけど……

02:51:59 @lo48576@mastodon.cardina1.red
icon

べつに植物の中で刺激に反応して起きる化学現象を「痛み」などと呼んでもいいけど (そのような人々も実際いる)、そのように考える人がどのような化学現象からを「痛み」と認定しなくなるのかは興味がある (べつにこれは皮肉などではない)

02:54:23 @lo48576@mastodon.cardina1.red
icon

人間やその思考について「興味がある」と表現するとき、大抵は「どのように一貫性を保っているのかメンタルモデルを把握したい」の意であって、主張の内容への賛同や共感があるわけでもないしそれが欲しいわけでもない、本当に単なる観察対象としての「興味がある」なんだよな

02:54:53 @lo48576@mastodon.cardina1.red
icon

興味がある対象はシステムであって人間でも精神でもない

02:55:34 @lo48576@mastodon.cardina1.red
2021-02-14 02:53:01 酸性雨の投稿 acid_rain@amefur.asia
icon

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

02:55:41 @lo48576@mastodon.cardina1.red
icon

ヒキコモリであるとはどのようなことか

02:55:44 @lo48576@mastodon.cardina1.red
icon

02:57:06 @lo48576@mastodon.cardina1.red
2021-02-14 02:56:56 skiaphorusの投稿 skia@mstdn.poyo.me
icon

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

02:58:39 @lo48576@mastodon.cardina1.red
2021-02-13 20:43:08 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

2015.11.10 人間はロボットの「痛み」を理解できる:日本の研究結果 | WIRED.jp wired.jp/2015/11/10/humans-emp

Web site image
人間はロボットの「痛み」を理解できる:日本の研究結果
02:59:13 @lo48576@mastodon.cardina1.red
icon

これはむしろ「ヒトに似せたときヒトであるかのように共感できる」という話だと思うし、「どこまでヒトやそのメカニズムから離れたところまでを『痛み』とするのか」とは別の話ですね

02:59:59 @lo48576@mastodon.cardina1.red
icon

たとえばツェナーダイオードに逆向きに一定以上の電圧をかけると物理学的な現象として電流が流れ始めるが、これはダイオードが『痛がっている』ように見えるのか?

03:00:31 @lo48576@mastodon.cardina1.red
icon

あるいは水晶に圧力をかけると発振するが、この発振は水晶の『悲鳴』に聞こえるか?

03:01:36 @lo48576@mastodon.cardina1.red
icon

少なくとも現状の生物的ありかたとして十分な知能や感覚を持つように見えない植物について「痛み」を持つとするのであれば、その腕に時計を付けることはなぜ正当化されているのか?

03:02:25 @lo48576@mastodon.cardina1.red
icon

それとも、いわゆる生物としての特性を一通り備えていることが条件に含まれるのだろうか?
だとすればヒト型ロボットはその範疇に含まれないが

03:02:40 @lo48576@mastodon.cardina1.red
2021-02-14 03:01:14 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

これは研究として規模が小さすぎるからあれだけど、このロボットの話を思い出したのはNHKコズミックフロント(天文関連番組)で、反応が無くなった火星探査機を最終的に諦め停止コマンドを送った時に管制室に居た天文学者等の関係者が皆泣いていたという話から><

03:02:59 @lo48576@mastodon.cardina1.red
icon

それはどちらかというと愛着と擬人化の方面な気がする

03:03:48 @lo48576@mastodon.cardina1.red
icon

擬人化というか、擬感覚者化? なんと言えばいいかわからんが

03:06:12 @lo48576@mastodon.cardina1.red
icon

いやべつに「『痛み』の何たるかはどうでもよくて『可哀想だと思ったから駄目』」でもいいし尊重はしますよ。
その場合、植物を “殺す” ことに何も感じない人々を「偏っている」だの「合理的でない」だのと形容するのは意味不明な罵倒ということになるけど

03:06:45 @lo48576@mastodon.cardina1.red
icon

個人的には「かわいそうだから私は避けます」と言われたほうが、一貫性がないのにあるかのように説明されるよりはよほど素直に納得できるわね

03:10:34 @lo48576@mastodon.cardina1.red
2021-02-14 03:08:49 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

オレンジ的には、人間の感覚上、意思があるものと見なせる他色々な理由により共感できる対象(愛着を持てる対象とも言えるかも?)に対して共感しているだけであって、痛覚どうたらこうたらが実際にあるかは後付けであり関係ない><
って発想><
どこかの知らない痛覚をもつ生物の個体が痛覚に刺激が与えられる状況なんて知ったこっちゃないけど、お気に入りの飛行機(個体)がスクラップになるのはかわいそうで涙が出る><

03:13:57 @lo48576@mastodon.cardina1.red
icon

単に競合する複数のミクロな評価関数があってそれらを総合的にまとめたマクロな評価関数がある、という単純なモデルで考えるなら、「どのミクロな評価関数が結果に出ているように見えるかが安定しない」というのは単に文脈という暗黙のパラメータを無視しているからというだけの話であって、一貫性を求めることでその文脈と「最も影響力の大きい評価関数と、影響力が大きくなる条件」を意識することができるなら十分に有意義だと思う

03:14:55 @lo48576@mastodon.cardina1.red
icon

むろんそれが見かけ上のもので真の “通状況的一貫性” でないというのはその通りだけど、段階的であれ一般化を行う過程は有意義で興味深いものだと考えているので

03:15:56 @lo48576@mastodon.cardina1.red
icon

たとえば最終的に「人生の9割9分、重大な場面でぜんぶ一貫した説明ができる行動をとった」といえれば、おおよそ “実用上” 十分に一般化されたひとつのモデルを作れたといえそうだし

03:17:02 @lo48576@mastodon.cardina1.red
icon

まあそれを敢えて破綻させて異常行動を発生させることで喜びを見出すサイコパスみたいな人々もいるけど (曰く「人間は酔った時に本性が出る」「人間は生命の危機に晒されたとき本性が出る」)

03:18:24 @lo48576@mastodon.cardina1.red
icon

異常者なので特定の状況で特定の動物がミンチになることを単に迷惑にしか思わないんだけど、具体的に言うと間違いなく反感を買うので言わんとくだけの社会性は残っている

03:19:11 @lo48576@mastodon.cardina1.red
icon

まあ可哀想のボーダーが違う人々が殴り合う SATUBATU 世界で生きていきましょうね、多様性だよ

03:42:59 @lo48576@mastodon.cardina1.red
icon

ところでいきなり何も関係ないことを言うんですが

03:44:08 @lo48576@mastodon.cardina1.red
icon

「数学的帰納法が帰納法ではない」というネタを稀に見るけど、普通に数学的帰納法は自然数の構造に関する帰納法なので帰納法です
あれ言ってる人がネタで言ってるのかマジで言ってるのかちゃんと確認したほうがいい

03:44:37 @lo48576@mastodon.cardina1.red
icon

整礎帰納法ちゃんマジ整礎

03:46:00 @lo48576@mastodon.cardina1.red
icon

まあ自然数を 0 と Succ (あるいは後続数を作るコンストラクタ)で定義したりみたいなことを考えない高校生までならそう思うのもわかる

03:46:44 @lo48576@mastodon.cardina1.red
icon

ギットモだょ❤️

03:49:38 @lo48576@mastodon.cardina1.red
icon

ところで Wikipedia 見てみたら帰納法ではない(要出典) みたいに書かれててワロてる、いろいろなところにバトルがあるなぁ

03:53:13 @lo48576@mastodon.cardina1.red
icon

いわゆる弁論やらビジネスの界隈での「帰納法」が数学と別用語なのでそこで混同されてるのかね。
「数学::帰納法 が 弁論::帰納法 でない」は正しいが、「数学::数学的帰納法 は 数学::帰納法 である」もまた正しい

03:53:22 @lo48576@mastodon.cardina1.red
2021-02-14 03:52:26 B̅の投稿 cmplstofB@mathtod.online
icon

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

03:54:47 @lo48576@mastodon.cardina1.red
icon

あと他にもアレなのが、普通に「数学的帰納法」が 数学::帰納法 のサブセットに過ぎないところよね。
数学的帰納法に含まれずかつ 数学::帰納法 であるような論法が存在する

03:56:28 @lo48576@mastodon.cardina1.red
2021-02-14 03:55:07 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

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

03:57:05 @lo48576@mastodon.cardina1.red
icon

弁論系の用語、遡ると古代の哲学あたりがルーツだったりするので、むしろ数学が後発の可能性も結構ある

03:57:50 @lo48576@mastodon.cardina1.red
icon

まあいずれにせよ専門用語を一般の言葉や別の界隈の用語と混同するなというだけの話ではあるが……

03:58:01 @lo48576@mastodon.cardina1.red
2021-02-14 03:56:32 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

ビジネス界隈に流出した専門的用語、信用できる専門家間の閉じられた議論以外では常に間違えられると思ったほうがいいみたいなのあるよね

03:58:36 @lo48576@mastodon.cardina1.red
icon

clubhouse::量子力学 であるところの †量子力学† は……

03:59:15 @lo48576@mastodon.cardina1.red
icon

†不確定性原理†
†不完全性定理†

04:03:36 @lo48576@mastodon.cardina1.red
icon

twitter.com/lo48576/status/136

急に自宅のガス栓への強い共感が芽生えた (???)

04:05:25 @lo48576@mastodon.cardina1.red
2021-02-14 04:01:52 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

04:05:26 @lo48576@mastodon.cardina1.red
2021-02-14 04:02:19 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

04:05:26 @lo48576@mastodon.cardina1.red
2021-02-14 04:02:32 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

まあ芝生だし

04:05:28 @lo48576@mastodon.cardina1.red
2021-02-14 04:02:50 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

04:05:29 @lo48576@mastodon.cardina1.red
2021-02-14 04:03:02 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

..................

04:05:43 @lo48576@mastodon.cardina1.red
icon

刈られてて草

04:05:55 @lo48576@mastodon.cardina1.red
2021-02-14 04:05:08 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

いまHTLではかられたり焼かれたりしています

04:05:56 @lo48576@mastodon.cardina1.red
2021-02-14 04:05:13 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

あんまりだ

04:06:19 @lo48576@mastodon.cardina1.red
2021-02-14 04:06:02 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

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

04:06:35 @lo48576@mastodon.cardina1.red
icon

そう、蛇口からお湯を出すのはガス

04:10:02 @lo48576@mastodon.cardina1.red
icon

そういえばガスと草で思い出したけど、なんで希ガスって貴ガスに改名されたんだっけ。大気中にアルゴンが0.93%もあるから?

04:12:19 @lo48576@mastodon.cardina1.red
2021-02-14 04:11:45 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

04:14:18 @lo48576@mastodon.cardina1.red
icon

だいたい合ってた。あとは宇宙規模ではヘリウム断トツに多いやんけというのもあるっぽい

04:15:30 @lo48576@mastodon.cardina1.red
icon

アルゴンが大気中に0.93%とかいう知識、今までの人生で一度として役に立ったことがないんだけど、なぜか正確に思い出せるんだよなぁ……

04:16:40 @lo48576@mastodon.cardina1.red
icon

植物食系男子、一気に「違うそうじゃない」感が出てきて笑ってしまうな

04:18:26 @lo48576@mastodon.cardina1.red
2021-02-14 04:18:20 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

ハッピーな植物を食べる系の男子は?

04:18:35 @lo48576@mastodon.cardina1.red
2021-02-14 04:18:21 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

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

04:18:59 @lo48576@mastodon.cardina1.red
icon

お前らオタクは子供がいないから若者と接する機会がないだけだろ (ブーメラン)

04:19:51 @lo48576@mastodon.cardina1.red
icon

「ブーメランはマトモな狩りの道具なんだから、理不尽に使用者の頭に突き刺さる凶器みたいな言い方をするのをやめろ」みたいな話があったなぁ (あったというか、ある)

04:20:13 @lo48576@mastodon.cardina1.red
2021-02-14 04:18:43 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

04:20:43 @lo48576@mastodon.cardina1.red
2021-02-14 04:19:49 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

葉っぱ隊このコンテキストだとやばすぎるな

04:22:00 @lo48576@mastodon.cardina1.red
icon

日頃からブーメランの素振り練習をしている (?)

04:22:08 @lo48576@mastodon.cardina1.red
2021-02-14 04:19:28 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

04:25:10 @lo48576@mastodon.cardina1.red
2021-02-14 04:23:35 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

この文脈のブーメランって「ブーメランを投げて返ってきて後頭部につきささった」の略だよね><
それをブーメランって略したらブーメランの風評がもわからなくもないけど略さない意味としては問題ないかも感><

04:25:46 @lo48576@mastodon.cardina1.red
icon

むしろ既に独立した (原義と異なる) 用法を獲得していると捉えるべきでは。
原義としてはそうなんだろうけど。

04:26:54 @lo48576@mastodon.cardina1.red
icon

言論が本人に刺さること自体でなく、刺さる言論そのものを「ブーメラン」と呼ぶ用法がよく見られるので

04:27:12 @lo48576@mastodon.cardina1.red
icon

品詞が変わってるということ

04:29:12 @lo48576@mastodon.cardina1.red
icon

/dev/neru

19:22:29 @lo48576@mastodon.cardina1.red
icon

元所属サークルのサーバを再起動したらすべてのコンテナがインターネットから繋がらなくなって今大変なことになってる
たぶん最後に弄った人がネットワーク関係を永続化せずにいたっぽい

19:23:03 @lo48576@mastodon.cardina1.red
icon

docker network create で internal 指定なしで作ったブリッジのはずなんだけど、なんでインタネッツ繋がらないの……

20:10:51 @lo48576@mastodon.cardina1.red
icon

数が多ければいいというものでないのは間違いないし、それは他ならぬ Twitter が身を以て証明している

20:12:35 @lo48576@mastodon.cardina1.red
icon

皮肉はそもそも建設的な対話を目標としていないことが多いだろうし、「ストレートな批判のほうがよい」というのは (建設的な対話をよしとする立場で見れば) そうだろうけど文脈が合ってないと思う

20:15:36 @lo48576@mastodon.cardina1.red
icon

皮肉はそもそも笑うためのものではという気持ちがあるので、笑うつもりのないところで使うのは最初から論外だし、そんな妙な用法を取り沙汰して皮肉について一般論を言われても……という感じはある

20:16:33 @lo48576@mastodon.cardina1.red
icon

皮肉で笑われて腹が立ったという話はごもっともだが、それ皮肉でない言い方されても怒ってる可能性それなりにあるし、まあハイ

20:16:58 @lo48576@mastodon.cardina1.red
icon

まあ結局内輪でやれという話になるな (それはそう)

20:17:30 @lo48576@mastodon.cardina1.red
2021-02-14 20:14:45 Satoshi Kojima (小嶋智)の投稿 skoji@sandbox.skoji.jp
icon

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

20:17:36 @lo48576@mastodon.cardina1.red
icon

いい話だ

20:18:03 @lo48576@mastodon.cardina1.red
icon

そうだった、皮肉は明示しないと危険なのだったな

†いい話† だ

20:18:57 @lo48576@mastodon.cardina1.red
2021-02-14 20:18:34 Satoshi Kojima (小嶋智)の投稿 skoji@sandbox.skoji.jp
icon

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

20:19:08 @lo48576@mastodon.cardina1.red
icon

そしてそこから転じて皮肉にも。

20:19:19 @lo48576@mastodon.cardina1.red
icon

“古き良きC言語”

20:26:46 @lo48576@mastodon.cardina1.red
2021-02-14 20:25:27 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

皮肉の意味、なんか違う感><

皮肉(ひにく)の意味 - goo国語辞書 dictionary.goo.ne.jp/word/%E7%

"3 遠まわしに意地悪く相手を非難すること。また、そのさま。当てこすり。「辛辣 (しんらつ) な皮肉を言う」「皮肉な口調」

4 期待していたのとは違った結果になること。また、そのさま。「皮肉なめぐりあわせ」"

オレンジ的には皮肉って単語見るとこれの3と4の合わせ技を思い浮かべるかも><

Web site image
皮肉(ひにく)の意味 - goo国語辞書
20:27:51 @lo48576@mastodon.cardina1.red
icon

「遠まわしに意地悪く相手を非難すること」の意味で、もちろん直接に相手を批難する用法もあるだろうけど、「内輪で」こういうことをするとき大抵第三者を批難するものになっていて、本人不在の状況で敢えて遠回しに言うのはおもしろさのためではという一般的な想定がある

20:29:39 @lo48576@mastodon.cardina1.red
icon

「スクリプト言語がメモリ8GBも使ってやがる」とか言っても「かわいそうに」としかならないが、「スクリプト言語のおかげで生まれて始めてメモリ8GBをフル活用できた」と言えば面白さも出てくるってもんでしょう (いやこれを面白いと感じるかは聞き手の感性次第だが)

少なくとも直接嫌なことを表現するよりはよほど「面白く」なる

20:31:07 @lo48576@mastodon.cardina1.red
icon

いやべつに冗談によるコミュニケーションの一環として聞き手について皮肉でチクッと刺すやりかたもあると思いますよ。それは辞書的な記述そのままの話なのでわざわざ挙げるまでもないだろうけど

20:34:17 @lo48576@mastodon.cardina1.red
2021-02-14 20:29:08 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

皮肉って単語、つまり議論をうまく持ってって、相手の批難先を相手自身にして(というか自身を攻撃してるということに気づかせて)自爆させるみたいな事に対しても、皮肉って言うのかと思ってた><
今朝話題になったブーメランみたいな><

20:34:38 @lo48576@mastodon.cardina1.red
2021-02-11 22:39:34 こぶだしの投稿 kobudashi334@pawoo.net
icon

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

20:35:51 @lo48576@mastodon.cardina1.red
2021-02-14 20:34:04 🖕の投稿 mimorinka@fedibird.com
icon

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

21:31:14 @lo48576@mastodon.cardina1.red
2021-02-14 21:21:38 mzpの投稿 mzp@mstdn.nere9.help
icon

2000年ごろの文化、、エロゲーのインディーズ移植の話がめっちゃ好き。こういうの blog.gameboymania.com/2014/03/

21:31:41 @lo48576@mastodon.cardina1.red
2021-02-14 21:21:00 もぐのの投稿 moguno@social.mikutter.hachune.net
icon

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

21:35:26 @lo48576@mastodon.cardina1.red
2021-02-14 21:35:12 もぐのの投稿 moguno@social.mikutter.hachune.net
icon

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

21:36:22 @lo48576@mastodon.cardina1.red
icon

デビット基本的に使いすぎる心配がないので良いのですが、一部サイトや海外通販においては円相場によっては決済の数日後とかに謎の調整で数円や数十円のよくわからん決済が発生したりするので、家計簿は書きづらくなるかもしれない

22:05:24 @lo48576@mastodon.cardina1.red
icon

Kyash でちょくちょく決済失敗するのよね (そんで数分後くらいに「これお前か?」と連絡がくる)