「プログラムの算術的計算法 (続き＆完結）」に、Aがプログラムの文（複文や複雑な表現も含める）だとして、I + A + A2 + A3 + ... という無限級数形式が、非決定性の繰り返し、つまり「Aを何回か繰り返すこと、ただし何回かは不明／未定」を表すといいまし…

昨日のアンパンマン・ネタに、ブックマーク、トラックバック、コメントと反応がありましたね。ウーム、あれが受けるのか； と、調子にのって、連日の子供ネタ。今朝は雨、次男が車のワイパーを指して、「あれ、なに？ なにするもの？」と聞くので、ありきた…