Cleanのトップページに戻る

「Cleanで関数プログラミング」訳語表

　　原題"Functional Programming in Clean"に出てくる諸概念をどう訳したかの対照表を作りました。基本的には出版されている本を参考にしたので、訳に戸惑うことも少ないと思いますが、若干独自の訳をしていますので、分からない場合は、以下の表を参考にして下さい。


abstract data type抽象データ型。
abstract interpretation抽象解釈。
abstract syntax tree抽象構文木。
acceptance test plan(ATP)合否試験計画。
accumulatorアキュムレータ。
adaptive maintenance適応保守。
addressingアドレッシング。
affix grammar接辞文法。
ambiguous grammar曖昧な文法。
annotation注釈。
alternative代替部。選択肢もあり得るがoptionに充てたので、左のようにした。
algebraic datatype代数データ型。
anonymous無名の。匿名の、とも訳している場合もある。
arithmetical expression算術式。
arityアリティ。
associativity結合性。
attribute grammar属性文法。
backtrackバックトラック。後戻りとも言うが、そのままにした。
bit stringビット列。
boolean value論理値。真偽値、ブール値でもよいと思うが、これにした。
bootstrappingブートストラッピング。
bottom-upボトムアップ。
call-back functionコールバック関数。
category theory圏論。
church numberチャーチ数。
Church-Rosser propertyチャーチ・ロッサー性。
cleanroom approachクリーンルームアプローチ。
clockクロック。
coercion（強制）型変換。
combinatorコンビネータ。一部で、結合子、組合せ子も併記。
combinatory logic組合せ論理。
composition合成。
complexity計算量。複雑さの方が直訳だが、その訳には抵抗があるので。
concatenation結合。連結、連接もあり得るが、個人的に馴染みのあるのにした。
consistency一貫性。
constant applicative form定作用形。
constant factor定係数。
constructor構成子。構築子と迷ったが、武市・和田訳に従った。
contextコンテクスト（文脈）。
context sensitivity文脈依存性。
continuation継続。
contractumコントラクタム。縮約物とも訳せるが止めた。
convention規約。
corrective maintenance修理保守。
correctness正当性。正確さでもよいと思うが、これにした。
curryingカリー化。
cycle in spineスパイン内循環。
cyclic dependency循環依存関係。
dangling reference懸垂参照。自然言語での訳に従った。
deforestation伐採。
deliveration引渡。
denotation表示。
depth first深さ優先。
derived class派生クラス。導出クラスでもよかったが、OOPの通例の訳に合わせた。
design設計。
deterministic決定的。
domain定義域。
dot-dot expressionドット-ドット式。
eager evaluation先行評価。一部では、先取評価も併記。
empty list空リスト。
emvironment環境。
equivalence同等性。同値性とか等価性ともいうが、竹内外史訳に従った。
eurekaユリイカ。
evaluator評価子。評価器とはしなかった。
event handlingイベント処理
event handlerイベントハンドラ。
evolutionary進化的。
existentially quantified存在量化。色々な訳があるが、一番忠実な感じのするこれにした。
existential type存在型。
explicit明示的。陽に等とも訳されるが、通常の日本語の訳例に従った。
exploratory programming探究的プログラミング。
exportエクスポート。
feasibility study実行可能性研究。
fold畳込む。
formalism形式化手法。形式主義では不自然だったので。
formal proof形式証明。
formal specification形式仕様。
functional関数型。
function composition関数合成。
function fusion関数融合。
garbage collectionガーベッジコレクション。ごみ集めでもよかったが、そのままにした。
generatorジェネレータ。生成子とも訳している。
generalized expression一般化式。汎化式とかしようと思ったが、止めた。
generic汎用。総称（汎称）ともいうが、SICPやC++の本の翻訳に従った。
global大域。
grammar文法。
graph reductionグラフ簡約。
graph rewriting system(GRS)グラフ書換えシステム。
guardガード。
head頭部。
heapヒープ。
higher-order高階。
identifier識別子。
imperative命令型。
implicit黙示的。陰に等とも訳されるが、explicitと同様。
importインポート。
incremental段階的。
indent字下げ。
induction帰納。
inductive proof帰納的証明。
infix中置。
initial state初期状態。
insertion sort挿入ソート。
instanceインスタンス。プログラミングの書籍の慣例に従った。
instantiateインスタンス化。例化としても良かったが、馴染みのある方にした。
interaction対話、相互作用。場合によって訳し分けているので注意。
interactive対話（型）。
interleaveインターリーブ。
internal overloading内部多重定義。
interpreterインタプリタ。
lazy evaluation遅延評価。
left(right) hand side左（右）手側。左（右）辺とすべきかもしれないが、直訳した。
lexical analyzer字句アナライザ。
lexicographical ordering辞書式順序。
list comprehensionリストの内包表記。
linked list連結リスト。
local局所。
logical state論理状態。
lower bound下界。
machine specificationマシン記述。
maintenability保守性。保全性ともいうが、左のようにした。
maintenance保守。
memory mapped I/OメモリマップI/O。-edの部分は訳出しなかった。
merge sortマージソート。結合ソートとはしなかった。
micro programmingマイクロプログラミング。
monadモナド。単子ともいうが、そのままでよいと思った。
monadic styleモナドスタイル。
nest入れ子。
nonterminal非終端。
nonterminal symbol非終端記号。
non-termination非停止性。
normal form(nf)正規形。標準形ともいうが、馴染みがありそうな方にした。
n-queen problemnクイーン問題。
occurrence出現。
overloading多重定義。
parse解析する。
parserパーサ。
parse tree解析木。
partial evaluation部分評価。
partial function部分関数。
partial parametrization部分パラメータ化。
patternパターン。
pattern matchingパターン照合。
perfective maintenance完成化保守。
polymorphic多相的。多態的や多様的と迷ったが、これにした。
postfix後置。
precedence優先順位。結合順位とはせず、数学上の通例に従った。
predicate述語。
prefix前置。
preventive maintenance予防保守。
process stateプロセス状態。
program counterプログラムカウンタ。
programming in the small(large)小（大）規模プログラミング。適当な訳が浮かばなかった。
propagation伝播。
queueキュー。待ち行列という訳は個人的に好きではないのでそのまま。
random number乱数。
range値域。
readability可読性。
recursive descent再帰下降型。
redex可約式。一部では（可）簡約項とリデックスも併記。
reduct簡約物。
reduction簡約。還元、変形、帰着等もあり得るが、関数プログラミングの通例に従った。
requirement要求（事項）。
rewrite書換え。
root normal form(rnf)ルート正規形。
scope通用範囲。有効範囲、作用域と迷ったが、K&Rに準拠した。
selector選択子。
semantic function意味関数。
semantics意味（論）。
separatorセパレータ。
sequential逐次的。
signatureシグニチャ。署名と訳すのは変だし、シグネチャは語呂が悪いので。
single threadedシングルスレッド化された。
singleton list単一リスト。
software engineeringソフトウェア工学。
software processソフトウェア工程。
specification仕様。
spineスパイン。背骨、骨組等としようと思ったが、そのままにした。
spiral modelスパイラル（螺旋）モデル。
stack pointerスタックポインタ。
statementステートメント。文と訳されるが、その訳には抵抗があるので。
strict evaluation正格評価。
strictness正格性。狭義性、厳密性、ストリクト性などとも訳されるが、武市訳に従った。
substitution置換。数学では代入とされているが、計算機科学の慣行に従った。
success list成功リスト。
suitability適合性。
symbol記号。
synonymシノニム。一部では同義名も併記。
syntax構文（論）。統語論などとも言うが、CS的には、こちらの方がメジャーだと考えた。
tail尾部。
tail recursion末尾再帰。
technical test document(TTD)技術試験文書。
terminal終端。端子ともしようかと思ったが、止めた。
terminal symbol終端記号。
term rewriting system項書換えシステム。
tokenトークン。
top-downトップダウン。
total function全体関数。
transformation変換。変形にしようとも思ったが、個人的に馴染みのある方にした。
transformer変換子。
tree sortツリーソート。
tuple組。単にタプルともいうが、構文解析での訳と、武市・大堀訳に合わせた。
type checker型検査器。
type class型クラス。
type constructor class型構成子クラス。
type definition型定義。
unboxed非ボックス化。
unification単一化。
uniform substitution単一置換（代入）。
uniqueness一意性。唯一性にしようかとも思ったが、慣例的な訳にした。
universal quantified全称量化。普遍量化と迷ったが、これにした。
update function更新関数。
upper bound上界。
validation妥当性確認。有効性確認と迷ったが、これにした。
variantバリアント。変種、変形等と迷ったが、いまいちなのでこれにした。
verification検証。
water-fall modelウォーターフォールモデル。
well-formed整合。wffでの訳に従った。
world世界。
ZF expressionZF式。


Back to the Previous page