プランカルキュール - Wikipedia
プランカルキュール（独: Plankalkül、英: Plan Calculus）はコンラート・ツーゼが研究目的で考案したプログラミング言語。世界初の非ノイマン型高級言語として1942年から1945年にかけて設計された。1941年に記述されたこの言語に関するメモが現在も残されている。 プランカルキュールは第二次世界大戦や戦後の混乱期が重なり、また彼自身も計算機Z3を商業化するのに忙しかったため公には発表されなかった。ツーゼは1946年にこの言語に関する書籍[1]を執筆したが発行されなかった。ツーゼは1948年に"Archiv der Mathematik"というタイトルでプランカルキュールについての論文を発表したが反響はほとんどなく、長年にわたりマシン語でなければコンピュータのプログラムは作成できないと考えられていた。 1972年になってようやくプランカルキュールが発表され、1998年に最
充足と恒偽のあいだ - ひとり勉強会 (2009-02-09)
あるいは、ランダムなSAT問題の答えを分ける不思議な数字、4.27。 調べたり実験したりしてたら面白くなってきたので、まとめておきます。 3-SAT? 3-SAT は、「「「変数か、変数を NOT した式」を3個 OR で繋げた式」を何個か AND で繋げた式」が与えられたときに、「式全体の値が true になるように変数の値を決めることができるか？」を判定する問題です。NP完全問題の代表例として有名です。たとえば (x1 || x2 || x3) && (!x1 || !x2 || !x3) && (x1 || !x3 || !x4)この論理式は、x1=true、x2=false、x3とx4は適当に決めれば全体は true になるので、答えは "SATISFIABLE (充足可能)" です。 一方で、ちょっと人工的ですが、 (x1 || x1 || x1) && (!x1 || !x1
フルHDテトリスmore
ヘッダを 閉じる フルHDテトリスmore NGworksではツールとかゲームとか実験とかそういうものを公開していく予定です
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Verilog RTLでGraph Reduction - 関数型日記（仮）
Home
巡音ルカのオリジナル曲 Japanese Ninja No.1 -Full ver.-