senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by ayu-mushi (ayu_mushi@mstdn.jp), page 9

  1. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Thursday, 25-Mar-2021 21:26:08 JST ayu-mushi ayu-mushi

    $10手帳を選ぶと$10貰える。$5手帳を選ぶと$5を貰える。という状況。

    もし私が$10手帳を選ぶなら、$10貰える。($10手帳→$10現金)

    一方私が$5手帳を選ぶとしよう。ところで、私の行動を予測する理論は私は最大の方を選ぶと言っている。つまり、わたしは$10手帳を選びかつ$5手帳を選ぶ。両方を選ぶことはできない。矛盾。よって、矛盾からは何でも導けるので、私は$1000得る。($5手帳→$1000現金)よって、私は$5手帳を選ぶべきである。

    / [Decision Theory - LessWrong https://www.lesswrong.com/s/Rm6oQRJJmhGCcLvxh/p/zcPLNNw4wgBX5k8kQ]

    In conversation Thursday, 25-Mar-2021 21:26:08 JST from mstdn.jp permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: res.cloudinary.com
      Decision Theory - LessWrong
      (A longer text-based version of this post is also available on MIRI's blog here, and the bibliography for the whole sequence can be found here.)
  2. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Thursday, 25-Mar-2021 21:26:07 JST ayu-mushi ayu-mushi
    in reply to

    Löbの定理によると、もし「「Aが証明できるならAである」が証明できるならば、Aが証明できる」。ここで「「$5手形→$5貰う」∧ 「$10手形→$0貰う」」という命題(X)を考える。もしこれがエージェント自身に証明できると仮定しよう。その場合、エージェントはその知識を用い、$5を選ぶだろう(ドルが大きい方を選ぶので)。このとき、Xの連言の前者は正しいし、連言の後者は前件が偽になるので命題全体が真。よって、Xが証明可能ならXとなる。また、エージェントはこのこと(Xが証明可能ならXとなること)を証明できるだろう。よって、Löbの定理から、「「$5手形→$5貰う」∧ 「$10手形→$0貰う」」をエージェントは証明できる。(まさにそのことによって$5手形を選ぶ)

    In conversation Thursday, 25-Mar-2021 21:26:07 JST from mstdn.jp permalink
  3. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Thursday, 25-Mar-2021 21:26:06 JST ayu-mushi ayu-mushi
    in reply to

    証明可能性論理 / Provability logic - Wikipedia https://en.wikipedia.org/wiki/Provability_logic

    In conversation Thursday, 25-Mar-2021 21:26:06 JST from mstdn.jp permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: login.wikimedia.org
      Provability logic
      Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. Examples There are a number of provability logics, some of which are covered in the literature mentioned in § References. The basic system is generally referred to as GL (for Gödel–Löb) or L or K4W. It can be obtained by adding the modal version of Löb's theorem to the logic K (or K4). Namely, the axioms of GL are all tautologies of classical propositional logic plus all formulas of one of the following forms: Distribution axiom: □(p → q) → (□p → □q); Löb's axiom: □(□p → p) → □p.And the rules of inference are: Modus ponens: From p → q and p conclude q; Necessitation: From ...
  4. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Tuesday, 23-Mar-2021 23:20:23 JST ayu-mushi ayu-mushi

    群淘汰説に対する簡単な応答は「もし進化に種の個体数を増やすように進化するような傾向があるならば、少数のオスと多数のメスを産むように進化するだろう。これは現実のオスメス比に反する」という回答だけど、多様性が種の個体数を増やす上で有用という反論をされたらどう回答するのが正解ですか

    In conversation Tuesday, 23-Mar-2021 23:20:23 JST from mstdn.jp permalink
  5. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Tuesday, 23-Mar-2021 23:16:57 JST ayu-mushi ayu-mushi

    "雌雄同体で頭の方に雄の生殖器官を、背中に雌の生殖器官を持つ。前方の個体の雌の器官に、後方の個体が雄の器官を挿入するといった形で、何個体もつながって交尾する。このような交尾形態は「連鎖交尾」といわれる。" https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%A1%E3%83%95%E3%83%A9%E3%82%B7

    In conversation Tuesday, 23-Mar-2021 23:16:57 JST from mstdn.jp permalink

    Attachments


  6. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Sunday, 21-Mar-2021 14:27:42 JST ayu-mushi ayu-mushi

    ましろくんが言ってたビリビリ動画のランキングトップとかに"幽霊動物"っていう謎のタグがある話、日本語の"鬼畜"が中国でも使われてて(ただし音MADを指す?)、それが中国語から日本語への機械翻訳で「鬼→幽霊 畜→動物」というふうになっていただけだったらしく笑った (今Google翻訳したら"ゴーストアニマル"だったけど)https://www.youtube.com/watch?v=xcSzPSI0nj8&list=PL9PLD_Cp9JpkyPv95alGBbCkt9AwRNQA0&t=1418shttps://www.bilibili.com/video/BV1Hv411B7Rn

    In conversation Sunday, 21-Mar-2021 14:27:42 JST from mstdn.jp permalink

    Attachments

    1. Could not GET URL https://i.ytimg.com/vi/xcSzPSI0nj8/maxresdefault.jpg.
      ‌
      ねこかいたい配信タグ➡#ましろとしゃべる ???? チャンネル登録高評価してくれるとモチベが上がります!₍ᐢ⑅•ᴗ•⑅ᐢ₎₍ᐢ⑅•ᴗ•⑅ᐢ₎₍ᐢ⑅•ᴗ•⑅ᐢ₎₍ᐢ⑅•ᴗ•⑅ᐢ₎₍ᐢ⑅•ᴗ•⑅ᐢ₎₍ᐢ⑅•ᴗ•⑅ᐢ₎₍ᐢ⑅•ᴗ•⑅ᐢ₎₍ᐢ⑅•ᴗ•⑅ᐢ₎????Twitterhttps://twitter.com/mashir...
  7. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Thursday, 18-Mar-2021 06:53:03 JST ayu-mushi ayu-mushi

    同一学部内ですが理転することになりました

    In conversation Thursday, 18-Mar-2021 06:53:03 JST from mstdn.jp permalink
  8. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Wednesday, 17-Mar-2021 15:44:40 JST ayu-mushi ayu-mushi

    これを見て、外見は知能と相関するらしいので、交絡因子を排除するのに整形の人を使うのはいいかと一瞬思ったが、そもそも整形するような人であるというのがランダムではないのでより大きな交絡因子だった。ランダムに被験者を選んで整形させるか、見た目を隠したときと隠してないときを比較するやつのほうがいいな。/ 「※ただしイケメンに限る」というのは非モテの完全なる被害妄想なのか?|rei|note https://note.com/beatangel/n/nde7220905d24

    In conversation Wednesday, 17-Mar-2021 15:44:40 JST from mstdn.jp permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: d2l930y2yx77uc.cloudfront.net
      「※ただしイケメンに限る」というのは非モテの完全なる被害妄想なのか?|rei|note
       インターネットで非モテが「※ただしイケメンに限る」と嘆くと、必ずただしイケメン警察がやって来て、その現象が非モテの被害妄想に過ぎない事を指摘してくる。また最近では鴻上尚史さんによる、"なぜ男達の中で「イケメンに限る」という言い方が広がっているかというと、男達は、自分が外見で女性を判断しているから、女性も同じように外見で判断しているに決まっていると思い込んでいるのです"という説教がTwitterで大きく話題になった。(https://dot.asahi.com/dot/2019052900029.html) https://twitter.com/orz404/status/113
  9. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 12-Mar-2021 21:02:17 JST ayu-mushi ayu-mushi
    in reply to
    • しゃべる :siberiapop: :pleroma: :sabakan:

    @shovel たとえばエンドウ豆で丸形が優性でシワ型が劣性とすると、aaを増やすとシワ型が増えますが、これは"特定の形質を増やす"ことにならないんですか

    In conversation Friday, 12-Mar-2021 21:02:17 JST from mstdn.jp permalink
  10. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 12-Mar-2021 20:26:12 JST ayu-mushi ayu-mushi
    in reply to
    • しゃべる :siberiapop: :pleroma: :sabakan:

    @shovel 近親相姦してもしなくても同じくらいaaが出るってことですか?

    In conversation Friday, 12-Mar-2021 20:26:12 JST from mstdn.jp permalink
  11. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 12-Mar-2021 20:02:12 JST ayu-mushi ayu-mushi
    in reply to

    新しい遺伝子ではなく遺伝子の組み合わせ(aaのような)が生じることで多様性が増えると言えるのかはよくわからないまあ言えるか

    In conversation Friday, 12-Mar-2021 20:02:12 JST from mstdn.jp permalink
  12. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 12-Mar-2021 20:02:12 JST ayu-mushi ayu-mushi

    多くの突然変異は有害とされているし、多様性が仮に集団全体の視点で見て役立ったとしても個体としては有害な可能性のほうが高いんじゃないかな https://mstdn.jp/web/statuses/105871667519681344https://mstdn.jp/web/statuses/105874663022373234

    In conversation Friday, 12-Mar-2021 20:02:12 JST from mstdn.jp permalink

    Attachments

    1. mstdn.jp
      from Mastodon hosted on mstdn.jp
      Mastodon日本鯖です.
  13. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 12-Mar-2021 12:19:24 JST ayu-mushi ayu-mushi

    そういえば近親相姦で劣勢遺伝子が揃いやすいのでまずいって近交弱勢の説明してる人に劣勢は悪いって意味じゃないぞってツッコんでいる人が居たけど今まで揃ったことがなくて発現していない劣勢遺伝子は悪いかどうかわからないから危険ということで実は合ってるっていうややこしいやつ

    In conversation Friday, 12-Mar-2021 12:19:24 JST from mstdn.jp permalink
  14. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Sunday, 07-Mar-2021 04:02:45 JST ayu-mushi ayu-mushi

    "補完財を低廉化する" : 独占っぽいIT企業が自分が売っている商品の補完財となるオープンソースを支援して自分の商品の需要を増やすことを言うらしい "Laws of Tech: Commoditize Your Complement · Gwern.net" https://www.gwern.net/Complement

    In conversation Sunday, 07-Mar-2021 04:02:45 JST from mstdn.jp permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: www.gwern.net
      Laws of Tech: Commoditize Your Complement
      from gwern
      A classic pattern in technology economics, identified by Joel Spolsky, is layers of the stack attempting to become monopolies while turning other layers into perfectly-competitive markets which are commoditized, in order to harvest most of the consumer surplus; discussion and examples.
  15. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Monday, 01-Mar-2021 01:05:16 JST ayu-mushi ayu-mushi
    in reply to
    • 白林檎美和@一般丼。

    @whtapple ? よくわかりませんでした

    In conversation Monday, 01-Mar-2021 01:05:16 JST from mstdn.jp permalink
  16. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Sunday, 28-Feb-2021 23:39:32 JST ayu-mushi ayu-mushi

    死ぬ死ぬ言ってるやつほど死なないってこういうやつではないの

    In conversation Sunday, 28-Feb-2021 23:39:32 JST from mstdn.jp permalink
  17. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Saturday, 27-Feb-2021 23:55:49 JST ayu-mushi ayu-mushi

    "このため、「Tweety is a crow(トゥイーティーは鳥である)」「Tweety is a bird(トゥイーティーはカラスである)」という2つの文はシャノンの情報理論では同じ情報量を持ちますが、「鳥」という単語は「鳥以外の動物である」という情報を削除するのに対し、「カラス」という単語は「カラス以外の鳥である」という情報を削除できるため、直感的には「トゥイーティーはカラスである」という文の方が情報量が多く感じるとスローマン氏は指摘しています。"https://gigazine.net/news/20210227-information-shannon-austen/

    In conversation Saturday, 27-Feb-2021 23:55:49 JST from mstdn.jp permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: i.gzn.jp
      情報学の父クロード・シャノンが規定した「情報」とは?
      情報理論の父と呼ばれるクロード・シャノンは、情報を「0」「1」の2値のみで表す手法を開発しました。この手法によって表される「情報」の意味を、バーミンガム大学でコンピューターサイエンスについて教えるアーロン・スローマン氏が解説しています。
  18. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 26-Feb-2021 12:31:37 JST ayu-mushi ayu-mushi

    事実eがP(h|e)>P(h)という意味ではhのベイズ的証拠ではあるけど、他の意味では証拠と認められない事例、または他の意味では証拠だけどP(h|e)>P(h)でない事例を他に探してみると面白そう [Scientific Evidence, Legal Evidence, Rational Evidence - LessWrong https://www.lesswrong.com/posts/fhojYBGGiYAFcryHZ/scientific-evidence-legal-evidence-rational-evidence ]

    In conversation Friday, 26-Feb-2021 12:31:37 JST from mstdn.jp permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: res.cloudinary.com
      Scientific Evidence, Legal Evidence, Rational Evidence - LessWrong
      Suppose that your good friend, the police commissioner, tells you in strictest confidence that the crime kingpin of your city is Wulky Wilkinsen. As a rationalist, are you licensed to believe this statement? Put it this way: if you go ahead and insult Wulky, I’d call you foolhardy. Since it is prudent to act as if Wulky has a substantially higher-than-default probability of being a crime boss, the police commissioner’s statement must have been strong Bayesian evidence. Our legal system will not imprison Wulky on the basis of the police commissioner’s statement. It is not admissible as legal evidence. Maybe if you locked up every person accused of being a crime boss by a police commissioner, you’d initially catch a lot of crime bosses, and relatively few people the commissioner just didn’t like. But unrestrained power attracts corruption like honey attracts flies: over time, you’d catch fewer and fewer real crime bosses (who would go to greater lengths to ensure anonymity), and more and more innocent victims. This does not mean that the police commissioner’s statement is not rational evidence. It still has a lopsided likelihood ratio, and you’d still be a fool to insult Wulky. But on a social level, in pursuit of a social goal, we deliberately define “legal evidence” to include only particular kinds of evidence, such as the police commissioner’s own observations on the night of April 4th. All legal evidence should ideally be rational evidence, but not the other way around. We impose special, strong, additional standards before we anoint rational evidence as “legal evidence.” As I write this sentence at 8:33 p.m., Pacific time, on August 18th, 2007, I am wearing white socks. As a rationalist, are you licensed to believe the previous statement? Yes. Could I testify to it in court? Yes. Is it a scientific statement? No, because there is no experiment you can perform yourself to verify it. Science is made up of generalizations which apply to many particular instan
  19. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Sunday, 21-Feb-2021 01:42:53 JST ayu-mushi ayu-mushi

    統計の先生が確率変数Xを標準正規分布に従うZに置き換えることをZ変換って言ってるけどZ変換ってすでに別にあるぞ https://ja.wikipedia.org/wiki/Z%E5%A4%89%E6%8F%9B#:~:text=%E9%96%A2%E6%95%B0%E8%A7%A3%E6%9E%90%E5%AD%A6%E3%81%AB%E3%81%8A%E3%81%84%E3%81%A6%E3%80%81Z,%E5%A4%89%E6%8F%9B%E3%81%A8%E3%82%82%E8%AA%AC%E6%98%8E%E3%81%95%E3%82%8C%E3%82%8B%E3%80%82

    In conversation Sunday, 21-Feb-2021 01:42:53 JST from mstdn.jp permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: login.wikimedia.org
      Z変換
      関数解析学において、Z変換(ゼッドへんかん、Z-transform)とは、離散群上で定義される、ローラン展開をベースにした関数空間の間の線形作用素。関数変換。 Z変換は離散群上でのラプラス変換とも説明される。なお、Z変換という呼び方は、ラプラス変換のことを「S変換」と呼んでいるようなものであり、定義式中の遅延要素であるzに由来する名前である。 定義 列xnのZ変換は以下の式で定義される: ここでnは整数でzは複素数である。なお後述の片側Z変換に対してこれを両側Z変換(two-sided Z-transform、bilateral Z-transform)と呼ばれる。 n<0 でxn=0のような場合は、総和の範囲を 0 〜 ∞ で計算できる: これを元の定義と区別して片側Z変換(single-sided Z-transform、unilateral Z-transform)と呼ぶこともある。工学の分野などでは因果律を想定するので、こちらの式で定義することがある。 二次元信号(例えば画像)に対する二次元Z変換の定義は類似的である: 収束領域 なお、Z変換の級数は一般には発散することがある。収束するzの領域(収束領域,Region of Convergence)を以下のように書ける: 厳密にはこの収束領域内においてのX(z)を、xnのZ変換と定義する。 二次元Z変換の収束領域の定義は類似する: 逆Z変換 Z変換の逆変換である逆Z変換(inverse Z-transform)は次のようになる: ここでiは虚数単位で積分路CはX(z)の極を全て含むような閉路である。…
  20. ayu-mushi (ayu_mushi@mstdn.jp)'s status on Friday, 12-Feb-2021 21:40:08 JST ayu-mushi ayu-mushi

    "シャノンとの議論の中でフォンノイマンはHを「エントロピー」と呼ぶべき理由をもう一つ挙げている。かれがより重要だという二つ目の理由は、「エントロピーが何なのか分かっている人なんていない。だから、エントロピーと言っておけば、君は議論で有利になれる」だった。" https://www.gakushuin.ac.jp/~881791/pdf/GakkaishiDaemonPUB.pdf

    In conversation Friday, 12-Feb-2021 21:40:08 JST from mstdn.jp permalink

    Attachments


  • After
  • Before

User actions

    ayu-mushi

    ayu-mushi

    情報系のだいがくせい分析哲学にきょうみがある(警告: 性的な内容を含む鍵投稿あり)

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          22090
          Member since
          7 Feb 2020
          Notices
          330
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.