問題タブ [theory]

ビュー（フォーム）間の通信を許可しないMVCを設計しました。フォームが別のフォームと通信する必要がある場合、他のフォームがサブスクライブできるコントローラーでイベントを発生させます。一般的な考え方は、通信のパスを最小限に抑え、複雑さを抑えるのに役立つことです。各ビューは、シングルトンであるRootController、またはビューがRootControllerを介してアクセスするsubControllerと通信します。繰り返しになりますが、すべてがRootControllerを通過するため、通信パスはダウンしたままになります。

これは、ネットワークに追加するノードが多いほど、ネットワークが複雑になるという一般的なネットワーク理論に従っていますか。「そして」、これらのノードのそれぞれが直接通信するほど、ネットワークに複雑さが増します。誰かがこの領域/理論が正確に何と呼ばれているのかを指摘できますか？参照？

私がMVCで行っていることは、ネットワーク上のすべてのノードが中央ノードを経由して相互に通信することに似ていますか？

「理論的なコンピューター サイエンスのトピック」とは、正規言語と非正規言語、ポンピング レンマ、文法などのことを指しています。

私は有限オートマトンと正規表現の現実世界での応用に精通していますが、現実世界での応用を見たことがないので、これらの他のトピックなどはより多くの問題を引き起こしています。

私はこの質問を見て、ポンピング補題が何であるかについて興味がありました（ウィキペディアはあまり役に立ちませんでした）。

基本的に、言語が特定のクラスに属するためには真実でなければならない理論的証明であることは理解していますが、それ以上はよくわかりません。

非数学者/計算科学博士が理解できる方法で、かなり細かいレベルでそれを説明しようとする人はいますか?

ほとんど独学のプログラマーとして、私は特定のものが使用されるべきか、使用されるべきでない理由を実際に誰かに説明させたことがありません。1つの例（私が数年前に取り上げて頻繁に使用したもの）は、代替の制御構造構文です。

個人的には、この構文は、特に短く簡潔なコードの場合は簡単に理解できますが、「実際に」使用されることはあまりないので、これをもっと使用するのが悪い習慣かどうかを知りたいと思います。伝統的なif...else構造？

前もって感謝します。

停止問題はチューリング完全言語では解決できず、正規表現のように常に停止する一部の非TC言語では簡単に解決できます。

停止する機能と停止しない機能の両方を備えているが、停止するかどうかを判断できるアルゴリズムを認めている言語があるかどうか疑問に思いました。

複雑な分析を行わずに文法を調べるだけで、文法が LL(1)、LR(0)、SLR(1) であるかどうかを判断する簡単な方法はありますか?

例: BNF Grammar が LL(1) であるかどうかを判断するには、First セットと Follow セットを計算する必要がありますが、これには時間がかかる場合があります。

これをより速く行う方法を知っている人はいますか? どんな助けでも本当に感謝します!

コンピューター プログラムは、数学的なステートメントと同じように証明できないのはなぜですか? 数学的証明は、さらに多くの証明から構築された他の証明の上に構築され、公理に至るまでです。

コンピュータプログラムはそのような構造を持っていないようです。コンピューター プログラムを作成した場合、以前に証明された作品を使用して、プログラムの真実を示すことができるのはどうしてですか? 存在しないのでできません。さらに、プログラミングの公理とは何ですか? フィールドの非常に原子的な真実？

上記に対する良い答えはありません。しかし、ソフトウェアは科学ではなく芸術であるため、証明できないようです。ピカソであることをどのように証明しますか?

過去1年間、私はVelocityとNVelocityについて多くのことを聞きました。彼らのドキュメントを読んだり、ネットで検索したりしても、私が探していた答えは得られませんでした。

このライブラリを開発に使用するのはどのような状況ですか？まだ解決策がなかったのに、どのような問題を解決しますか？

私の会社でユニットテストに関する 10 分間の Grok トークを行う予定です。私自身もやってみましたが、確かに会社に利益をもたらすことができると感じています。専任の QA チームで既に WebInject テストを行っていますが、単体テストを開発者に販売したいと考えています。

では、たった 10 分間で何をカバーしますか? またその理由は?

• 私たちは Microsoft Shop C# Web Apps です。経験上、NUnit を使用しました。