ayu-mushi @ayu_mushi@mstdn.jp

Unityで知人と作成した、動物に憑依する生態系ゲーム→ https://ayu-mushi.github.io/KorogaruGame/index.html

@.vespid 氏と私が2-day ALife Game Jamで作成した人工生命シミュレータの動画をアップロードしました！ https://www.nicovideo.jp/watch/sm35998123

https://scrapbox.io/ayu-mushi/LambdaConf%E3%81%A7%E3%83%9C%E3%82%A4%E3%82%B3%E3%83%83%E3%83%88%E3%81%95%E3%82%8C%E3%81%9F%E4%BA%BA%E3%81%AE%E3%80%8C%E6%96%B0%E5%8F%8D%E5%8B%95%E4%B8%BB%E7%BE%A9%E3%80%8D 新反動主義について書いています（未整理のところが多い）

暴言標準形

所得の分散が大きい分散型社会(所得の分散の値が大きい社会)

明らかに人間がやることではない感じがするし、現に人間がやることではない

クワインマクラスキー法を手作業でやる演習を解いて発狂している

論理設計のテストは色ペン持ち込めば爆アドなのではなかろうか

微分のラプラス変換の公式も朝見たんだけどあやふやになってしまっていた

短絡ってたんりゃくじゃなくてたんらくなのか

あー、テストで途中の部分式に0が出てきたので積の形というわけでもないが全体を0にする頭が悪いタイプの短絡評価をした気がする

人間は有限集合なので直観論理でも同じ意味になる?

「※あらゆる人にアレルギーがでないわけではありません」
「※だれかにアレルギーがでるということです」

物理学における多重実現可能性

参考. https://slatestarcodex.com/2017/11/01/postmodernism-for-rationalists-my-attempt/#comment-563793

オブジェクトレベルの議論に立ち入らずに理論を否定する方法として実際は複雑であると言っておくというのがある

人間の性別は決定可能かという問題に対し、入力にエンコードされた物理情報に対しもし男なら卵を生産し女なら精子を生産するようにした人間に自分自身の物理情報を入力させることによって矛盾を導くという考えが示された

無限集合を同値関係で割るなんて、どんなアルゴリズムでできるんだ!?みたいになってる可能性(?)

https://twitter.com/hyuki/status/657833026156564481 同値関係で割るというの、人間には直感的だがコンピュータで扱うのは難しいという概念の例だと思っているので、わからない人はコンピュータ寄りの認知をしている可能性ある。

イヤホンについているミュート用の部分がおさわってただけだ

いや、イヤホンの問題だわ

昨日YouTubeで広告が入った瞬間にArch Linuxから音がでなくなったんだけどなにこれ