2009年12月21日月曜日

theoremの意味

━━ n. 【数】定理; 一般原理.theorem prover　【コンピュータ】（自動）定理証明器.theorem proving　【コンピュータ】定理証明.
投稿者 時刻:

0 件のコメント:

コメントを投稿

登録: コメントの投稿 (Atom)