kgbu https://blog.hatena.ne.jp/kgbu/ kgbu's diary https://kgbu.hateblo.jp/ 自分は放言癖があるというか、思いついたことをよく吟味もせずにテキストにしてしまうことが多い。自分が書くコードもそのスタイルを反映して、思いついたpathをトレースして、それで書きっぱなしで終わることが多い。ぼんやりとした思い付きと、(自然｜人工、programming)言語で記述された命題との間にはギャップがある。とはいえ、命題にもさまざまなクラスがある。 古典的な論理の世界だと、アルゴリズムを構成不能な命題というのは存在する。プログラムの停止性とか。 直観論理の世界ならば、だいたいアルゴリズムに乗るだろう。というか、構成的でないものを扱ってないわけだ。 アルゴリズムが存在しても、有限の資源を… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkgbu.hateblo.jp%2Fentry%2F20090312%2F1236825165" title="数学的言説とアルゴリズムに落とせるということについて、ぼんやり考えたこと - kgbu&#39;s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/51+oERrHlPL.jpg Hatena Blog https://hatena.blog 2009-03-12 11:32:45 rich https://kgbu.hateblo.jp/entry/20090312/1236825165 1.0 100%