プログラミング

特定のコンピューティングの結果を得るために実行可能なコンピュータープログラムを設計・構築する過程

プログラミング英語: Programming)とは、コンピューター上で、ある特定のコンピューティングの結果を得るために、実行可能コンピュータープログラムを作成することである。

インターネットチェスのプログラムLichess人工知能のプログラミングの例。もしb3にいる白のビショップがa2に移動すれば、黒のナイトを取る。プログラムは黒にとっての有利手を探索するよう試みるため、その後、b1のポーンが(a2に移動して)ビショップを取る可能性が高いと計算する。黒のプレイヤーは、ポーンをc2に移動したところである。

プログラミングが関係するタスクの例として、アルゴリズムの生成、アルゴリズムの正確さとリソースの消費量のプロファイリング、選択したプログラミング言語でのアルゴリズムの実装(これは一般にコーディング英語:coding)と呼ばれる)などがある[1][2]

プログラムのソースコードは、コンピューターCPUで直接実行される機械語ではなく、プログラマー(ヒト)が理解できるプログラミング言語で書かれる。プログラミングの目的は、あるタスクを自動化する一連の命令をコンピューターに実行させ、与えられた問題を解決することである。

プログラミングを行うには、アプリケーションドメインに関する知識、特定のアルゴリズム、形式論理など、さまざまな主題への専門性が要求されることが多い。

プログラミングに関係する作業には、テストデバッグソースコードのメンテナンス、ビルドシステムの構築、コンピュータープログラムの機械コードなどの生成されたアーティファクト英語版の管理などがある。これらのプロセスはプログラミングのプロセスの一部と考えられるが、広義のプロセスはよく「ソフトウェア開発」と呼ばれ、実際にコードを書く行為に対しては、「プログラミング」、「実装」、「コーディング」という名前が使われることが多い。ソフトウェア工学 (software engineering) は、エンジニアリングの技術をソフトウェア開発の実践と組み合わせたものである。「リバースエンジニアリング」はこの逆のプロセスを表す。「ハッカー」とは、技術的な知識を使って問題を解決する技術のあるすべてのコンピュータの専門家を表す言葉であるが、一般的な用語では「セキュリティハッカー英語版」と同じ意味でも使われている。

歴史 編集

 
エイダ・ラブレスLuigi Menabrea英語版の論文の最後には、解析機関の処理のために設計された最初のアルゴリズムについて書かれた彼女のメモが記載されている。彼女は、世界史上初のコンピュータープログラマーであると考えられている。
 
パンチカードのつまった箱。プログラムデッキがいくつかある。
 
IBM 402 Accounting Machineのための配線された制御パネル。

最古のプログラマブルな機械(プログラムによって動作の変化を制御できる機械)としては、1206年にアル=ジャザリが作った二足歩行ロボットがあると言われている。アル・ジャザリのロボットは、ボートに4体の演奏人形が乗ったもので、宮廷のパーティで池に浮かべて音楽を演奏したと言われている。プログラムはカムにあり、それによって小さなてこを押して、打楽器を演奏する。カムは実際には円筒にペグが突き刺された形であり、このペグの配置でプログラミングし、演奏パターンを変更した[3]

1801年に開発されたジャカード織機がプログラマブルな機械の起源とされることが多い。この機械は、穴を開けた一連の厚紙(パンチカードの原型)を使った。穴の配列が布を織る際のパターンに対応している。従って、カードを入れ替えることで全く異なる布を織ることができた。1830年ごろには、チャールズ・バベッジパンチカードを使った解析機関を考案した。

このような先駆者の発明をさらに発展させたのがハーマン・ホレリスであり、1896年にタビュレイティング・マシン・カンパニー(Tabulating Machine Company、後のIBM) を設立した。彼はホレリス式パンチカード、タビュレーティングマシンキーパンチ機などを発明した。これらの発明が情報処理産業の基礎となったのである。1906年には、タビュレーティングマシンにプラグボードを追加することで、組み替えれば様々な仕事ができるようになった。これがプログラミングへの第一歩である。1940年代には、プラグボードによるプログラマブルな機械が各種登場していた。初期のコンピュータにもプラグボードでプログラムを組むものがあった。

