Abstract: A verification apparatus acquires a source code for multiparty computation, while changing a combination of options settable to a multiparty computation compiler, compiles the source code for each combination of options to generate a plurality of multiparty computation executable codes, selects at least one multiparty computation executable code from the plurality of multiparty computation executable codes as a verification code and provides the at least one verification code to a verification environment of multiparty computation, generates an evaluation index with respect to an execution result of at least one verification code in the verification environment, and selects at least one recommended code from the plurality of multiparty computation executable codes, based on the evaluation index corresponding to at least one verification code and outputs the selected recommended code.

Abstract: An information processing apparatus comprises a partial modular exponentiation calculating part and a partial modular exponentiation synthesizing part. The partial modular exponentiation calculating part is given a base in plaintext and a modulo in plaintext and shared exponents and calculates a partial modular exponentiation that equals a set of shared values according to a modular exponentiation of the base raised by the shared exponent. The partial modular exponentiation synthesizing part calculates shared values of the modular exponentiation from the partial modular exponentiation that equals shared values relating to the modular exponentiation of a sum of shared exponents.

Abstract: An image-forming apparatus includes: a main casing; a drawer movable in a first direction between a first position inside the main casing and a second position outside the main casing; process cartridges attachable to and detachable from the drawer; a controller; and a device-side terminal connected to the controller. The process cartridges are arranged in the first direction in an attached state to the drawer. Each process cartridge includes a photosensitive drum, a magnetic roller, a developing container for storing carrier, a conveying member, a toner sensor, a process memory, and a process-side terminal. The toner sensor is configured to output a detection signal corresponding to a concentration of toner in the developing container. The process-side terminal is for both outputting the detection signal of the toner sensor and outputting information about the process cartridge stored in the process memory. The device-side terminal is configured to contact the process-side terminal.

Abstract: When an absolute value of a difference value between a first share and a second share which are secret-shared is less than or equal to a natural number t, the information processing apparatus calculates the difference value between the first share and the second share. Furthermore, the information processing apparatus performs a comparison in magnitude of the first share and the second share using bit-decomposition from a least significant bit to an m-th bit (m being a natural number) of the difference value.

Abstract: An image forming apparatus includes a main body, a drum cartridge removably attached to the main body, and a belt unit removably attached to the main body. The main body includes a drum power supply, a belt power supply, and a controller configured to start supplying power from the drum power supply to a drum memory of the drum cartridge, start supplying power from the belt power supply to a belt memory of the belt unit, stop supplying the power from the drum power supply to the drum memory after starting supplying the power from the drum power supply to the drum memory, and stop supplying the power from the belt power supply to the belt memory after starting supplying the power from the belt power supply to the belt memory.

Abstract: Deep metric learning models are trained with multi-target adversarial examples by initializing a perturbation applied to a clean sample selected from a training sample set to form an adversarial example, the clean sample associated with a label sample, applying a deep metric learning model to the adversarial example and a plurality of target samples selected from the training sample set to obtain an adversarial feature vector and a plurality of target feature vectors, respectively, adjusting the perturbation to reduce difference among the adversarial feature vector and the plurality of target feature vectors to generate a multi-target adversarial example, applying the deep metric learning model to the clean sample, the label sample, and the multi-target adversarial example to obtain a clean feature vector, a label feature vector, and a multi-target adversarial feature vector, respectively, and adjusting the deep metric learning model based on the clean feature vector, the label feature vector, and the multi-t

Abstract: An adversarial example detection device includes a first feature extraction unit configured to extract first features with respect to input data and comparative data in a first calculation method, a second feature extraction unit configured to extract second features with respect to the input data and the comparative data in a second calculation method different from the first calculation method, and a determination unit configured to determine whether or not at least one piece of the input data and the comparative data is an adversarial example through calculation using the first features and the second features.

Abstract: In an image forming apparatus, an image forming unit configured to form a toner image on a transfer medium includes four sets of a photoconductor drum and a development roller, respectively, for forming toner images of first, second, third and fourth colors, arranged in this order, in a direction opposite to a direction of movement of the transfer medium moving toward a detector configured to detect a toner image formed on the transfer medium. A controller executes a bias-corrective test image forming process in which a first bias-corrective test image of the first color is arranged in a position downstream of other three first bias-corrective test images, and a second bias-corrective test image of the first color is arranged in a position between two first bias-corrective test images selected among other three first bias-corrective test images, in the direction of movement of the transfer medium.

Abstract: The present invention provides a bit decomposition secure computation system comprising: a share value storage apparatus to store share values obtained by applying (2, 3) type RSS using modulo of power of 2 arithmetic; a decomposed share value storage apparatus to store a sequence of share values obtained by applying (2, 3) type RSS using modulo 2 arithmetic; and a bit decomposition secure computation apparatus that, with respect to sharing of a value w, r1, r2, and r3 satisfying w=r1+r2+r3 mod 2{circumflex over (?)}n, where {circumflex over (?)} is a power operator and n is a preset positive integer, being used as share information by the (2, 3) type RSS stored in the share value storage apparatus, includes: an addition sharing unit that sums two values out of r1, r2 and r3 by modulo 2{circumflex over (?)}n, generates and distributes a share value of the (2, 3) type RSS with respect to the sum; and a full adder secure computation unit that executes addition processing of the value generated by the addition s

Abstract: In an image forming apparatus, an image forming unit configured to form a toner image on a transfer medium includes four sets of a photoconductor drum and a development roller, respectively, for forming toner images of first, second, third and fourth colors, arranged in this order, in a direction opposite to a direction of movement of the transfer medium moving toward a detector configured to detect a toner image formed on the transfer medium. A controller executes a bias-corrective test image forming process in which a first bias-corrective test image of the first color is arranged in a position downstream of other three first bias-corrective test images, and a second bias-corrective test image of the first color is arranged in a position between two first bias-corrective test images selected among other three first bias-corrective test images, in the direction of movement of the transfer medium.

