タグ

2011年7月4日のブックマーク (5件)

  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • Instant Python

    インスタント・パイソン Magnus Lie Hetland  translated by jack_dul@mx13.freecom.ne.jp この文章は、プログラミング言語Pythonの最短期コースです。このコースの後 でPythonについてもっと学びたいと思った方は、Pythonのウェブサイト www.python.orgにあるドキュメント、特 にチュートリアルを見てみると よいでしょう。もしあなたが、Pythonはあなたの注目に値するかどうか知りた いというのなら、 Pythonと他の言語を比 較したページを見てみて下さい。 この入門文章は、 ポルトガル語・ イタリア語・ スペイン語・ ロシア語・ フランス語 ・ リトアニア語 ・日語に翻訳されました。そして現在、ノルウェー語・ポーラ ンド語・韓国語に翻訳する作業が進行中です。この文章は現在も変更が加えら れている最中なので、翻

  • SEEZOO.ORG

    このドメイン名は保護しています。関係者の方は @sqm までご連絡ください。

  • http://www.otona-magic.net/zatugaku/100181.html

    h6n
    h6n 2011/07/04
  • 計算可能関数 - Wikipedia

    計算可能関数(けいさんかのうかんすう、英: Computable function)は、計算可能性理論研究の基的な目的で、直観的には、アルゴリズムによって結果の値が得られる関数のことである。計算可能関数は、チューリングマシンやレジスタマシンといった具体的な計算モデルを参照せずに、計算可能性を論じるのに使われる。しかし、その定義には特定の計算モデルを参照する必要がある。 計算可能関数の正確な定義が与えられる以前から、数学者は effectively computable(実効的に計算可能)という言い回しをよく使っていた。現在では、その概念が計算可能関数となっている。effective(実効的)であってもefficient(効率的)に計算できるということは導かない。実際、計算可能関数には非効率な場合もある。計算複雑性理論は、そのような関数の計算効率を研究している。 チャーチ=チューリングのテ