2009-09-15から1日間の記事一覧
「微妙だ」とミルカさんが言った。 僕たちの前のカードには、こう書いてある。 を計算可能な閉区間、を計算可能関数とする。このとき、との間にある任意の計算可能実数に対して、ある計算可能実数が存在して、が成り立つ。 「微妙？」テトラちゃんがカードを…
「微妙だ」とミルカさんが言った。 僕たちの前のカードには、こう書いてある。 を計算可能な閉区間、を計算可能関数とする。このとき、との間にある任意の計算可能実数に対して、ある計算可能実数が存在して、が成り立つ。 「微妙？」テトラちゃんがカードを…
