23. マッチングアルゴリズム、不揮発性メモリ、水槽の脳 (hikalium)

Turing Complete FM
Turing Complete FM
Episode • Jun 17, 2018 • 1h 18m
戦略投票を行わなくてよいマッチングのアルゴリズム、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)