语言
没有数据
通知
无通知
物事をさばいて始末をつけること。 しまつ。 処置。
線形論理(せんけいろんり、英: Linear logic)は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証
(1)形をかき表すこと。 またかき表した図。
〔「核燃料再処理」の略〕
グラフィックスパイプライン コンピュータグラフィックスのうち、典型的な局所照明ベースの3次元コンピュータグラフィックスにおいて必要とされる計算は、最初の3次元幾何の処理(頂点トランスフォーム)、ラスタライズ、ピクセル単位の陰影計算および最終結果の出力(表示)までが流れ作業となる。描画
オンライントランザクション処理(オンライントランザクションしょり、Online Transaction Processing, OLTP)とは、トランザクション指向のアプリケーションを管理するプログラムの総称であり、一般にデータの入力と検索のトランザクション処理を扱う。 オンライントランザクション処理
本原料、前澤工業、メタウォーター、リンカイ、野村マイクロ・サイエンス、セイスイ工業 サムスングループ :2012年9月13日、水処理膜分野への参入を発表。 初期の水処理方法には現在も利用される砂濾過および塩素化があり、ジョン・ギブというスコットランドのペイズリーにある漂白剤製造者が実験用のフィルター
トランザクション処理(トランザクションしょり、英: transaction processing)とは、トランザクションと呼ばれる不可分な操作から構成される情報処理の形態。 トランザクションは、データベースをある一貫した状態から別の一貫した状態へ変更するアクションを1つに束ねたものである。トランザクション処理