xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ Weblog Hello worldの次は何やったらいいという人は、自分は本当になにをしたいのか問うほうがいい https://blog.goo.ne.jp/xmldtp/e/761fd2136761fed4867a9e5de22ee1a4 で「２．２プログラムを学びたい場合、計算論とかの話になる。これは別エントリで」と書いた。 それについて つまり、プログラムを書くとは？というのを突き詰めていくと、どうなるのか？ →サブテーマとして、プログラムは作成可能なのか？その根拠は論理的に説明できるのか？ →説明できないとしたら、どこかに論理のジャンプが起こることになり、 論理的にプログラムは書けない＝プログラムで… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Fa296a72e6ac072684ef20735d36dd725" title="なぜ、プログラムは書けるのか：計算論からゴールによる様相論理、意味論まで俯瞰してみる - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-02-14 09:35:51 rich https://xmldtp.hatenadiary.org/entry/a296a72e6ac072684ef20735d36dd725 1.0 100%