Abstract: A sulfide solid electrolyte may be able to adjust the morphology unavailable traditionally, or readily adjust so as to have a desired morphology. Such a sulfide solid electrolyte may include a substance including a lithium element, a sulfur element, and a phosphorus element; and an amine compound. The solid electrolyte may have a volume-based average particle diameter of 10 ?m or less, measured by laser diffraction particle size distribution measurement, and/or a BET specific surface area of 40 m2/g or less.

Abstract: An information processing apparatus capable of performing an analysis appropriately depending on a resource to be operated by a function in an inspection target program is provided. The information processing apparatus includes: an extraction unit configured to extract function call parts each indicating a part of an inspection target program from which a function is called; a specifying unit configured to specify an operation target resource to be operated by the function; and a narrowing unit configured to narrow down, based on the content of the operation of the function on the operation target resource, analysis target parts on which a process flow analysis is performed from the function call parts. The inspection target program includes variable definition processing for defining a variable indicating the operation target resource. The specifying unit specifies an operation target resource indicated by the variable defined in the variable definition processing.

Abstract: A backdoor inspection apparatus and the like with improved inspection accuracy of a backdoor trigger are provided. A backdoor inspection apparatus includes: an acquisition unit acquiring a program to be analyzed and starting point information of analysis; a data flow analysis unit analyzing a data flow included in the program, based on the acquired program to be analyzed and starting point information of analysis, and outputting data flow analysis information; and a conditional branch extraction unit extracting, as a candidate of a backdoor trigger, a conditional branch in which external input data are directly propagated, by using the data flow analysis information.

Abstract: An information processing apparatus includes: a dependency analysis unit configured to execute a flow analysis on an inspection target program and analyze dependency relationships between variables in a process flow included in the inspection target program, the dependency relationships including a data dependency relationship and a control dependency relationship; and a directed graph generation unit configured to generate, based on results of analyzing the dependency relationships, a directed graph having a part of the inspection target program which generates the control dependency relationship as a node regarding the process flow.

Abstract: The main assembly of a leakage transformer includes a bobbin which includes collar/collars adjacent to location/locations corresponding to a winding edge of a primary coil and/or a secondary coil wound around the bobbin. The collar includes a first collar separating the primary coil and the secondary coil from each other in an axial direction. The leakage transformer includes a bottomed casing within which the main assembly is received and embedded in a filling material. At least one of the collar/collars have a coil facing surface that is formed with a pattern of concavity and convexity. The pattern includes a plurality of protrusions and recesses extending substantially parallel to each other in a longitudinal direction. The recesses of the collar extend in the longitudinal direction and represent channels resembling grooves through which the filling material is passed and guided into the coils present in their vicinity.

Abstract: To provide a printing apparatus capable of maintaining ejection performance without increasing the size of a recovery unit. The printing apparatus includes: a cap capable of covering an ejection port surface having an ejection port formed therein to eject a liquid; a cap holding portion that movably holds the cap between a position where the cap contacts the ejection port surface and a position where the cap does not contact the ejection port surface; a suction unit capable of sucking the liquid from the cap; a collection unit for collecting the liquid sucked by the suction unit; a first channel connecting the cap and the suction unit; and a second channel connecting the suction unit and the collection unit. In top view, a part of the first channel and a part of the second channel are disposed at positions overlapping with the cap holding portion.

Abstract: According to one embodiment, a processing device is configured to refer to a first area corresponding to a work area where multiple tasks related to multiple articles is performed, the first area including multiple of sections. The processing device is further configured to refer to multiple objects corresponding to the multiple articles. A size and a duration of the task are set for each of the multiple objects. The processing device is further configured to generate a task plan by using the multiple sizes and the multiple durations. The task plan includes placements of the multiple objects in the first area, and a sequence of the multiple placements. The processing device is further configured to calculate an evaluation value based on a state of the first area after placing at least one of the multiple objects, and determine the multiple placements and the sequence based on the evaluation value.

Abstract: The present disclosure aims to provide a backdoor inspection device, a user device, a system, a method, and a non-transitory computer-readable medium that enable a third party to easily verify whether software contains a backdoor. A backdoor inspection device according to the present disclosure includes: a backdoor presuming means for analyzing a function and a structure of the software, performing backdoor inspection on the software, and identifying a presumed code that is presumed to be the backdoor from the software; and a certificate issuance means for issuing a certificate that includes information about the backdoor inspection and information that associates the information about the backdoor inspection with the software.

