情報科学

情報科学 に関連するIT用語一覧ページです。 ITと社会用語辞典 に属する IT用語のラインナップになります。 情報科学 に関連するその他の用語においても カテゴリ（種別）やキーワード検索、索引から探すことができます。

1/fゆらぎ	オリバー・セルフリッジ
1000人ゲノムプロジェクト	オンチップ・エミュレータ
19インチラック	オントロジー
2-3 フィンガーツリー	オーダーN法
20Q	オートチューン
2の補数	オートボクシング
2元対称通信路	オートマトン
2元消失通信路	オーバーライド
3Dlabs	オープンアーキテクチャ
3dfx	オープンコレクタ
3次元顔認識	オープンコーラ
3番地コード	オープンソースソフトウェア活用基盤整備事業
3相コミット	オープンソースハードウェア
863計画	オープンフォーマット
8P8C	オープン教育リソース
90対90の法則	オーミクス
A.outフォーマット	オーレ＝ヨハン・ダール
ABAP	カオス
ABA問題	カスタマ構内設備
ACM国際大学対抗プログラミングコンテスト	カスタム
AD/Cycle	カツ入れ
ADABAS	カテゴリー5ケーブル
ADM3A	カテゴリー6ケーブル
AHDL	カラードノイズ
AI	カリー＝ハワード同型対応
AIGLX	カルバック・ライブラー情報量
AI完全	カーマイケル数
AI将棋	カー・パリネロ法
ALTIBASE	ガウシアンブロードニング法
AMBER	キャッシュコヒーレンシ
AMSN	キャッシュレジスタ
ANSYS	キャラクタマシン
ANTLR	キャラクタユーザインタフェース
AOTコンパイラ	キャラクター・ボーカル・シリーズ
AOpen	キートレース
APL	ギコナビ
APW	ギブスの不等式
AQUOSファミリンク	ギルバート＝バルシャモフ限界
ARGO計画	クエリ実行計画
ASRock	クライアントサーバモデル
ASSY	クラス変数
ASTERIA	クラフトの不等式
ASW	クリエイティブテクノロジー
ATX	クリステン・ニゴール
ATX電源	クリストファー・ラングトン
AbiWord	クリティカルパス法
Abs	クリーンコンピュータ
ActiveBasic	クロスエントロピー
Adempiere	クロックスキュー
AiBrowser	クロック同期設計
Aipo	クロージャ
AirStation	クロード・シャノン
Akregator	クワイン・マクラスキー法
Alfresco	グスタフソンの法則
Amaya	グリーンスレッド
AmigaOne	グルーコード
Amoeba	グルー言語
Anaconda	グレーシャー計画
Anthy	グローバルインタプリタロック
AoTuV	グローバル並行性制御
Aptana	グローバル直列化可能性
Aptitude	ケネス・アイバーソン
Arch	ケモインフォマティクス
Arora	ケンジントン・テクノロジー・グループ
AspectR	ケーニスネット
AssaultCube	ゲノミクス
Astah*	ゲーデル賞
Aterm	ゲートアレイ
Audacious	ゲーミングデバイス
Audacity	ゲームエミュレータ
AudioEngine	ゲームプログラミング
Aufs	ゲーム意味論
AutoIt	コアロープメモリ
Autocode	コエラボ
Autotools	コッドのセル・オートマトン
Avahi	コナー・ペリフェラル
AviSynth	コネクトーム
Avidemux	コヒーレントポテンシャル近似
Avogadro	コミットメント順序付けの歴史
BCJRアルゴリズム	コルモゴロフ複雑性
BCPL	コルーチン
BD-J	コレコビジョン
BDS-C	コンシステントハッシュ法
BFDライブラリ	コンテキスト
BIRTプロジェクト	コンテキストスイッチ
BLAST	コントローラ
BPEL	コントロールストア
BSDの子孫	コンパイラコンパイラ
BSS-ID	コンパイラ最適化
BSch	コンビナトリアルケミストリー
BTX	コンピュータチェス
BackupHDDVD	コンピュータビジョン
Bacula	コンピュータプログラミングの概念・技法・モデル
Basic Linear Algebra Subprograms	コンピュータ・アーキテクチャ
BathyScaphe	コンポジット型ウィンドウマネージャ
Befunge	コンポーネント映像信号
Bento	コードの再利用
Beowulf	コードの臭い
Binutils	コードレビュー
Blender	コード生成
Blosxom	コード網羅率
BlueGriffon	コーパス
Bochs	コールグラフ
Bonanza	コールスタック
Brainfuck	ゴッパ符号
Brasero	ゴーストバンド
Bruce	ゴードン・ベル賞
Bugzilla	ゴールの法則
BumpTop	サイクルスチール
Buzztard	サイバーシン計画
B言語	サクラエディタ
C++/CLI	サンディスク
CANopen	シェーディング言語
CAP-X	シェープ解析
CAPTCHA	システムイメージ
CAP定理	システムサコム
CASL	シドニー・ファーンバック賞
CCDイメージセンサ	シナノケンシ
CD理論	シフトレジスタ
CHECK制約	シミュレーション
CHILL	シミュレーション仮説
CLIPS	シミュレーション天文学
CLISP	シミュレーテッドリアリティ
CLU	シムシティ
COFF	シャノン＝ハートレーの定理
COMファイル	シャフィ・ゴールドワッサー
COSMETS	シャローパーサ
COSMIC—FFP	シュガートアソシエイツ
CPUID	シュミットトリガ
CPUの冷却装置	ショットガン・シークエンシング法
CPUモード	ショット雑音
CPU製品一覧	シングルトン限界
CPU設計	シンプレックス法
CRCカード	シンボリックス
CRISC	シンボルグラウンディング問題
CTWM	シンボルテーブル
CYBERNET	シーケンスアラインメント
Cabos	シーマン
Caché	シーモア・クレイ賞
Cairo	ジェネリックプログラミング
Cdb	ジェラルド・ワインバーグ
CeCILL	ジェリウムモデル
Celestia	ジェンダーチェンジャー
CenterStage	ジェームズ・H・ウィルキンソン
Cervisia	ジェームズ・プステヨフスキー
ChaSen	ジット
ChemDraw	ジム・グレイ
CherryPy	ジャスティン・フランケル
CinePaint	ジャストインタイムコンパイル方式
Clang	ジョブショップ・スケジューリング問題
Clustal	ジョブ管理システム
CnsMin	ジョン・ギルモア
Coccinella	ジョン・コック
Coda	ジョン・バッカス
Code::Blocks	ジョン・ホップクロフト
CodeIgniter	ジョン・マカフィー
ColdFusion	ジョン・マッカーシー
Comet	スイスビット
Concept	スカラーペディア
Cool'n'Quiet	スカラー計算機
Coreマイクロアーキテクチャ	スキャンコード
Cosming-sd	スクリーンリーダー
Courier-MTA	スケジューリング
Cramfs	スタックオーバーフロー
Cream	スタックマシン
Csound	スタディノート
Ctags	スタンフォード人工知能研究所
Cyberduck	ステアリングコントローラ
Cycプロジェクト	スティーブン・クック
Cygwin/X	スティーヴ・グランド
Cython	ステータスレジスタ
Cω	スニペット
DBASE	スノーノイズ
DBDesigner	スピンロック
DBPro	スペクトル効率
DCE/RPC	スラブ近似
DCT	スレイター行列式
DDBJ	スレッド局所記憶
DESQview	スーパーコンピュータ技術史
DFP	スーパーセル法
DFPT法	スーパーミニコンピュータ
DINコネクタ	セマンティック・ウェブ
DL/I	セラック25
DNAコンピュータ	セルフコンシステント
DNAバーコーディング	セルフホスティング
DNAマイクロアレイ	ゼンド・テクノロジーズ
DOSBox	ソニーウィルス
DSpace	ソフトウェアエージェント
DTX	ソフトウェアキーボード
DWARF	ソフトウェアコンポーネント
Daemontools	ソフトウェアテスト
Dalvik仮想マシン	ソフトウェアドキュメンテーション
Darwine	ソフトウェアパイプライン
Dasher	ソフトウェアファクトリー
Datanucleus	ソフトウェアフレームワーク
DayDa.Laboo	ソフトウェアプロトタイピング
Db4o	ソフトウェア危機
DbMagic	ソフトウェア品質
Debian	ソフトウェア情報学部
Debian Live	ソフトウェア測定法
Debian社会契約	ソフトウェア設計
Dendral	ソフトウェア開発
DesktopBSD	ソフトウェア開発工程
Diff3	ソフトウェア開発者
DigiKam	ソフトコンピューティング
Django	タイゼム
Dogtail	タイトバインディング法
Dokan	タスクフォース
Donut	タルコンガ
Doxygen	タンパク質構造予測
Dpkg	ターボファイル
Dropper	ダイヤラー
Drupal	ダグラス・エンゲルバート
Dylan	ダック・タイピング
E2fsprogs	ダブルディスパッチ
EC-CUBE	ダーク補正
ECos	ダートマス会議
EDSAC	チケット駆動開発
EIA-422	チャイティンの定数
EIA-485	チャタリング
EISPACK	チャネル・コントローラ
ELIZA	チャートパーサ
ELIZA効果	チャールズ・バックマン
EMM386	チューリングマシン
EPICアーキテクチャ	チューリング・テスト
EPSXe	チューリング完全
ER/Studio	ツーフェーズロック
ESA/390	ツールチェーン
ESCON	テスト管理システム
ETRON	テスト自動化
EXEフォーマット	テスト駆動開発
Eiffel	テトラヘドロン法
Ekiga	テレタイプ端末
Elias符号	テレビゲーム15
Enchant	テンプレートの部分特殊化
Encyclopodia	テンプレートメタプログラミング
Epiphany	ディザ
Erlang	ディレイラマ
EsTerra	ディレクティブ
Esterel	ディープ・フリッツ
Euler	デイナ・スコット
Evince	デジタル
Exaile	デジタル-デジタル変換回路
EyeToy	デジタルシグナルプロセッサ
FASTA	デジタル信号
FCKeditor	デジタル信号処理
FFT	デジタル物理学
FLAPW	デッドコード削除
FLEXlm	デバイス帯域幅の一覧
FLTK	データック
FM-PAC	データバインディング
FREMM計画	データバックアップ
FVWM	データフロー
Factor	データフロープログラミング
False	データフロー図
Fetchmail	データフロー解析
Ffdshow	データベースエンジン
Ffmpeg	データベース接続クライアント
Ficl	データマネジメントシステム
FictionBook	データモデリング
FileMaker	データ同化
FileZilla	データ回線終端装置
Fink	データ完全性
Firebird	データ端末装置
FirstClass	データ量の比較
FlightGear	トップダウン設計とボトムアップ設計
Flock	トム・デマルコ
Fluxbox	トランザクションモニター
FontForge	トランスクリプトーム
Fontconfig	トランスフェラビリティー
Foobar	トランスレーション・ルックアサイド・バッファ
Fork爆弾	トルネ
FreeBASIC	トレーススケジューリング
FreeBSDディストリビューション	トークバック
FreeDOS	ドキュメンテーションジェネレータ
FreeMind	ドナルド・クヌース
FreeRTOS	ドメインモデル
FreeS/WAN	ドメイン固有モデリング
FreeSBIE	ドメイン駆動設計
FreeStyleWiki	ドライブバイダウンロード
Freeciv	ドリトル
Freedesktop.org	ナプシス
Fsck	ニクラウス・ヴィルト
Future	ニコタッチ方式
FutureBASIC	ニコニコカレンダー
GAMESS	ニュービー
GAUSSIAN	ニンテンドーゲームキューブメモリーカード
GBAケーブル	ネオファミ
GConf	ネットやろうぜ!
GDDR5	ネットワークアタッチトストレージ
GGA	ネットワークカメラ
GKrellM	ネット棋院
GLSL	ネヴァンリンナ賞
GLib	ノイズフィルター
GMW	ノイマン型
GNAT	ノイマン型コンピュータ
GNOMEディスプレイマネージャ	ノルム保存型擬ポテンシャル
GNU/Linuxシステム	ハイネ-アバレンコフの擬ポテンシャル
GNUstep	ハイパースレッディング・テクノロジー
GNUツールチェーン	ハイパーバイザ
GNUデバッガ	ハイブリッドHDD
GO-NET	ハイブリッド法
GPGPU	ハッシュライフ
GPIO	ハミングメダル
GPhoto	ハミング距離
GQM	ハミング重み
GRAPE	ハミング限界
GRASP	ハンガリアン記法
GRIDY	ハンス・ライザー
GROMACS	ハートリー-フォック方程式
GT.M	ハードウェアアクセラレーション
GTK+	ハードウェアマルチスレッディング
GTK-Qt	ハーバート・サイモン
GThumb	ハーバード・アーキテクチャ
Galeon	バイオインフォマティクス
Gallium3D	バイオコンピュータ
Gcalctool	バイオセンサー
Gdi++	バイオメディカルインフォマティクス
Geany	バイトアドレス
Geeklog	バイトマシン
GenBank	バイナリ変換
GeoClue	バイパスコンデンサ
GeoGebra	バグ管理システム
Gettext	バザール方式
Giga-IR	バックマン線図
Git	バッファアンダーラン
GlassFish	バトラー・ランプソン
Gnash	バルク品
GnomeBaker	バレルプロセッサ
GnuCash	バンク切り換え
Gnulib	バーコードバトラー
Gnumeric	バージョニングファイルシステム
Gnuzilla	バージョン管理システム
Google File System	バーバラ・リスコフ
Grails	パソトラ
Graphviz	パナアミューズメントカートリッジ
GroupSession	パワーアクティ
Gtk-vnc	パーツのぱ
GtkRadiant	ヒトゲノム計画
Gtkam	ヒュッケル法
Gtkmm	ビザンチン将軍問題
Gwenview	ビジネスロジック
HQ9+	ビジュアルインタフェースビルダ
HSPプログラムコンテスト	ビジュアルプログラミング言語
HSQLDB	ビジーウェイト
Haskell	ビットスライス
Hexspeak	ビット演算
HiRDB	ビデオチャレンジャー
Homebrew	ビデオ会議
HotBiz	ビデオ表示端末
HuC62	ビヘイビア駆動開発
Hudson	ビーコン
HyperTalk	ピンクノイズ
I-RAM	ピーター・ナウア
IBus	ピーター・ノーヴィグ
ICARD	ピープルウェア
IDE変換	ファジィ論理
IIIMF	ファジング
IKVM.NET	フィッシャー情報量
IMSL	フィッツフュー-南雲モデル
ING杯世界コンピュータ囲碁大会	フィル・ジマーマン
INTERCAL	フェルナンド・J・コルバト
IOMMU	フォトニックバンド構造
IPodLinux	フォン・ノイマンメダル
IPコア	フォールトトレラントシステム
IQube	フォールトトレラント設計
IRAF	フラグメント分子軌道法
ISIS	フリック入力
ISWIM	フリップフロップ
IceWM	フリンの分類
Iceweasel	フリーオ
Icon	フリースタンディング環境
Iconv	フリーソフトウェア運動
ImageJ	フリーフォント
ImageMagick	フルポテンシャル
ImpressCMS	フレデリック・ブルックス
Ingres	フレドキンゲート
Initng	フレーム問題
Inkscape	フロントエンド
InnoDB	フローズンコア近似
InterBase	フローティングタッチディスプレイ
Interlisp	ブラ-ケット記法
IrSimple	ブライアン・カーニハン
IronRuby	ブラビアリンク
Irvine	ブルックスの法則
Ispell	ブレンダン・アイク
JAX-RPC	ブロックヘッド
JDeveloper	ブロック符号
JFreeChart	ブートストラップ問題
JMeter	ブール論理
JNode	プラットフォーム特化モデル
JOnAS	プラットフォーム独立モデル
JP1	プランカルキュール
JRuby	プリエンプション
JSONP	プレクスター
JW-10	プログラマブル・カウンタ
Jabberwacky	プログラミングツール
Jabbin	プログラミングパラダイム
Jahshaka	プログラミング作法
Jane	プログラミング用語一覧
Japan Gigabit Network	プログラミング言語の比較
JavaFX	プログラミング言語年表
Javadoc	プログラムマネジメント
Javaの性能	プログラム仕様
Javaクラスローダー	プログラム内蔵方式
Javaコンパイラ	プログラム合成
Jcode.pl	プログラム導出
Jedit	プログラム意味論
Jess	プロジェクト
Jigdo	プロジェクトマネジメント協会
Joomla!	プロジェクト・スコープ・マネジメント
Joruri	プロジェクト統合マネジメント
JuK	プロセスモデル
Juman	プロセス計算
JustView	プロセッサー・ナンバー
J・C・R・リックライダー	プロセッサ親和性
K-Meleon	プロダクションシステム
K3b	プロテオーム
KAITO	プロテクトモード
KAKASI	プロデル
KAlarm	プロトキン限界
KBabel	プロトタイプ
KCalc	プロトタイプベース
KCharSelect	プロフェス
KColorEdit	ヘテロジニアスマルチコア
KControl	ヘンリー・ガント
KDEBase	ベイジアンフィルタ
KDELibs	ベクトル計算機
KDESvn	ベリノイズ
KDEディスプレイマネージャ	ベレの方法
KDevelop	ペアプログラミング
KDiskFree	ペトリネット
KDrive	ペニーオークション
KEGG	ページ記述言語
KEdit	ホーア論理
KGet	ホームターミナル
KGpg	ホームページリーダー
KHexEdit	ホーム・ポン
KIO	ホーン節
KISSの原則	ボジンカ計画
KJots	ボックス化
KL1	ボードPC
KMPlayer	ポインタ解析
KMail	ポケットドリームコンソール
KMix	ポケベル打ち
KNetAttach	ポジティブサラダバー
KNode	ポリモルフィックコード
KOffice	ポーケン
KOrganizer	ポータブルメディアプレーヤー
KPPP	ポートマップ
KPart	ポーランド記法
KRuler	マイクロアレイ
KSirc	マイクロスレッド
KSnapshot	マイクロフォン
KStars	マイクロプログラム方式
KSysguard	マイケル・ラビン
KTeaTime	マクロ言語
KView	マジコン
KWQ	マスタースレーブ
KWord	マックストア
KWrite	マックハック
Kademlia	マニピュレーター
Kaffe	マニンドラ・アグラワル
Kaffeine	マヌエル・ブラム
Kate	マフィンティンポテンシャル
Kdeaddons	マフィンティン半径
Kdeadmin	マフィンティン球
Kdeartwork	マルチエージェントシステム
Kdegames	マルチバイブレータ
Kdegraphics	マーカーインタフェース
Kdemultimedia	マーク・アンド・スイープ
Kdenetwork	マーデルングエネルギー
Kdesdk	ミゲル・デ・イカザ
Kdetoys	ミッドレンジコンピュータ
Kdeutils	メインループ
Kdewebdev	メタクラス
Kerkerの方法	メタプログラミング
Keygen	メタボロミクス
Kile	メタボローム
Kinesis	メタモデル
Kleinman-Bylander近似	メタ構文変数
Klipper	メッセージキュー
KolourPaint	メッセージ指向ミドルウェア
KompoZer	メモリアドレス
KonaWiki	メモリコントローラ
Konsole	メモリデバッガ
Kontact	メモリマップドI/O
Konversation	メモリレベルの並列性
Kooka	メモリ一貫性
Kopete	モエコン
Kross	モックオブジェクト
KuickShow	モデルベーステスト
LADSPA	モデル変換
LAME	モデル変換言語
LAPACK	モデル検査
LAPW	モデル駆動型アーキテクチャ
LART	モデル駆動工学
LA音源	モンキーパッチ
LCAO法	モンゴメリ乗算
LEON・LOLA	モーリス・ウィルクス
LISPマシン	ヤナックの定理
LMMS	ヤルッコ・オイカリネン
LMTO	ユニバーサル・ネットワーキング・ラングエッジ
LOGO	ユニファイドメモリアーキテクチャ
LSDA	ユーザー機能駆動開発
Lazarus	ユーティリティコンピューティング
Leafpad	ヨセフスの問題
LessTif	ライトペン
Leszynski命名規則	ライフゲーム
Let's!TVプレイCLASSIC	ライフサイクルエネルギーマネジメント手法
Let'sケータイ!	ラウンドロビン・スケジューリング
Lex	ラグランジュの未定乗数法
Lguest	ラショナル
LibTIFF	ラショナル統一プロセス
Libavcodec	ラジオファクシミリ
Libjpeg	ラジ・レディ
Libpng	ラスタースクロール
Librsvg	ラックマウント型サーバ
Libvirt	ラフ集合
LifeType	ラムダ計算
LightGameProgramming	ラングトンのアリ
Lightning	ランダウアーの原理
Limbo	ランダムオラクル
LimeWire	リアルモード
Lincity	リジッドバンドモデル
Linda	リスコフの置換原則
Links	リソーススタベーション
Lint	リソース割り当て
Linux Format	リチャード・スターンズ
Linux Journal	リチャード・ハミング
Linux Magazine	リチャード・ブロディ
Linux-HA	リッチインターネットアプリケーション
Linux-VServer	リテール品
Load-Link/Store-Conditional	リマーク
Log4j	リモートPCミスターオン
Lola	リロケータブル
Lolifox	リロケータブルアセンブラ
Lua	リード・マラー符号
Lucene	リーナスの法則
Ludia	ループ展開
MAME	レイテンシ
MDM	レイ・トムリンソン
MEDLINE	レキサー・メディア
MEIKO	レグザリンク
METAFONT	レジスタファイル
MHEG-5	レジスタ・ウィンドウ
MHL	レジスタ・リネーミング
MIL論理記号	レジスタ割り付け
MINPACK	レナード-ジョーンズ・ポテンシャル
MIPSアーキテクチャ	レンダーファーム
MMIX	レートモノトニックスケジューリング
MODELLER	ロジクール
MODx	ロジスティック回帰
MOPAC	ロナルド・リベスト
MOSA	ロバート・タージャン
MRDB	ロバート・フロイド
MRTG	ロビン・ミルナー
MS-1013	ロブ・パイク
MSQL	ローダ
MSX-AUDIO	ローブナー賞
MSX-ENGINE	ローマ字かな変換
MSX-JE	ローレンツ-ベルテロ則
MUMPS	ワイド文字
Mac-on-Linux	ワイヤレスファイバー
Mach-O	ワウフラッター
Maclisp	ワンダーウィッチ
MailArchiva	ワンダーウェーブ
Make	ワークアラウンド
Malbolge	ワークフローシステム
MapReduce	ワークロード
Mathematica	ワードマシン
Matroska	ヴォコーダー
Maxima	三項演算子
MeCab	不良電解コンデンサ問題
MeSH	世代別ガベージコレクション
Meadow	並列分散処理
MediaWiki	並行制約プログラミング
Megpoid	並行性制御
Memcached	並行計算
Mercurial	並行論理プログラミング
MetaPost	中国の剰余定理
MiNT	中国語の部屋
Micro-DVI	中島聡
MikuMikuDance	中置記法
MinGW	中間表現
Mind	久保芳之
Mini-ITX	乗算器
Mini-VGA	乱雑位相近似
Miranda	二人の将軍問題
Mitaka	互換モード
Mitaka++	互換レイヤー
Mixin	互換性
Mizar	互換機
Mmap	交ぜ書き変換
Mobile-ITX	交換・相関項
Mobileimap	交換機
Modula-2	交換相関エネルギー
Modula-3	人工意識
MoinMoin	人工無脳
MongoDB	人工生命
MonoDevelop	人工知能
Mops	人工知能学会
MosP	人工神経
Mozartプログラミングシステム	人月の神話
MusE	代数的データ型
Musepack	代用電荷法
MyNETS	仮想86モード
Mycin	仮想アプライアンス
N/a	仮想化
NAG数値計算ライブラリ	仮想結晶近似
NAREGI	伝送路符号化
NEPOMUK	伽藍方式
NHibernate	低損失レギュレータ
NUON	例外
Nagios	依存ファイル
Nano-ITX	信頼度成長曲線
Narcissus	修飾キー
Nastran	倉頡輸入法
Nautilus	倍精度
NdisWrapper	偶奇性
Nehalemマイクロアーキテクチャ	傾向推定
Nemerle	先行製品品質計画
NeoCore	先行評価
NetBeans	光スキャナ
NetBurstマイクロアーキテクチャ	光回線終端装置
NetCommons	光学文字認識
Netlib	入出力ポート
Netpbm	全国高等専門学校プログラミングコンテスト
NewOS	全球大気監視計画
New演算子	公理的意味論
NoScript	共有メモリ
Noatun	共通部分式除去
NodeBox	内蔵音源
NoteEdit	円周率の歴史
Nullpos	再実体化
Nuvola	再帰
Nvu	再帰的定義
OBEX	冪等
ONVIF	冷却CCDカメラ
Oberon	凝集度
Oberon-2	出版-購読型モデル
Objective-C	分子シミュレーション
Off-by-oneエラー	分子力学法
Okular	分子動力学法
On2VP3	分子物理学
OpenAFS	分岐先予測
OpenBabel	分岐命令
OpenCVS	分散オペレーティングシステム
OpenCms	分散コンピューティングの落とし穴
OpenDarwin	分散トランザクション
OpenFormula	分散ロックマネージャ
OpenGion	分散並行性制御
OpenLaszlo	分散共有メモリ
OpenNTPD	分散制御システム
OpenPNE	分散型
OpenSNP	分散技法
OpenSSH	分散開発
OpenSSL	列指向データベースマネジメントシステム
OpenVPN	初音ミク
OpenVZ	初音ミクDVD〜impacts〜
OpenVanilla	初音ミクDVD〜memories〜
OpenZaurus	到達不能コード
P6マイクロアーキテクチャ	制御の反転
PACS	制御フローグラフ
PARLOG	制御構造
PARRY	制御装置
PAW	制約プログラミング
PBASIC	制約論理プログラミング
PC-6600シリーズ	前方互換
PC-BSD	前方宣言
PCSX	剰余類環
PCSX2	動的スコープ
PCケース	動的データ交換
PEAR	動的再構成
PECL	動的型付け
PHP-Nuke	包摂アーキテクチャ
PL/0	千手
PLAY-POEMS	千葉一夫
POPFile	半導体の低消費電力技術
POSIXスレッド	半経験的分子軌道法
PRINCE2	単一障害点
PV-2000	単精度
PackageKit	単項演算
Pan	参照の局所性
Pango	参照カウント
Parrot	参照透過性
Patch	双一次変換
PearPC	双対問題
PhpBB	双模倣性
Pico-ITX	可変長数値表現
Pic言語	可視化
Pidgin	可読性
Pike	可逆チューリングマシン
Plagger	吉崎栄泰
Planner	吉里吉里2
Plotutils	名前修飾
Plumi	周期的境界条件
Pochy	周辺機器
Poderosa	呼出規約
PopekとGoldbergの仮想化要件	命令スケジューリング
PostGIS	命令パイプライン
Powerset	命令レジスタ
Primer3	命令レベルの並列性
Processing	命令型プログラミング
Psycle	和ジラ
Psyscope	和田卓人
PuTTY	品質保証
PubMed	囲碁指南
PukiWiki	固有表現抽出
Pulay補正	国立生物工学情報センター
PulseAudio	国際人工知能会議
Push技術	国際情報オリンピック
Pxem	圏外
PyPy	型システム
Pylons	型付きラムダ計算
PyukiWiki	型変換
Pコードマシン	型推論
QBasic	基本ブロック
QDBM	多体問題
QEMM	多層アーキテクチャ
QEMU	多重整列
QIP	大易輸入法
QVT	失敗による否定
Qt	契約プログラミング
QuickBASIC	妹認証
Quorum	字下げ
Q学習	字下げスタイル
RACI図	定数畳み込み
RAII	定量的構造活性相関
RAMS規格	実引数依存の名前探索
REALbasic	実空間法
REBOL	実行ユニット
REST	客観解析
RIETAN	容量の壁
RMP4	密度汎関数理論
RS-232	密結合クラスター
Ratfor	局在基底
Rdesktop	山之口洋
ReactOS	島根県CMS
Realforce	川合秀実
Redmine	巡回符号
Rhino	巡音ルカ
Rhythmbox	平衡接続
Risa/Asir	平野聡
RktSNS	平面波
Robocode	年問題
Rosetta@home	弱い参照
R言語	弱文脈依存言語
S-PLUS	強いAIと弱いAI
SCC	強化学習
SCIM	強結合近似
SCR-536	形式仕様記述
SCons	形式的検証
SDカードアダプタ	形式言語
SEIL	形式言語の階層
SFL	形態素解析
SHRDLU	後方互換
SLATEC	復号手法
SNOBOL	循環参照
SN比	循環的複雑度
SONIKA	思考ルーチン
SPIM	性能解析
SPINモデルチェッカ	情報エントロピー
SPコード	情報機器
SQLJ	情報源アルファベット
SQLite	情報量
SRFI	感性ユーザインタフェース
SSADM	感性制御技術
ST-506	戸田誠之助
STREAMS	戸越フォント
STRIPS	手書き文字認識
SWIG	手段目標分析
SableVM	技術的特異点
Santy	技術的負債
Sapid	投機的実行
Sather	抽象化レイヤ
Scilab	抽象型
Scintilla	拡張性
Scoreboarding	挑戦者
Scribes	振動パック
SeaMonkey	接地
Seahorse	接頭符号
Seasar	推論エンジン
Seasarファウンデーション	携帯機器
Self	携帯通信機
Senna	摂動
Sequence-pair	操作変換
Shareaza	操作的意味論
SharpDevelop	擬ポテンシャル
SheepShaver	擬似コード
SiMAP	擬波動関数
SillyP2P	教師あり学習
Simula	教師なし学習
Sizeof	数値予報
Skencil	数値流体力学
Slony-I	数学的構造
Slrn	数理生物学
Smarty	整数の符号化
Songbird	整数計画問題
SquashFS	文書分類
Squirrel	文脈自由文法
StealthNet	斉藤秀夫
Strand	断熱的回路
Stunnel	新部裕
Subversion	日本ATPユーザグループ
SuperCollider	日本におけるゲーム機戦争
SuperKaramba	日本オペレーションズ・リサーチ学会
Supermicro	日本認知科学会
Swfdec	日本語入力コンソーシアム
Swiss-Prot	日立グローバルストレージテクノロジーズ
Sylpheed	時間と空間のトレードオフ
Synaptic	最大エントロピー原理
Sysfs	最小二乗法
SystemC	最小記述長
SystemVerilog	最強羽生将棋
S式	最適化問題
S言語	未知語
TANPAKU	末尾再帰
TDDFT	条件付き確率場
TDiary	東洋囲碁
TL/I	松本元
TMS9918	格子ボルツマン法
TOPPERS	格子気体法
TSUBAME	格子間領域
TTCN	構成管理
TVチューナー	構文木
TWiki	構文解析
Tapioca	構造ゲノミクス
TaskJuggler	構造バイオインフォマティクス
Tcsh	構造化ウィキ
Tenems	構造化ヒューリスティック評価法
TestLink	構造化学
TestNG	構造生物学
Texinfo	標本化定理
ThreadWeaver	標準ライブラリ
Thttpd	機械学習
TiMidity++	機械語モニタ
TiddlyWiki	次世代スーパーコンピュータ
TinyMCE	次世代機
Tkinter	次元の呪い
Totem	欧州バイオインフォマティクス研究所
TouchUpWeb	欧州分子生物学研究所
TransferJet	歌愛ユキ
TrueCrypt	比較ゲノミクス
Turbine	水クラスター
Turing	水素原子におけるシュレーディンガー方程式の解
Tween	氷山キヨテル
Twisted	汎用ロジックIC
U-20プログラミングコンテスト	派生型
U3	流暢性
UClibc	浅川智恵子
UNIX哲学	消耗部品
USB延長ケーブル	消音スピーカー
UTAU	深町賢一
UnDonut	混信
Unbound	混合基底
UnionFS	測域センサ
V9938	演算子強度低減
V9958	漢字直接入力
VDP	潜在意味解析
VHDL	無連想式漢字直接入力
VOCALOIDの派生キャラクター	照応解析
VPro	物理アドレス拡張
VT100	物理演算エンジン
Valgrind	特殊点法
Verilog	特異なバグ
Vi	玄人志向
ViVi	生命の樹ウェブプロジェクト
Vim	生成行列
Virt-manager	生産計画
VirtualDub	画像転送プロトコル
VisiOn	疎結合クラスター
VisualBoyAdvance	疑似個人情報
Vivanonno	登大遊
Vulture's	直列化可能性
Vuze	相互情報量
Vモデル	相対論効果
WEB	知識ベース
WICS	知識表現
WampServer	短絡評価
WebCrawler	確率文脈自由文法
Webアプリケーションフレームワーク	神経言語学
Webプログラミング	福田ウイルス
Web会議	移植性
Welomoch	積和演算
Whitespace	空間ロボット
WiX	端末エミュレータ
WinAntiVirusPro	端末サーバ
WinFixer	競合状態
WinINSTALL	符号アルファベット
WinSCP	符号付数値表現
WindowBlinds	第一原理
Woody-Rinn	第一原理バンド計算
WordPress	第一原理経路積分分子動力学法
WorldWideWeb	第一原理計算
WxPython	第一級オブジェクト
X-CD-Roast	第五世代コンピュータ
X264	粒度
X86仮想化	粘菌コンピュータ
XBase	精工舎
XLRタイプコネクター	糖衣構文
XML-RPC	純LISP
XMLBeans	組合せ最適化
XMMS	経験的分子軌道法
XMail	結合エントロピー
XMind	結合度
XMule	結城浩
XQuery	継電器
XUnit	総称型
XXXDial	線型符号
XaviX	線形計画問題
Xdelta	線形計画法
Xdvi	群ロボット工学
Xdvik	能力成熟度モデル統合
Xfce	自動推論
Xfig	自動要約生成
Xming	自動計画
Xpdf	自動通訳
Xrdp	自己回帰移動平均モデル
Xyzzy	自己書き換えコード
X端末	自律エージェント
Yacas	自然言語理解
YukiWiki	自然言語生成
Z/Architecture	萌え言語
ZALMAN	萩野純一郎
Zenity	蛋白質構造データバンク
Zimbra	表明
Zindaiji	表示的意味論
Zlib	複合構造図
Zope	西垣通
Zotero	西川和久
Z言語	要求管理
coreboot	見える化
eZ Publish	計画のみに終わった兵器
vmlinux	計画行列
vrms	計算木論理
−0	計算機プログラムの構造と解釈
えこでこツール	計算機化学
おにたま	計算機科学の未解決問題
お気に入りキーボード	計算理論
かもめサービス	計算生物学
がくっぽいど	計算知能
くまうた	計算複雑性理論
ぴゅう太	計算言語学
ほとんど自由な電子	計量化学
ほぼテキストブラウザ	設定より規約
らくらく無線スタート	評価戦略
アイシーエム	評価関数
アキュムレータ	詳細化
アクターモデル	認知アーキテクチャ
アシュクロフトの擬ポテンシャル	認知ロボット工学
アジャイルソフトウェア開発	語義の曖昧性解消
アダプテック	誤変換
アトミックコミット	論理プログラミング
アドホック・モード	論理合成
アドレスブック	論理診断
アドレス空間	識別子
アドレッシングモード	責任分担表
アナリシスパターン	質問応答システム
アノテーション	距離行列
アプリケーションストリーミング	身体性
アムダールの法則	車輪の再発明
アメリカ人工知能学会	軽量プログラミング言語
アラン・コトック	述語変換意味論
アラン・パリス	通信路容量
アリティ	連合データベース
アルフレッド・エイホ	連想メモリ
アレン・エマーソン	連想式漢字直接入力
アレン・ニューウェル	進化ロボット工学
アンダークロック	遅延スロット
アンダース・ヘルスバーグ	遅延評価
アンダーソン法	遺伝子オントロジー
アンチパターン	遺伝子命名法
アンディ・ハーツフェルド	部分内殻補正
アントニー・ホーア	部分評価
アンドリュー・タネンバウム	部首変換
アンドリュー・チーチー・ヤオ	配列アセンブリング
アーキテクチャ記述言語	配列データベース
アーケードカード	酒井俊夫
アーンド・バリュー・マネジメント	重複コード
イテレータ	重音テト
イベンチュアル・コンシステンシー	量子コンピュータ
イベント駆動型プログラミング	量子化学的手法
イミュータブル	量子化誤差
インサーキット・エミュレータ	量子化雑音
インスタンス変数	銀の弾などない
インスペクション	銀星囲碁
インタラクティブシェル	鏡音リン・レン
インターカム	閉世界仮説
インターナショナル・シャーク・アタック・ファイル	開放/閉鎖原則
インターネットボット	開発合宿
インターホン	間接参照
インデクサ	関係データベース管理システム
インフォマティクス	関心の分離
インフラストラクチャー・モード	関数へのポインタ
インプットメソッド	関数オブジェクト
インライン展開	集中型
インライン関数	集積回路設計
ウィジェット・ツールキット	雑音指数
ウィリアムス管	離散コサイン変換
ウィリアム・カハン	電子状態計算
ウェブアプリケーション	電波障害
ウェブデスクトップ	電磁シールド
ウエハーレベルCSP	電磁場解析
ウォッチドッグタイマー	電荷密度の混合の仕方
ウォーキートーキー	電話機
ウルトラソフト擬ポテンシャル	静的コード解析
エイリアス解析	静的スコープ
エキスパートシステム	静的リンク
エスケイネット	静的単一代入
エスケープ解析	静的型付け
エドガー・F・コッド	静電シールド
エドガー・ダイクストラ	静音パソコン
エドムンド・クラーク	非同期セル・オートマトン
エドワード・ファイゲンバウム	非手続き型言語
エバルトの方法	非経験的分子軌道法
エバルト項	非線形計画法
エミッタ結合論理	音声分析
エラー忘却型コンピューティング	音声合成LSI
エンタープライズ・サービス・バス	音声検索
エンドユーザー	順序対
エージェントアーキテクチャ	顔認識システム
エージェント・ベース・モデル	食事する哲学者の問題
オフサイドルール	香港語言学学会粤語ピン音方案
オブジェクトデータベース	驚速
オブジェクトファイル	高圧縮ファイル爆弾
オブジェクト指向プログラミング	高速フーリエ変換
オブジェクト指向分析設計	高速機関
オブジェクト関係データベース	高階関数
オペレーションズ・リサーチ	鶴田真一
オペレーターズサイド	黄金分割探索
オリジン	龍芯