Pinned toot

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

Pinned toot

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

Pinned toot

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

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

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

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

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

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

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

物事の分別がつくまともな大人なら所与のプログラムが無限ループするかしないかなど容易に区別できるという価値観

オデ、ミンナ、クウナラバ、オデオマエクウナラバミンナクウ
オデ、ミンナ、タベナイナラバ、オレ、タベナイニンゲン、クウナラバミンナクウ

ダカラ、オデ、ニンゲン、クウナラバ、オデミンナクウ ヨウナニンゲン イル。

奴隷を動力源としたテクノロジーに焦点を当てた奴隷パンク

チョムスキーによると人間の特殊性は再帰ができることだし、homo recursivusみたいなことを言い出す奴が居るかもしれない…と思ってrecursiveのラテン語がrecursivusと知って検索した一番目にヒットした medium.com/@thomashikaru/homo-

最近のImageMagickは脱構築もできるらしい

筆算ってやってるあいだに足すのか引くのかわからなくなるよなって思ったけどだから左に+/-つけるのか(つけてなかった)

今日のテストはよくわからない計算ミスが多発したが、よく考えると昼ご飯食べるの忘れてた

実在は真偽を決める構造みたいなもの、と考えられるかもしれないけれど、じっさいに実在によって与えられるのはℕのようなものだけに見え、SとかOとかはどこからくるのか

公理図式のことを公理っていうの、意外と混乱するのでやめたほうがいい気がする

Show more
mstdn.jp

Mastodon日本鯖です. よろしくお願いいたします。 (Maintained by Sujitech, LLC)