avatar

ayu_mushi ayu_mushi@mstdn.jp

形状記憶合金、形状伝播合金

avatar

ayu_mushi ayu_mushi@mstdn.jp

複数のjpegをpdfにしようとして、ImageMagickを使うといいと書いてあったので使ったらエラーで内容も意味不明(というかtoo many exceptionsと出る)、色々やったけど、ImageMagickやめてこれでやってみたらできたので一見落着だった→ "複数のjpegファイルを結合しpdfファイルを作成する for 書籍スキャン" oasis.halfmoon.jp/mw/index.php

avatar

ayu_mushi ayu_mushi@mstdn.jp

「Xとは何か」というのは、(Xを知らない人でも分かるような)Xの言い換えを求めている場合もあるし、XをXたらしめるものは何かを聞いている場合もある(?)

avatar

ayu_mushi ayu_mushi@mstdn.jp

反出生主義と貧困層の多産を絡めて何か言えないか考えてる

avatar

ayu_mushi ayu_mushi@mstdn.jp

「事実と解釈」という対置、なぜか歴史とかだと、「なぜ起きたのか」という説明も「解釈」の側に入るようなことを言ってる人が居ると思う[要出典]。しかし、因果的説明とかは単に「aがbを引き起こした」(or 「aがpであったことエトセトラでbが起こった」)というだけの通常の命題ではないのか。(いやなんか理由の反因果説とかも考えるべきなのか?それだと解釈って言うべきものになるのか?分からない。)

avatar

ayu_mushi ayu_mushi@mstdn.jp

「事実と解釈」と対置するとき、「事実」というのが「真なる命題」という意味ではない場合をよく見かける(法則に関する真なる命題などは入らず、「データ」みたいな意味になっている)

avatar

ayu_mushi ayu_mushi@mstdn.jp

いずれにせよ飛車角などの飛び道具の動きを表すのにMonadPlusを使うのは自然な気がした

avatar

ayu_mushi ayu_mushi@mstdn.jp

Listモナドを使うと量子将棋が作れる?

avatar

ayu_mushi ayu_mushi@mstdn.jp

人間の認知や言論に関する事実がどう違っていたら、言論の自由を停止するのは合理的になるだろうか

avatar

ayu_mushi ayu_mushi@mstdn.jp

性格診断、みんないい加減に選んでると思うけどよく見ると矛盾する選択肢が紛れ込んでてそれを選ぶとバカと性格診断されるようにするとちゃんと選んでくれるかもしれない

avatar

ayu_mushi ayu_mushi@mstdn.jp

「Aさんの中ではPである」って、…単に「AさんはPと思っている」って意味ですよねー?(正確には「Aさんは整合的にPと思っている」とかなのかもしれないけど…基本的にはどうでもいいと思う) よく紛らわしい語法で混乱させてるっぽい用法を見ます

avatar

ayu_mushi ayu_mushi@mstdn.jp

(あと"何でもいいから願えば、死んだあとに叶えてあげよう"という交渉もある)

avatar

ayu_mushi ayu_mushi@mstdn.jp

トロリー問題、太った男と交渉する時間が与えられてないのがジレンマの理由な気も。交渉する時間があれば遺族にお金を渡すと保証(あなたが功利主義者ならできるはずだ)、免罪符を売って引き換えにする、死後の栄光を約束する、功利主義的議論で説得して飛び込んでもらう…etc.とにかく何かで自発的に死んでくれる可能性があるので、強制はやっぱり時間がない場合の次善の策ってことにならないかな? (「臓器くじ」の思考実験についてはこのことはもっと当てはまるかも)

avatar

ayu_mushi ayu_mushi@mstdn.jp

いや主知主義は正しいかもしれないけど

avatar

ayu_mushi ayu_mushi@mstdn.jp

ご理解とご協力がシームレスに繋がるの主知主義っぽさあるのでは

avatar

ayu_mushi ayu_mushi@mstdn.jp

「憤激」、激おこプンプン丸感がある

avatar

ayu_mushi ayu_mushi@mstdn.jp

強い命題を主張することと命題を強く主張することはそこまで関係がない可能性があるようにも思うのだっっ!!!!!!!!

avatar

ayu_mushi ayu_mushi@mstdn.jp

問題は、素人目には本物のサバンナと精巧に偽造されたフェイクサバンナの区別がつかないこと(?)

avatar

ayu_mushi ayu_mushi@mstdn.jp

ニセ科学の戦略って不思議に見える気がして、何かを科学と宣言することは、それはそれを反証可能な仮説として宣言し、反論に身を晒すってことだとすれば、弱い根拠の話を隠すために科学と宣言するのは、ある意味では自分が弱いことを隠すために過酷なサバンナの自然に飛び込んでいくようなものとも言えないだろうか

avatar

ayu_mushi ayu_mushi@mstdn.jp

ごめんさっきのは適当だった、でもインターネットリンチは多重人格で気狂いのリヴァイアサンというイメージがある。