Abstract: A fraud detection apparatus comprises: a function extraction part that refers to a target function list showing functions to be analyzed and analyzes a program to extract a target function; a structure extraction part that analyzes the program to extract an execution path and a conditional branch; a conditional branch scoring part that refers to a score list showing the probability of meeting the condition of a conditional branch and assigns a score to each of the extracted conditional branches to create a conditional branch score table; a reachability probability calculation part that calculates the probability of reaching the target function from the scores for conditional branches included in the execution path on the basis of the conditional branch score table; and a backdoor determination part that reports an execution path having a low reachability probability as a path with a high probability of being a backdoor execution path.

Abstract: In a backdoor inspection apparatus, a static analysis unit executes static analysis processing for a backdoor on each code block included in target software to be inspected to thereby specify a first code block and a condition, the first code possibly being the backdoor and the first code block being executed under the condition. Next, the static analysis unit outputs the target software to which first information indicating the specified first code block is added and second information indicating the specified condition to a dynamic analysis unit. The dynamic analysis unit controls dynamic analysis processing for the backdoor performed on the target software to which the first information is added based on the first information and the second information.

Abstract: A portable imaging device is configured to: obtain video data through shooting; perform a first digital image processing on the video data; and stop the first digital image processing when performing a second digital image processing on the video data while the first digital image processing is being performed. The second digital image processing is different from the first digital image processing.

Abstract: An aspect of the present disclosure provides an information processing system configured to process a captured image captured by an image-capturing apparatus including an infrared cut filter. In this information processing system, based on the captured image, a defect relating to the infrared cut filter is detected. Information on the defect is output.

Abstract: A portable imaging device is configured to: obtain video data through shooting; perform a first digital image processing on the video data; and stop the first digital image processing when performing a second digital image processing on the video data while the first digital image processing is being performed. The second digital image processing is different from the first digital image processing.

Abstract: A dental polymerizable composition includes a (meth)acrylate compound; and a glass. The glass includes gadolinium.

Abstract: An aspect of the present disclosure provides an information processing system configured to process a captured image captured by an image-capturing apparatus including an infrared cut filter. In this information processing system, based on the captured image, a defect relating to the infrared cut filter is detected. Information on the defect is output.

Abstract: A symbol narrowing-down apparatus includes a symbol extraction means for extracting a plurality of predetermined symbols from codes included in a binary of a program, a first code block extraction means for extracting a code block having a specific property as a first code block to be analyzed as to whether the code block is a backdoor, a second code block extraction means for extracting, as a plurality of second code blocks, a plurality of code blocks that access the plurality of respective predetermined symbols, a symbol narrowing-down means for extracting, from the plurality of predetermined symbols, a symbol to be accessed by the second code block satisfying a condition on a control flow according to a type of the backdoor to be analyzed among the plurality of second code blocks, and a symbol output means for outputting the symbol extracted by the symbol narrowing-down means.

Abstract: A program analysis apparatus includes a first code block extraction means for extracting a first code block having a specific property from codes included in a binary of a program, a second code block extraction means for extracting a second code block performing a predetermined sensitive operation from the codes included in the binary of the program, a relationship information acquisition means for acquiring relationship information indicating a relationship on a control flow between the first code block and the second code block, a backdoor score calculation means for calculating a backdoor score based on content of the predetermined sensitive operation in the first code block and performing addition and subtraction of the backdoor score with respect to the first code block based on the relationship information, and an output means for outputting the first code block and the backdoor score for the first code block.

Abstract: A program analysis device including: code block extraction means for extracting code blocks having specific qualities from code blocks included in binary data of a program; backdoor score calculation means for calculating, for each code block extracted by the code block extraction means, based on the contents of operations in each code block, a backdoor score, which is a score indicating the possibility of each code block being a backdoor code or a score indicating the degree of impact of each code block on a system when it is executed; and output means for outputting the code blocks extracted by the code block extraction means and the backdoor score calculated for each of the extracted code blocks by the backdoor score calculation means.

Abstract: A feature estimating device includes a parser identifying means for identifying a parser, the parser being contained in software, for parsing user input and executing a relevant command, a dividing means for extracting commands form a character string in the parser and clustering control flows connecting with the extracted commands as starting points to divide a code of the software for each feature, and a feature estimating means for estimating, based on a characteristic part of each divided code, a feature for each divided code.

Abstract: A semiconductor storage device includes: a first conductive layer and a second conductive layer arranged in a first direction; a plurality of first semiconductor layers facing the first conductive layer, the plurality of first semiconductor layers arranged in a second direction intersecting the first direction; a first charge storage layer disposed between the plurality of first semiconductor layers and the first conductive layer; and a first insulating layer provided between the plurality of first semiconductor layers and the first charge storage layer in the first direction. The first insulating layer includes a first region, a second region, and a third region provided between the first region and the second region in the second direction. A nitrogen concentration in the first region and the second region is lower than a nitrogen concentration in the third region.