07/01/26 03:07:02
国語における論理（≒常識的論理）と、数学やプログラムのそれとは、
若干のズレがあるからな。
たとえば、「明日の花見は、雨ならば中止します。」と幹事が言ったとして、
「では晴れたらどうするんですか？」なんて質問をしたら、馬鹿呼ばわりされること必至。
（日常会話の「ならば」は、必要十分条件を意図して使われていることが多い。）
数学（プログラム）的には、この質問は至極自然かつ妥当なものなのだが。
07/01/26 03:07:02
国語における論理（≒常識的論理）と、数学やプログラムのそれとは、
若干のズレがあるからな。
たとえば、「明日の花見は、雨ならば中止します。」と幹事が言ったとして、
「では晴れたらどうするんですか？」なんて質問をしたら、馬鹿呼ばわりされること必至。
（日常会話の「ならば」は、必要十分条件を意図して使われていることが多い。）
数学（プログラム）的には、この質問は至極自然かつ妥当なものなのだが。