情報工学

情報工学︵じょうほうこうがく、information engineering︶は計算機とその応用について考える学問である。数学、論理学、工学にその起源を持つ。1970年代から学問の分野として成立し、手法や用語が確立された。

歴史的な背景を鑑みると、﹁情報工学﹂は工学の一分野であり、﹁計算機科学﹂は理学に近い。このことから、情報工学がどちらかといえば応用を重視するのに対して、計算機科学のほうがより理論的な面を重視する、という見方もある。

日本における情報工学の位置づけ

情報工学とは﹁情報﹂を工学的に利用するための学問分野である。情報の発生︵データマイニング、コンピュータグラフィックスなど︶、情報の伝達︵コンピュータネットワークなど︶、情報の収集︵コンピュータビジョン、検索エンジンなど︶、情報の蓄積︵データベース、データ圧縮など︶、情報の処理︵計算機工学、計算機科学、ソフトウェア工学︶を扱う総合的な工学分野といえる。また情報工学を、物理現象を支配している原理や法則や社会・経済活動を情報という観点から捉え，コンピュータ上の設計手順に変換することにより自動化する方法を創出する学問分野とする見方もあり、これは英語でいうコンピューティング (Computing) に相当する。

●学科名としては、京都大学︵工学部︶および大阪大学︵基礎工学部︶に、1970年初めて、情報工学科が登場する。同年、東京工業大学には情報科学科が、また、電気通信大学および山梨大学には計算機科学科が、金沢工業大学には情報処理工学科が設立された。

●情報工学はComputer Scienceと訳すことが多い。日本の大学の﹁情報工学科﹂で英語名を Information Engineering とするところは、2007年時点で、8/33程度である。Information Engineering を掲げる例に、ケンブリッジ大学の Information Engineering Division がある。

●情報処理学会が策定した標準カリキュラム J97 (CS-J97)

●ACM︵米国計算機学会︶とIEEE︵米国電気電子学会︶が共同策定した Computing Curricula 2001

基礎的な理論

●集合論

●離散数学

●ブール代数

●記号論理学

●情報理論

●情報証明論
●Mizar

●統計学

●計算理論
●チューリングマシン

●ラムダ計算

●アルゴリズム

●データ構造

●形式言語
●正規言語

●文脈自由言語

●プログラム意味論
●操作的意味論

●公理的意味論

●表示的意味論

●領域理論

ソフトウェア技術

●オペレーティングシステム
●メモリ管理

●スケジューリング

●排他制御

●プロセス間通信

●並列処理

●プログラミング言語

●コンピュータセキュリティ

●データベース

●コンピュータネットワーク
●インターネット

●暗号理論

●符号理論
●データ圧縮

●誤り検出

●誤り訂正

●人工知能
●認識 - パターン認識

●機械学習

●自然言語処理

●ユーザインタフェース

●ソフトウエア工学

情報工学が応用される技術

●計算科学

●CAE

●コンピュータグラフィックス

●コンピュータビジョン

●機械翻訳

●音声認識

●データマイニング

●データウェアハウス

●World Wide Web (WWW)

●検索エンジン

●分散コンピューティング

●ユビキタスコンピューティング

その他

●情報工学者一覧、コンピュータに関する人物一覧

●コンピュータ用語一覧、プログラミング用語 (分野別)

参考文献

(一)^ 情報工学科のねらい 慶應義塾大学 情報工学科

(二)^ 情報工学とは何か 大阪電気通信大学 情報工学科

(三)^ カリキュラム 芝浦工業大学 情報工学科

(四)^ CUED - Division F: Information Engineeringケンブリッジ大学

関連項目

●情報処理

外部リンク

●J97-︵社︶情報処理学会