- 641 名前：デフォルトの名無しさん [2007/10/16(火) 09:58:27 ]
- 論理的な問題に直面してるんですが
数学の論理学か何かの分野で解決できないか、と考えています。
そんな分野はありませんか？
例えば、フラグを使う場合ってどういうときですか？
基本的に"go to"を使わなくてもどんなプログラムの流れでも作れるはずですよね？
それと同様にフラグを使わなくてもどんなプログラムの流れでも作れるんですか？
フラグが「どうしても」必要なときってあるんですか？
あるとしたら、どうやってそれを判断するんですか？
数学的に判断できる方法があるなら教えてください。
ちなみに記号論理学、オートマトン、フォーマル・ランゲージなどのクラスは
(理解しているかどうかはともかく)取りました。
※返事は少し遅くなるかもしれません