Abstract: A computation system according to the present disclosure includes: shuffling secure computation means for executing secure computation processing by shuffling; random bit sharing means for generating, as security parameters, K pieces of random data; and unauthorized action detecting secure computation means for determining that an exclusive OR operation of values for all rows obtained by multiplying the exclusive OR operation of each row of the tables before the shuffling processing for each data designated by the i-th random data by the i-th random bit of each row is the same as an exclusive OR operation of values for all rows obtained by multiplying the exclusive OR operation of each row of the tables after the shuffling processing for each data designated by the i-th random data by the i-th random bit of each row.

Abstract: A robust learning device is a learning device that, with a parameter of n neural networks, training data, and a correct label serving as inputs, outputs the updated parameter, including: a model selection unit that selects neural networks, which are less than n and equal to or more than two, among the n neural networks; a limited objective function calculation unit that calculates, in a calculation process of an objective function including a process in which a value of the objective function becomes smaller as an output of the neural networks to the training data is closer to the correct label and a degree of similarity between the neural networks is smaller, a limited objective function including only the process relating to the neural networks selected by the model selection unit; and an update unit that updates the parameter such that a value of the limited objective function is decreased.

Abstract: In a secret computation system, each of the three or more secret computation servers is configured to transmit, to the auxiliary server, carry computation information for computing a carry indicating whether or not digit carry occurs when a share of arithmetic operation is added as a binary number. The auxiliary server is configured to compute the carry based on the carry computation information received and compute an adjustment value used for computing the share of the arithmetic operation from a share of logical operation by using the computed carry. The auxiliary server distributes the computed adjustment value to the three or more secret computation servers. Each of the three or more secret computation servers is configured to convert the share of the logical operation to the share of the arithmetic operation by using a distributed value of the adjustment value.

Abstract: This numerical splitting device: acquires a numerical value w and a parameter p; generates a first random number r1 and a second random number r2; computes a third random number r3 based on the numerical value w, parameter p, first random number r1, and second random number r2 according to an expression, r3=w?r1-r2 mod p; computes first to third segments s1, s2, s3 based on the first to third random numbers r1, r2, r3 and the parameter p according to expressions, s1=r1+r2 mod p, s2=r2+r3 mod p, and s3=r3+r1 mod p; and transmits a pair of the first segment s1 and the second random number r2, a pair of the second segment s2 and the third random number r3, and a pair of the third segment s3 and the first random number r1 to first to third secure computation devices, respectively.

Abstract: An image forming apparatus includes a housing, a drawer, an operation panel, and a sensor. The housing includes a first side wall having a first opening, and a second side wall having a vent and extending in a direction crossing the first side wall. The drawer supports a cartridge. The drawer is movable through the first opening between an inner position at which the drawer is accommodated in the housing and an outer position at which a part of the drawer is exposed to outside the housing. At least part of the operation panel protrudes from an outer surface of the second side wall. The sensor is arranged in the housing between the drawer and the second side wall. The sensor is configured to detect at least temperature or humidity of ambient air taken in through the vent.

Abstract: There is provided a conversion apparatus with which a secure computation execution environment may be easily constructed. The conversion apparatus comprises an input part and a conversion part. The input part inputs a source code. The conversion part converts the input source code so that a secure computation compiler processes it based on setting information relating to secret computation executed by a plurality of secure computation servers.

Abstract: A secure computation server includes: a computation processing part that performs secure computation by using data x received from a client and computes a computation result R; and a trail registration part that makes a predetermined trail storage system to store first trail data for certifying identity of the data x, the first trail data having been calculated from the data x, and second trail data for certifying a relationship between the data x and the computation result R. The predetermined trail storage system manages the first and second trail data in a non-rewritable manner and provides the first and second trail data to a predetermined audit node.

Abstract: A high-voltage electrical circuit board is located in a first region that is a region at one side of photosensitive drums in a first direction and outside of the photosensitive drums in the first direction. A first motor drives a conveyance mechanism. A second motor is located in a second region and drives each photosensitive drum. A third motor is located in the second region and drives each developing roller to rotate and to drive a separation mechanism configured to individually move the developing rollers between a contact position and a separation position. A control board is located in the second region. The control board includes a controller configured to control a first applying circuit, the first motor, the second motor, and the third motor. The first motor, the second motor, the third motor, and the control board are located at different positions from one another in the second region.

Abstract: A learning apparatus includes: a prediction loss calculating device that calculates a prediction loss function based on an error between outputs of machine learning models to which training data is inputted and a ground truth label; a gradient loss calculating device that calculates a gradient loss function based on a gradient of the prediction loss function; and an updating device that performs an update operation of updating the machine learning models on the basis of the prediction loss function and the gradient loss function, the gradient loss calculating device calculates the gradient loss function based on the gradient when the number of times which the update operation is performed is smaller than a predetermined number, and calculates a function that represents zero as the gradient loss function when the number of times which the update operation is performed is larger than the predetermined number.

Abstract: An image forming apparatus includes a controller, a main body frame, a cartridge and a display. The cartridge includes a memory, a cartridge data terminal and a cartridge detection terminal. The controller includes a main body data terminal and a main body detection terminal. The main body data terminal is electrically connected to the cartridge data terminal. The main body detection terminal is electrically connected to the cartridge detection terminal in the case where the cartridge is attached to the main body frame. The controller is configured to perform determining whether the main body detection terminal and the cartridge detection terminal are electrically connected with each other. The controller is configured to perform displaying a determination result of the determining whether the main body detection terminal and the cartridge detection terminal are electrically connected with each other on the display.