フォン=ノイマン・アーキテクチャの発明により、プログラムをコンピュータのメモリに格納できるようになった。初期のプログラミングは機械語のコードを直接並べる(「コーディング」の本来の意)ことで行われた。入力方法としては穿孔カードや鑽孔テープが利用された他、スイッチなどで直接入力したり、まだ半導体技術などのない時代のため、ROMに相当する電気的配線を直接変更したりすることもあった。しかし、機械語の命令は人間にとって扱いにくく、代わりにニーモニックと呼ばれる略語を割り当てたアセンブリ言語により、プログラマは命令をテキスト形式で記述できるようになった。しかし、アセンブリ言語は機械語と同様にプロセッサの種類ごとに異なるため、(意図的に互換性があるように設計された機械以外では)他機種にはそのまま流用できなかった。また(人間から見れば)単純な処理でも、機械が操作できる基本的な処理命令は細粒度であり、大量に記述する必要があった。

そこで、特定のコンピュータに依存しない記述方法で、処理の内容をより抽象的に記述するためのプログラミング言語が開発された。そして、プログラミング言語によって記述されたプログラムを、コンパイラを利用して機械語に翻訳することで、実行プログラムを作成することが一般的になった。1954年、最初のプログラミング言語の1つであるFORTRANが開発された。これにより、演算を直接数式のように記述できるようになった(例えば、Y = X*2 + 5*X + 9)。このプログラムの記述(あるいは「ソース」)はコンパイラと呼ばれる特別なプログラムで機械の命令に変換される。他にも様々な言語が開発された(ビジネス用途のCOBOLなど)。プログラムの入力は依然としてパンチカードやさん孔テープで行われていた。1960年代後半、記憶装置や端末の価格が低下してきたことにより、キーボードから直接コンピュータにプログラムを入力できるようになってきた。また同じ頃、コンピュータによる処理対象のデータとしての文書についてもコンピュータ自身を利用して編集されるようになり[注釈 1]最初はラインエディタ、続いてスクリーンエディタといった、テキストエディタが開発され、それらによってソースコード自身がコンピュータ上で編集されるようになった。

コンピュータの能力は時と共に飛躍的に向上した。このため、より抽象化されたプログラミング言語が開発されるようになっていった。抽象化レベルの高い言語はオーバーヘッドも大きいが、コンピュータ自体の性能の向上が激しいため、多少オーバーヘッドが増えても以前よりも高性能な動作が実現された。このような抽象化レベルの高い言語の利点は、習得が容易であることと、プログラム作成時間が短縮されること。そして何より、バッファオーバフロー等の危険性を孕んだプログラムを書く余地が無いこと、である。しかしそれでも、巨大で複雑なプログラムや、高速性が何よりも重視されるプログラムでは、現在でも比較的低レベルな言語を使っている。

20世紀後半を通して、先進国ではプログラマが魅力的な職業の1つとされてきた。しかし、発展途上国の安い労働力をプログラミングに利用する傾向が強まっている。この傾向がどれだけ続くのか、それによってどのような影響があるのかは未知数である。

プログラミングの過程 編集

 
BASICによるプログラム例

まず、そのプログラムの目的、さらには「本当に解決したい問題は何なのか」ということについて十分な検討が必要である(ワインバーグの著書などを参考のこと)。プログラミングの過程は文書化され、将来の拡張に利用できるため、これは非常に重要なことである[4]

続いて、全体のスタイルをおおまかに2つに分けると「トップダウン設計」と「ボトムアップ実装」[5]になる。「なんとかの設計と実装」といったようなタイトルの本が多くあるように、どちらも重要だが、一般に対象についてよくわかっているものについてのプログラミングでは前者のスタイル、よくわかっていない場合は後者のスタイルとする。「設計された通りに実装することは不可能」といった場合に開発体勢の問題などから正しい対処がされないまま、設計と実装がちぐはぐになったプロダクトは悲惨である。また反復型開発では、あまりに大きなプログラムを一方通行のプロセスで書くことは最初から避けるものとされる。

目的のプログラムを書き始める前に、まずテストを書く、というスタイルもある(これを、「テストファースト」という。詳しくは、テスト駆動開発を参照)。あるいは対象が有限オートマトンプロセス計算など、形式手法的な方法でモデル化できるのであれば、まずはそのようにすべきである(本来はモデル主導というのはそのような意味のはずである)。

