xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ そのほか だれかヤコブソンさんに伝えて！全力でヤコブソンさんに拡散希望（＾＾；） ヤコブソンさんが、SEMATで、ソフトウェア工学に対して、理論がないとして、普遍的な理論を求めてるけど、 ソフトウェア工学というか、情報工学＆ソフトウェア業界における 普遍的な、そして全ての元凶は、ここからはじまる基本的な理論はある。 それが、 チャーチ＝チューリングのテーゼ （以下リンク先のWikipediaから引用） 、「計算できる関数」という直観的な概念を、帰納的関数と呼ばれる数論的関数のクラスと同一視しようという主張である。 テーゼの代わりに提唱 (ていしょう) あるいは定立 (ていりつ) の語が用いられることもあ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Fa3add0eb927674d60a671b119a04b928" 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 2013-06-10 10:45:30 rich https://xmldtp.hatenadiary.org/entry/a3add0eb927674d60a671b119a04b928 1.0 100%