「進捗をなんとかする技術」- 大吉祥寺.pm 2026 LT 未読

「進捗をなんとかする技術」- 大吉祥寺.pm 2026 LT
進捗をなんとかする技術 by 富所 亮 | トーク | 大吉祥寺.pm 2026 #
通知を受け取るには、ホーム画面に追加してから購読してください。

進捗をなんとかする技術 by 富所 亮 | トーク | 大吉祥寺.pm 2026 #

前からやってみたかったのですが、 “分解OKな壊れたMagic Keyboard” を同僚から入手できたので、ついにやってみることにしました。最終系のイメージは「

2020年5月2日に開始したPodcastがもうすぐ200回目の放送になる。だからどうしたという話であるのだけど、運用視点で軽く振り返っておく。

前回、決定問題とはなにか?が理解できた。あらためて、チューリングの論文について考えていく。全ての数学的問題は計算できるのか否か?論文ではそれについて語られており、その反証の道具としてチューリングマシンがでてくる。ここまでは完全に整理できた。 ここまで書いていて

チューリングマシンを理解するには、まず「ヒルベルトの決定問題」からだ!というわけで調べているが、決定問題は1928年に書籍で提案されたものらしい。該当の書籍はAmazonでも購入できそうだが、なんとドイツ語。ちょっと高い。

諸事情により、PHPでメディアプレイヤーを作ろうと思っているのだが、そもそも動画ファイルが何なのかミリしらなので、チャッピーと壁打ちしつつ調べたのでまとめ。