最初の段階として、トップダウン設計では軽量プログラミング言語や、非形式的な記述が適している場合には擬似言語擬似コード)などで全体設計を検討する。ボトムアップ実装では、階層構造の「葉」にあたるサブルーチンの実装を検討する[注釈 2]。なお、流れ図フローチャート)はコンピュータの黎明期である1940年代後半に、当時のプログラムは機械語[注釈 3]で読むのも書くのも難しかったことから、補助のために使われその当時には有用性が高く(en:Herman Goldstine#The First Draftに当時の流れ図がある)、MIXという機械語を使っている教科書『The Art of Computer Programming』などでは使われているが、現代のプログラミング言語でも有用と信じられていることもあるようである。

プログラミングの過程で、ソースコードを記述することを特に指してコーディングという。元々は機械語が符号であること、またはアセンブリ言語のニモニックがまるで暗号みたいである(正確には「コード」は暗号の1分類。コード (暗号) を参照)というところからコンピュータプログラムに「コード」という語が使われ、それを書く作業というきわめて限定された意味の語だったが、近年はHTMLを書くという意味にも使われるなど濫用され気味である(なお、デモシーンでは機械語のテクニックを駆使して高効率のプログラムを書く、というような本来の意味に近い意味で使われている)。

可能な限り避けたいものではあるが、プログラムにはバグ (bug) の混入が避けられない。場合によっては仕様にバグがあることもある(もっとひどい場合には標準規格のようなものでもバグがある)。デバッグ (debug) とはバグを取る作業であり、プログラミングの過程に必要なものとして見積りなどでは含めておかなければならない[注釈 4]

一旦の完成の後も、ある程度の期間使われるプログラムでは、使用しているうちに、プログラムの性能や機能に新しい要求が発生したり、プログラムの設定を変更する必要がでてきたり、テストにより発見できなかったバグが見つかることがある。このような事態に対応するため、プログラムを保守していく作業が必要になる。

プログラマ 編集

プログラミングをする人をプログラマという。プログラミングを行うには一般に、コンピュータ科学を中心としたプログラミングそれ自体についての能力や知識と、書こうとするプログラムが対象とする問題領域などについての能力や知識の両方が必要である。

職業としてのプログラマ 編集

プログラマの仕事 編集

この他、プログラムが、作者以外の人によって利用される場合には、プログラムの利用方法や機能について質問を受けることがある。プログラムを、意図したとおり稼働させてゆくためには、これらの問い合わせに対応する必要もある。

一般に、職業としてプログラミングを行う場合、これらの作業が工程として含まれる。大規模なプログラミングでは、これらの作業を分業することも多い。

このような業務は、ソフトウェア工学という学問のソフトウェア開発工程の分野として扱われる。

プログラミング言語 編集

プログラミング言語が異なれば、プログラミングのスタイル(プログラミングパラダイム)も異なる。どの言語を使うかの判断には、企業としてのポリシー、その用途への適合性、サードパーティのパッケージが使えるか、個人の好みなど様々な要素がある。理想的には、用途に最も適した言語を選ぶべきである[6]。しかし、その言語を使えるプログラマが十分揃えられないとか、その言語の処理系に問題があるとか、実行時の効率が悪いといった問題から、最適な言語を選べないこともある。

アレン・ダウニー (Allen Downey) は、著書『計算機科学者のように考える方法』(How To Think Like A Computer Scientist) で次のように書いている。

言語が違えば、詳細も違って見えるが、どんな言語にも次のような基本的命令要素がある。

入力: キーボード、ファイル、その他の機器からデータを入手する。
出力: 画面にデータを表示したり、ファイルその他の機器にデータを送る。
演算: 加減算のような基本的算術操作を行う。
条件付き実行: 条件をチェックして、一連の処理を行うか否かを判断する。
繰り返し: ある処理を繰り返し実行する。通常、毎回何かが変化している。 — Allen B.DowneyHow to Think Like a Computer Scientist§What is a program?

プログラミングパラダイム 編集

今日までに、プログラミングの進歩に貢献したパラダイムとして、次があげられる:

プログラミングには、文字による言語で記述する方法ばかりではなく、視覚言語や図形言語で記述する方法であるビジュアルプログラミングという方法もある。

最近のプログラミング 編集

品質 編集

ソフトウェア開発手法がどうであれ、最終的にはプログラムは基本的な属性を満たさなければならない。プログラミングにおいてそれを気にかけておくことで、デバッグやその後の開発およびユーザーサポートにかかる時間とコストを削減できる。ソフトウェア品質を確保する方法は様々だが、以下の5つの属性が最も重要である。

  • 効率性: リソース使用量(プロセッサ、メモリ、デバイス、ネットワークその他)は可能な限り少ない方がよい。
  • 信頼性: プログラムは正しく動作しなければならない。それは単にソースコードが正しく実装されているというだけでなく、誤差の伝播を少なくするとか、典型的な値の範囲に関するエラー(オーバーフロー、アンダーフロー、ゼロ除算など)を防ぐという観点も含まれる。
  • 頑健性: データ型の間違いなど実行時エラーによるプログラム停止を誘発するような事態に対処できなければならない。これは、特にユーザーとのやり取りの場面や、エラーメッセージの処理などで重要となる。
  • 移植性: 再プログラミングしなくとも、任意のソフトウェア環境やハードウェア環境で動作すべきである。
  • 可読性: 後の保守をコーディングした人が行うとは限らないため、命名規則やコメントなどをわかりやすくしておく。

方法論 編集

ソフトウェア開発の第一段階は要求分析であり、その後モデル化し、実装し、デバッグする。これら作業については様々な方法論がある。要求分析で一般的な方法論としてユースケース分析がある。

モデル化技法としてはオブジェクト指向分析設計 (OOAD) とモデル駆動型アーキテクチャ(MDA)がある。統一モデリング言語 (UML) は OOAD や MDA での記法として使われている。

データベース設計では、似たような技法として実体関連モデルがある。

実装技法としては様々なプログラミングパラダイムがある(オブジェクト指向プログラミング手続き型プログラミング関数型プログラミング論理プログラミングなど)。

デバッグには統合開発環境 (IDE) が使われることが多い(Visual StudioNetBeansEclipseなど)。独立したデバッガ(gdbなど)も使われている。

言語利用状況 編集

どのプログラミング言語が一番使われているかというのは、非常に難しい問題である。言語によっては特定の分野でのみ一般的なものもあるし(例えば、COBOLは企業のデータセンターでよく使われており、FORTRANは科学技術計算に強く、C言語は組み込み市場で強い)、汎用的に様々なアプリケーションを書くのに使われている言語もある。

言語の人気を測定する手段として、求人広告に挙げられている言語を数え上げる方法がある[7]。また、既存のソースコードの行数を言語毎に推計する方法もある(ただし、言語によって同じ機能を実現するのに必要な行数が異なるため、補正が必要)。

デバッグ 編集

バグだらけのプログラムは使いものにならないため、デバッグは重要である。C言語やアセンブリ言語などは、慣れたプログラマであっても、バッファオーバーランや不正なポインタやメモリの初期化忘れ/解放忘れといったバグを作りこみやすい。バッファオーバーランは隣接するメモリ領域を破壊し、全く関係ない箇所でプログラムに異常が発生する原因となる。このため、C言語やC++でのプログラミング向けに ValgrindPurifyBoundsChecker といったメモリデバッガが開発されてきた。

JavaC#PHPPython といった言語にはそのような問題がほとんどないが、性能は低い。ただし、データベースアクセスやファイル入出力が性能を決定付けるような分野では、これらの言語の性能でも何ら問題ない。また、最近ではこれらの言語の処理系でも性能が向上してきている。

プログラミングコードがある程度自動生成できるようになった今、専門家の予測通りプログラミングエンジニアの役割は変わりつつあるが[8]、現時点ではコード自動生成の商用・学術利用には著作権上の課題がある[9]。さらに、自動生成されるプログラミングは、セキュリティとデバッグに大きな課題をもたらす。

プログラミングレス思想 編集

プログラミング言語が使えるようになったことにより、機械語によるプログラミングを人間が直接する必要がなくなったのも一種の「プログラミングレス」だと言えばそれは大成功していると言えるだろうし(プログラミング言語の研究はその初期には「自動プログラミング」等と呼ばれていた)、結局「思想」というものが何を指すのか明確でないので、どうとでも言えることである。あるいは、現代においてはアプリケーションソフトウェアを使うだけでもコンピュータの利活用の幅がおおいにある、というのも一種の「プログラミングレス」であろう。理屈としては、ドメイン固有言語のうち、チューリング完全でないようなものは汎用の言語ではないから、それらを使ったコンピュータの利活用も「プログラミングレス」と言えなくもない。また、GUIによる設定やドラッグ&ドロップでアプリケーションが開発できることなどを指して、プログラミングレス、あるいは、ノンプログラミングということもある[10]

プログラミング教育 編集

プログラミング学習では、従来のプログラミング教育に比べて、Scratchに似たプログラミング教育ソフト「Alice」が非常に効果的で、プログラミングの習熟度向上との相関は0.54[11]

大会 編集

議論 編集

プログラムを書くことはアートなのか、クラフトなのか、工学なのかという議論がある[12][13]。よいプログラミングには、それら3つの要素すべてが必要とされ、最終的に効率的で保守しやすいソフトウェアを生み出すことを目的とする(何が効率的で、何が保守しやすいかという判断も様々である)。「プログラムを書くことは設計をすること」という意見もある[14]

プログラミングに関する資格 編集

国家資格 編集

 公的資格 編集

 民間資格 編集


プログラミングスクラッチ

プログラミングには、様々な種類があるが、中でも、小中学生が意欲的に取り組めるプログラミングスクラッチというものがある。これは、ブロック同士を繋げて、一つのプログラム、そして、世界に一つだけのプログラムを作ることができる。できることは無限大で、とても楽しく勉強ができる。

脚注 編集

注釈 編集

  1. ^ これは、タイムシェアリングシステムの発達とも関連する。
  2. ^ たとえば、アクションゲームで1フレーム中に行わなければならない計算が可能かどうかが、開発の最後までわからなかったりしては困るだろう。
  3. ^ ないし極く単純なアセンブリ言語
  4. ^ ただし、デバッグがあることをあてにしてルーズにプログラムを書くことは厳に戒められねばならない。バグにも種類があり、たとえば、インタプリタでも最初の構文解析で検出されるような簡単なものなら問題ないが、突き止めるのが極めて困難な部類のバグ(特異なバグを参照)はできる限り早い時点で回避されるに越したことはない。
  5. ^ 2019年度(令和元年度)秋期まではCOBOLが選択可能だった。
  6. ^ 元々は初級システムアドミニストレータ試験(初級シスアド)に出題されていたが、2009年より基本情報技術者試験に移行した。初級シスアドは2009年春期を最後に廃止された。
  7. ^ 2011年まではPerlが出題対象に含まれていた。

出典 編集

  1. ^ Shaun Bebbington (2014年). “What is coding”. 2014年3月3日閲覧。
  2. ^ Shaun Bebbington (2014年). “What is programming”. 2014年3月3日閲覧。
  3. ^ A 13th Century Programmable Robot. University of Sheffield.
  4. ^ Villiger, Jessica; Schweiger, Simone A.; Baldauf, Artur (2022-10). “Making the Invisible Visible: Guidelines for the Coding Process in Meta-Analyses” (英語). Organizational Research Methods 25 (4): 716–740. doi:10.1177/10944281211046312. ISSN 1094-4281. http://journals.sagepub.com/doi/10.1177/10944281211046312. 
  5. ^ http://catb.org/jargon/html/B/bottom-up-implementation.html
  6. ^ 荒井省三、いげ太『実践F# 関数型プログラミング入門』技術評論社。ISBN 978-4-7741-5127-4https://books.google.co.jp/books?id=NsSkLRVZ0fQC&pg=PA27#v=onepage&q&f=false 
  7. ^ Survey of Job advertisements mentioning a given language
  8. ^ What Are The Benefits Of Chat GPT-4 Over GPT-3.5”. mytasker.com. 2023年5月26日閲覧。
  9. ^ Arnold, Vanessa (2023年2月21日). “ChatGPT Copyright: Everything you need to know” (英語). neuroflash. 2023年5月26日閲覧。
  10. ^ 株式会社エクス コラム 「ノンプログラミング が熱い!7つの背景」 2017年11月13日閲覧
  11. ^ Costa, Joana M.; Miranda, Guilhermina L. (2017-11). “Relation between Alice software and programming learning: A systematic review of the literature and meta‐analysis” (英語). British Journal of Educational Technology 48 (6): 1464–1474. doi:10.1111/bjet.12496. ISSN 0007-1013. https://bera-journals.onlinelibrary.wiley.com/doi/10.1111/bjet.12496. 
  12. ^ Paul Graham (2003年). Hackers and Painters. http://www.paulgraham.com/hp.html 2006年8月22日閲覧。. 
  13. ^ Paul Graham『ハッカーと画家』オーム社、2005年 ISBN 978-4-274-06597-2
  14. ^ s:プログラマが知るべき97のこと/コードは設計である

関連項目 編集