avatar

ayu_mushi ayu_mushi@mstdn.jp

強力な第三者がどちらかを悪いと決めることで争いを止めるのが刑罰の目的だとすれば、インターネットリンチって確かに強力な第三者ではあるけれど、全然整合的な決定を出せる組織とかじゃないからその第三者たちの内部に亀裂が入ったらむしろ争いが大幅に悪化するよね

avatar

ayu_mushi ayu_mushi@mstdn.jp

死んだあとに脳をシミュレートされて拷問を受けるのを避けるために死んだ後記録・情報を完全に残らないように抹消するのが流行る。通称は火葬。

avatar

ayu_mushi ayu_mushi@mstdn.jp

「ロコのバシリスク」、死んだ人間をシミュレートするに足る情報が残ってるってどういう仮定なんだ、死んだ人の脳は焼いちゃってるはずなのに(マジレスになるけれども)

avatar

ayu_mushi ayu_mushi@mstdn.jp

今昔物語に入ってる荘子の「魚の楽しみ」についての話は、オリジナルの話と登場人物が、荘子→妻、恵子→荘子 というように入れ変わっているのか
parad.sakura.ne.jp/Konjaku/Kon
tapanulifever.hatenablog.com/e
yatanavi.org/text/k_konjaku/k_
geocities.jp/sybrma/379chigyor

avatar

ayu_mushi ayu_mushi@mstdn.jp

キチゲー(キチゲージ)、フロイト主義的な概念だ

avatar

ayu_mushi ayu_mushi@mstdn.jp

出頭して、「は?」って言われたら「完全犯罪だから」って返したい。

avatar

ayu_mushi ayu_mushi@mstdn.jp

やっぱり因果関係や自然法則が無い/疑わしいなら、心の習慣についても、無い/疑わしいってなりそうだけど(※よく知らない)

avatar

ayu_mushi ayu_mushi@mstdn.jp

傘をさす
傘を展開し、掲げる

avatar

ayu_mushi ayu_mushi@mstdn.jp

てことは、ウィルスでも、もしあるウィルスがぜったいに親から子へしか伝わらないなら、それは遺伝子とまったく同じようなものだから、そのウィルスは、遺伝子同様、被感染者自身の利益(=被感染者の子孫を増やすこと)に(それなりに)叶うように進化するわけか unenumerated.blogspot.com/2006

avatar

ayu_mushi ayu_mushi@mstdn.jp

主体に意図や目的(あるいは心的状態一般)を帰属できるのは帰属することによって正しい予測が導かれる時とかだ、という考えの組織・集団等の目的、意図への応用

avatar

ayu_mushi ayu_mushi@mstdn.jp

「可能的に可能なものは可能である」を仮定する。「180cmの人は可能である→181cmの人は可能的に可能である→…→200cmの人は可能的に可能的に…可能である→…→250cmの人は可能的に可…可能→…500cmの人は可能的に可…可…可能…→…1000000cmの人は可能的に可能的に可能的に…可能。」それと仮定により、「1000000cmの人間は可能」

avatar

ayu_mushi ayu_mushi@mstdn.jp

サールは条件を持つものは何でも表象って言ってた気がする【要出典】けど、それだと自然法則とかも表象にならない?

avatar

ayu_mushi ayu_mushi@mstdn.jp

最近は忙しいので、マストドンではコマンドラインから一方的に投稿するだけで反応などは見ないようにします。TLの雰囲気も読めないので変な感じになるかもしれないけど大目に見てください

avatar

ayu_mushi ayu_mushi@mstdn.jp

ja.wikipedia.org/wiki/%E6%89%B "批判的合理主義(ひはんてきごうりしゅぎ)とは、ゆきすぎた合理主義を批判し、合理主義が論証によっては基礎付けることができず、理性への信仰ないし非合理な決定によって基礎付けられることを認める立場。" ん、批判的合理主義て「科学理論は反証可能であるべき」みたいな立場のことじゃないの

avatar

ayu_mushi ayu_mushi@mstdn.jp

アイデアの流用とかって、著作者に許可を取る、たとえば金銭交渉などでするなりして堂々とやればいい気がするのだけど、そこの許可を取る手間が大きいのが問題に思えるので、そのへんのコストを減らせる技術があるといいのかなって思った

avatar

ayu_mushi ayu_mushi@mstdn.jp

継承するライセンスってあるけど多重継承はあるのかな

avatar

ayu_mushi ayu_mushi@mstdn.jp

ミームESSは、「左側通行」のような行動が安定であることを説明するかもしれない

avatar

ayu_mushi ayu_mushi@mstdn.jp

パーティションの容量がフルになったって出てきたんだけど、けっきょく100GBくらい?vimのスワップファイルが占めてたっぽい…

Share mastodon Share twitter Share facebook Share hatebu follow us in feedly Share rss
Recent following
Recent followers

Monthly archives