タグ

プログラミングとWikiに関するiwwのブックマーク (2)

  • ISO 8601 - Wikipedia

    ISO 8601は、日付と時刻の表記に関するISOの国際規格である。この規格の主眼は、日付と時刻の記述順序が国や文化によってまちまちである[注 1][1]ものを、大→小の順序(ビッグエンディアン big-endian)を貫徹して、日付・時刻の記述順序をただ一種類に標準化していることにある[2]。 年月日の区切り記号は「-」(ハイフン)のみを用い、「/」などを禁じている。また時刻表現を24時制だけに限定している。 2022年9月4日を、2022-09-04(拡張形式)もしくは20220904(基形式)と表記する[注 2]。 2022年9月4日の時刻として 16時07分48.53秒 を併せて表記する場合は、2022-09-04T16:07:48.53(拡張形式)または20220904T160748.53(基形式)と表記する。すなわち記号 T で区切った後に時刻を続ける。 上記以外に、日の番

  • チューリング完全 - Wikipedia

    チューリング完全(チューリングかんぜん、英語: Turing-complete)とは、計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全あるいは計算完備であるという。 チャーチ=チューリングのテーゼによれば「計算可能関数」は、それを計算しようとする計算モデルがチューリング完全であれば計算できる。 一般的なプログラミング言語の背景にある計算モデルの多くはチューリング完全である。一見単純な機能しか持たない言語がチューリング完全な例としては、Lazy K、Brainfuckなどがある。究極的に単純な計算モデルとしては「ウルフラムの2状態3記号チューリングマシン(英語版)がチューリング完全であると証明されている。 チューリング完全かどうかという事は、計算可能性理論の問題である。計算複雑性の分野の問題である時間や記憶容量の消費量に

  • 1