戦略投票を行わなくてよいマッチングのアルゴリズム、Intel 3D XPointのような不揮発性メモリ、この世界はシミュレーションか、といった話などをしました。
出演者: hikalium (@hikalium)、Rui Ueyama (@rui314)
https://turingcomplete.fm/23
ハッシュタグは#tcfmです。
TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。
- イントロ (0:00)
- セキュキャン2018 (2:05)
- 戦略を必要としないマッチングアルゴリズム (3:34)
- デュヴェルジェの法則 (12:44)
- 比例投票制の制度設計 (18:32)
- 完全比例代表制と阻止条項 (20:41)
- 不揮発性DIMM (24:43)
- 不揮発性DIMMをどうモデル化するか (30:56)
- 不揮発性DIMMはファイルシステムとして見えるべきか、永遠に存在するプロセスとして見えるべきか (33:08)
- 3D XPointメモリは8バイト単位での書き込みがアトミック (39:37)
- Compare-and-swap命令 (42:57)
- ストレージ階層に新たな層が加わるのは面白い (45:32)
- シングル磁気記録方式のHDD (46:42)
- 水槽の脳 (52:02)
- 世界シミュレーション仮説 (54:33)
- シミューレーションと浮動小数点数演算の誤差 (55:19)
- パイオニア・アノマリー (58:25)
- カール・ポパーと反証可能性 (1:00:47)
- hikaliumはこの世界はシミュレーションだと思うかどうか (1:03:44)
- 世界無課金ゲーム仮説 (1:07:25)
- シンギュラリティ後の世界でコンピュータ内に移住したいかどうか (1:08:40)
- 「脳のなかの幽霊」と半球無視 (1:10:55)