目次
18 関係: AutoHotkey、AutoIt、Automator、型システム、マウス (コンピュータ)、命令型プログラミング、ウェブブラウザ、オブジェクト指向プログラミング、キーボード (コンピュータ)、動的型付け、BASIC、自由ソフトウェア、Internet Explorer、Mac (コンピュータ)、Microsoft Excel、Microsoft Windows、構造化プログラミング、手続き型プログラミング。
AutoHotkey
AutoHotkeyとは、Microsoft Windows上で動作するユーティリティソフトウェア、スクリプト言語である。
AutoIt
AutoIt（オートイット）はWindows用のプログラミング言語である。 AutoItはWindows用プログラムのGUI自動操作機能を主な特徴としている。スクリプトは実行形式にコンパイル可能であり、コンパイルしたものはAutoItインタプリタのインストールされていない環境でも動作する。フリーウェアであり非常に多くのライブラリ、開発ツールが存在する。
見る UWSCとAutoIt
Automator
Automator（オートメーター）とは、Appleが開発するワークフロー構築ソフトウェアである。
型システム
型システム（かたシステム、type system）は、コンピュータプログラミングの数々の構成要素および値に対して、型（type）と呼ばれる特性を付与するための数々の規則群から成立している形式体系である。型の付与は、型付け（typing）と言われる。例えば、変数・式・関数・モジュール・オブジェクトなどが型の付与対象になり、それらの型付け要素を規則的な関係でまとめたデータ構造にも型は付与されてカテゴライズされる。 型システムの目的は、プログラムエラーとバグの発生を抑止することである。そのための型安全性とは、各計算および各オペレーションでの型エラー（不正計算、ロジックエラー、バッファオーバーフロー、不正ポインタなど）の発生を防止することと同義になる。
見る UWSCと型システム
マウス (コンピュータ)
2ボタン型・ボール式マウス マウスボール マウス（mouse）とは、コンピュータの操作全般に用いられる入力機器の一つであり、画面上に表示された物の場所を指し示して選択するための装置（ポインティングデバイス）の一種である。キーボードとともに広く使われる。
命令型プログラミング
命令型プログラミング（めいれいがたプログラミング、imperative programming）は、プログラムのを変化させるステートメントを基本文に用いる総称的なプログラミングパラダイムである。ステートメントではコマンド（命令文）が多用される。宣言型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。宣言型の数学的性質に対して、命令型はノイマン型コンピュータ向けの計算機科学特有の性質である。このパラダイムは、手続き型、構造化、、オブジェクト指向などを包括している。 ステートメント上のコマンドで状態は変化され、変化した状態の参照でステートメントの動作も変化することは副作用と呼ばれる。コマンドと副作用の存在によって命令型プログラミングは、各オペレータを状態の遷移と照らし合わせて解釈することになる。このことから命令型はhow a program operates（どう処理するか）と形容される。
ウェブブラウザ
ウェブブラウザ（インターネットブラウザ、web browser）とは、パソコンやスマートフォン等を利用してWebサーバに接続するためのソフトウェアであり、ウェブページを表示したり、ハイパーリンクをたどったりするなどの機能がある。単にブラウザ（ブラウザー）とも呼ばれる。 主なウェブブラウザとして、Google Chrome、Safari、Microsoft Edge、Mozilla Firefox、Opera、Internet Explorer、Vivaldi等がある。Windows 7など古いOSではサポートが終了しているものがある。
見る UWSCとウェブブラウザ
オブジェクト指向プログラミング
オブジェクト指向プログラミング（オブジェクトしこうプログラミング、, OOP）とは、「オブジェクト」という概念に基づいたプログラミングパラダイムの一つである。 OOPでは、相互に作用するオブジェクトを組み合わせてプログラムを設計する。 OOPの方法として、クラスベースOOPとプロトタイプベースOOPがある。 クラスベースOOPでは、オブジェクトが属する集合としてクラスを定義し、クラス定義からそのインスタンスとしてオブジェクトを生成する。 プロトタイプベースOOPでは既存のオブジェクト（プロトタイプ）を複製し、プロトタイプの複製に変更を加えることで様々な対象を表すオブジェクトを生成する。 広く使われているプログラミング言語の多く、例えばC++やJavaやPythonなどは、マルチパラダイムであるが、程度の差はあれ、オブジェクト指向プログラミングをサポートしており、大抵は命令型や手続き型プログラミングとの組み合わせで用いられる。
キーボード (コンピュータ)
キーボード（keyboard）は、英語でキー（）と呼ばれる小さなボタンが規則正しく並び、これを指で押し下げて操作する入力装置のこと。日本語では（稀に）鍵盤（けんばん）とも。
動的型付け
動的型付け（どうてきかたづけ、Dynamic typing）とは、値やオブジェクトの型安全性を、実行時に検証するというコンピュータプログラミングの型システムの方法である。型の検査は実行時のプロセス上で行われて、ランタイムシステムの実行時型情報（RTTI）が照会されるなどして解析される。 動的な型チェックは、代入、束縛、関数適用、ダウンキャスト、ディスパッチ、バインディングといった所で行われる。なお、コンパイル時やインタプリタ開始時の最適化によってすでに型安全性が保証されている所は省略される。動的型付けの言語では、引数や返り値や変数宣言への型注釈が省略されやすくなる。 対義語は静的型付けであり、こちらでは値やオブジェクトの型安全性をコンパイル時に検証する。型の検査はソースコードの解析によって行われる。
見る UWSCと動的型付け
BASIC
BASIC（ベーシック）は手続き型プログラミング言語のひとつ。 名前は「beginners' all-purpose symbolic instruction code」のバクロニムである。日本語では「初心者向け汎用記号命令コード」を意味する。
見る UWSCとBASIC
自由ソフトウェア
自由ソフトウェア（じゆうソフトウェア、）See とは、ユーザーがどのような目的に対しても実行することを許可し、また、プログラムについて研究したり、変更したり、それを配布したりする自由も認めることを条件として配布されるコンピュータソフトウェアのことである (gnu.org)。自由ソフトウェアには、プログラムの対価として支払った価格とは無関係に、ユーザーが（個人で、あるいは、コンピュータプログラマーと協力して）ソフトウェアのコピーを用いて、自身が望むことを（自由ソフトウェアを用いて利益を獲得することを含めて）する自由が存在するということである (gnu.org)。コンピュータプログラムが自由であるとみなされる必要十分条件は、本質的には（開発者のみではなく）すべてのユーザーに第一にプログラムをコントロールする権利があるということであるとされる。したがって、ユーザーが所有する装置が「自由」であるためには、プログラムによって何が行われるのかを、ユーザーが本質的にはコントロールできなければならない。
Internet Explorer
Internet Explorer（インターネット エクスプローラー）は、マイクロソフトがかつて開発していたウェブブラウザである。以前の名称はMicrosoft Internet ExplorerやWindows Internet Explorerであった。一般的に、IEやMSIEと呼ばれる。 Windows 95からWindows 10に至るまでのWindows ファミリーに標準で含まれている。Windows Mobile（Windows CEの一部構成を含む）にはInternet Explorer Mobileが含まれていた。以前はMac用のInternet Explorer for Mac（IE:mac）や HP-UXとSolaris用のも存在したが、これらは現在サポートされていない。
Mac (コンピュータ)
Mac（マック）またはMacintosh（マッキントッシュ）は、Appleが開発および販売を行っているパーソナルコンピュータである。
Microsoft Excel
Microsoft Excel（マイクロソフト・エクセル）は、マイクロソフトがWindows、macOS、iOSおよびAndroid向けに開発・販売している表計算ソフト。 Microsoft Wordとともに、同社のオフィススイート「Microsoft Office」の中核をなすアプリケーションである。
Microsoft Windows
Microsoft Windows（マイクロソフト ウィンドウズ）は、マイクロソフトが開発・販売するオペレーティングシステム (OS) の製品群である。グラフィカルユーザインタフェース (GUI) を採用している。Windows発売以前では高価なワークステーション（ハイエンドパソコンを上回る性能のデスクトップコンピュータ）でしか実現されていなかったマルチタスクやGUIを中心とした使い勝手の良さを、一般消費者が入手しやすい標準的な規格のパソコンに順次取り込んで行き、一般向けOSのシェアのほとんどを占めるに至り、今や大きな知名度を持つ。
構造化プログラミング
は、コンピュータプログラムの処理手順の明瞭化、平易化、判読性向上を目的にしたプログラミング手法である。一般的には順接、分岐、反復の三種の制御構造（control structures）によって処理の流れを記述することと認識されている。制御構造は制御構文、構造化文（structured statement）、制御フロー文（control flow statement）とも呼ばれる。また、プログラムを任意に分割した部分プログラム（サブルーチンとコードブロック）の階層的な組み合わせによるプログラムの構造化も指している。 このプログラミング手法の普及に貢献したのは、1968年の計算機科学者エドガー・ダイクストラによるACM機関紙への投書「Go To Statement Considered Harmful」と言われている。しかし同じくダイクストラが、1969年度NATOソフトウェア工学会議で発表した論文「Structured Programming」との混同を招いてこちら側の名称で知られるようになった。現在に到るまでの国内外の多くの書籍で、構造化プログラミングは制御構文に関する説明に結び付けられている。なお、1969年の論文内容はプログラム正当性検証のための設計技法を扱っており、トップダウン設計、段階的な抽象化、階層的なモジュール化、抽象データ構造と抽象ステートメントを連携させる共同詳細化といった考え方が提唱されていた。
手続き型プログラミング
200x200ピクセル 手続き型プログラミング（てつづきがたプログラミング、procedural programming）は、コンピュータが実行すべき命令や手続き（プロシージャ）を順に記述していくことでプログラムを構成するスタイルのプログラミングパラダイムである。この「手続き」とは分類便宜上の用語であり、プログラミング言語によってはサブルーチン、関数、メソッドとも呼ばれているが、手続き型パラダイムの観点からは概ね同一視される。手続きはプログラム全体を区画した部分プログラムでもあり、一定量の計算ステップまたは命令コードのまとまりを、任意の定義名に結び付けて識別化したコードユニットである。手続き型プログラミングは命令型プログラミングの分類に属しており、厳密には命令型の部分集合だが、同一視されることもある。手続きの定義と呼び出しの機能をサポートし、プログラム全体を組み立てる土台とする言語を手続き型言語と呼ぶ。1958年のFORTRAN II、ALGOL、COBOLといった最も初期の高水準言語から導入されている。