2020年5月2日に開始したPodcastがもうすぐ200回目の放送になる。だからどうしたという話であるのだけど、運用視点で軽く振り返っておく。 初期 ~50回くらいまでとにかく、どうや...
前回、決定問題とはなにか?が理解できた。あらためて、チューリングの論文について考えていく。全ての数学的問題は計算できるのか否か?論文ではそれについて語られており、その反証の道具としてチュ...
チューリングマシンを理解するには、まず「ヒルベルトの決定問題」からだ!というわけで調べているが、決定問題は1928年に書籍で提案されたものらしい。該当の書籍はAmazonでも購入できそう...
計算機に対する自分の知識を基本から見つめ直したい。というわけで、つらつらといろんなことを調べていこうと思う。 チューリングの論文On Computable Numbers, with a...
https://github.com/minicli/minicli Minimalist, dependency-free framework for building CLI-ce...
1234for file in * ;do mv "${file}" "${file}_2";done; ...
諸事情により、PHPでメディアプレイヤーを作ろうと思っているのだが、そもそも動画ファイルが何なのかミリしらなので、チャッピーと壁打ちしつつ調べたのでまとめ。 動画フォーマットいわゆる M...
PHP: PhpToken - Manual フーン…なんですかコレ?よくわからないので、使ってみよう。 1234567891011121314151617181920212223242...
SDL3のラッパーを作った理由は、もともとコレがやりたかったためです。PHPカンファレンス小田原で同時翻訳システムが動いてて、「すげー、俺も作ってみて〜」ってなったのが発端です。 システ...
hanhan1978/ffi-sdl3 特にオチとかはなくて、単純にFFI経由でSDL3を操作するライブラリを作った。完全に自分の教育用。 PHPカンファレンス小田原でのめもり...