目次
三進法
三進法（さんしんほう）とは、3 を底（てい、基（base）とも）とし、底の冪の和で数を表現する方法である。
見る Setunと三進法
二進法
とは、底を2とする位取り記数法および命数法である。二進法によって表された数をと呼ぶ。二進法において、位は順に底2の冪（）ごとに取り、位の値は 0 または 1 を取る（例：十進数の は二進法で 、 は と表される）。
見る Setunと二進法
モスクワ大学
モスクワ大学（モスクワだいがく）は、ロシア・モスクワにある国立大学。正式名称は、M. V. ロモノーソフ名称モスクワ国立総合大学（Московский государственный университет имени М. В. Ломоносова、略称: МГУ エム・ゲー・ウー）である。創設者ミハイル・ロモノーソフの名前が冠されており、サンクトペテルブルク大学と並ぶロシアの名門大学である。
見る Setunとモスクワ大学
ビット
ビット (bit) は、情報理論、コンピューティング、多くのデジタル通信における情報の基本である。ビットは、コンピューティングでの二値ストレージやデジタル通信における二値シンボルのことも意味し、そのストレージ・シンボルには、（情報量の単位としての）1ビットの情報を記憶・符号化できる。二進数の1桁のことであり、その名前はbinary digitの2語の一部を組み合わせた語（かばん語）である。 情報理論では、1ビットは通常、等しい確率で0または1である二進数ランダム変数の情報量（情報エントロピー）、またはそのような変数の値が判明したときに得られる情報として定義される。情報量の単位として、このビットはクロード・シャノンにちなんで名付けられたシャノンとも呼ばれる。厳密には、ビットはデータ量（ストレージ量）の単位、シャノンは情報量の単位と区別するが、歴史的経緯により後者も前者と同じ単位（ビット）で表現され、誤りの可能性を無視してよければNビットのストレージによりNビットの情報量が保持できる。
見る Setunとビット
分岐命令
分岐命令（ぶんきめいれい、branch instruction）は、プロセッサの命令のうちプログラム制御命令(Program control instruction)の一種である。ジャンプ命令ともいう。条件ジャンプ命令と無条件ジャンプ命令があり、厳密には「分岐」するのは条件ジャンプであって無条件ジャンプは「分岐」と言えないかもしれないが、特に区別しないことが多い。サブルーチン呼出や戻りの命令も分岐命令の一種とすることもある。 一般的なプロセッサでは、機械語の命令列はアドレスの昇順に逐次実行されるが、分岐命令が実行されると次に実行される命令が切り替わる。高水準言語のコンパイラは、条件文・Goto文・サブルーチンなどの制御構造から分岐命令を生成する。
見る Setunと分岐命令
エドガー・ダイクストラ
エドガー・ダイクストラ（Edsger Wybe Dijkstra, 1930年5月11日 - 2002年8月6日）は、オランダ人の計算機科学者。1972年、プログラミング言語の基礎研究への貢献に対してチューリング賞を受賞。構造化プログラミングの提唱者。1984年から2002年に亡くなるまでテキサス大学オースティン校の計算機科学の Schlumberger Centennial Chair を務めた。 2002年の死の直前、プログラム計算のについての仕事に対して ACM PODC Influential Paper Award を授与された。この賞は翌年からダイクストラを称えてと呼ばれるようになった。
コンピュータ
コンピュータ（computer）は、広義には、計算やデータ処理を自動的に行う装置全般のことである『日本大百科全書』コンピュータ。今日では、特に断らない限りエレクトロニクスを用いたエレクトロニック・コンピュータ（、漢字表記では電子計算機）を指す。 「コンピュータ」とは、元は計算する人間の作業者を指したが、今では計算する装置あるいはシステムを指す。 歴史的には、機械式のアナログやデジタルの計算機、電気回路によるアナログ計算機、リレー回路によるデジタル計算機、真空管回路によるデジタル計算機、半導体回路によるデジタル計算機などがある。 1970年代や1980年代頃まではコンピュータといえばアナログコンピューターも含めたが、1990年代や2000年頃には一般には、主に電子回路による、デジタル方式でかつプログラム内蔵方式のコンピュータを指す状況になっていた。（広義の）演算を高速かつ大量に行えるため多用途であり、数値計算、情報処理、データ処理、制御、シミュレーション、文書作成、動画編集、ゲーム、仮想現実（VR）、画像認識、人工知能などに用いられる。さらに近年では、大学や先端企業などで、量子回路（現在よく使われる電子回路とは異なるもの）を用いた量子コンピュータも研究・開発されている。 様々な種類があり、メインフレーム、スーパーコンピュータ、パーソナルコンピュータ（マイクロコンピュータ）などの他、さまざまな機器（コピー機、券売機、洗濯機、炊飯器、自動車など）に内蔵された組み込みシステムやそれから派生したシングルボードコンピュータもある。2010年代には板状でタッチスクリーンで操作するタブレット（- 型コンピュータ）、板状で小型で電話・カメラ・GPS機能を搭載したスマートフォンも普及した。 世界に存在するコンピュータの台数は次のようになっている。
見る Setunとコンピュータ
セルゲイ・ソボレフ
セルゲイ・リヴォーヴィチ・ソボレフ（Серге́й Льво́вич Со́болев、Sergey Lyvovich Sobolev, 1908年10月6日 - 1989年1月3日）は、ロシアの数学者である。偏微分方程式と解析学の分野で研究を行った。モスクワで亡くなった。
磁気ドラムメモリ
磁気ドラムメモリ装置 磁気ドラムメモリ（じきドラムメモリ、Magnetic Drum Memory）は、1932年、オーストリア・ウィーン出身のドイツの技術者グスタフ・タウシェクが発明した記憶装置である。
Forth
Forth（フォース）は、スタック指向のプログラミング言語およびそのプログラミング環境である。Forth はしばしば、かつての習慣に従ってすべて大文字で綴られることもあるが、頭字語ではない。
見る SetunとForth
RISC
RISC（reduced instruction set computer、リスク）は、コンピュータのプロセッサの命令セットアーキテクチャ (ISA) の設計の方向性として、命令セットの複雑さを減らすことすなわち、命令の総数や種類を減らし、それぞれの命令が行う処理を単純なものにし、命令フォーマットの種類を減らし、オペランドのアドレッシングを単純化する、などといった方向性により「命令セットを縮小して」設計されたコンピュータ（プロセッサ）である。この方向性が新しいものとして提案された際、従来のその逆の方向性を指すレトロニムとしてCISCという語が同時に提案された。
見る SetunとRISC
構造化プログラミング
は、コンピュータプログラムの処理手順の明瞭化、平易化、判読性向上を目的にしたプログラミング手法である。一般的には順接、分岐、反復の三種の制御構造（control structures）によって処理の流れを記述することと認識されている。制御構造は制御構文、構造化文（structured statement）、制御フロー文（control flow statement）とも呼ばれる。また、プログラムを任意に分割した部分プログラム（サブルーチンとコードブロック）の階層的な組み合わせによるプログラムの構造化も指している。 このプログラミング手法の普及に貢献したのは、1968年の計算機科学者エドガー・ダイクストラによるACM機関紙への投書「Go To Statement Considered Harmful」と言われている。しかし同じくダイクストラが、1969年度NATOソフトウェア工学会議で発表した論文「Structured Programming」との混同を招いてこちら側の名称で知られるようになった。現在に到るまでの国内外の多くの書籍で、構造化プログラミングは制御構文に関する説明に結び付けられている。なお、1969年の論文内容はプログラム正当性検証のための設計技法を扱っており、トップダウン設計、段階的な抽象化、階層的なモジュール化、抽象データ構造と抽象ステートメントを連携させる共同詳細化といった考え方が提唱されていた。
3値論理
3値論理 (ternary) とは、通常の真 と偽 から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。 古典論理は排中律を前提としているが、クルト・ゲーデルによって「正しいが証明できない命題」が存在することが証明されたため、「二重否定の除去」を認めない直観主義論理などが成立した。これは様相論理学の一種ともいえ、「真であることが証明可能である」「偽であることが証明可能である」「真であるか偽であるかが証明不能である」の三つの真偽値を考える必要があった。
見る Setunと3値論理