Abstract: A solid electrolyte including an alkali metal element, phosphorous, sulfur and halogen as constituent components.

Abstract: A solid electrolyte glass at least including: at least one alkali metal element; a phosphorus (P) element; a sulfur (S) element; and one or more halogen elements selected from I, Cl, Br and F; wherein the solid electrolyte glass has two exothermic peaks that are separated from each other in a temperature range of 150° C. to 350° C. as determined by differential scanning calorimetry (in a dry nitrogen atmosphere at a temperature-elevating speed of 10° C./min from 20 to 600° C.).

Abstract: A solid electrolyte including an alkali metal element, phosphorous, sulfur and halogen as constituent components.

Abstract: A solid electrolyte glass at least including: at least one alkali metal element; a phosphorus (P) element; a sulfur (S) element; and one or more halogen elements selected from I, Cl, Br and F; wherein the solid electrolyte glass has two exothermic peaks that are separated from each other in a temperature range of 150° C. to 350° C. as determined by differential scanning calorimetry (in a dry nitrogen atmosphere at a temperature-elevating speed of 10° C./min from 20 to 600° C.).

Abstract: A solid electrolyte including an alkali metal element, phosphorous, sulfur and halogen as constituent components.

Abstract: A lithium-ion battery cathode material includes a composite of sulfur and porous carbon, and glass particles and/or glass ceramic particles that satisfy a composition represented by the following formula (1), LiaMbPcSd??(1) wherein M is B, Zn, Si, Cu, Ga, or Ge, and a to d are the compositional ratio of each element, and satisfy a:b:c:d=1 to 12:0 to 0.2:1:2 to 9.

Abstract: There is provided a program causing a computer to perform a procedure. The computer includes memory storing segments created by dividing transmission data and encoding information including encoding patterns representing combinations of the segments. The procedure includes generating, for each encoding pattern, an encoded data piece by performing an operation on the combination of the segments corresponding to the encoding pattern, and storing the encoded data piece in the memory; and performing, when part of the segment combination represented by a second pattern, which is an encoding pattern corresponding to targets of the operation, includes the segment combination represented by a first pattern, which is the encoding pattern corresponding to an encoded data piece stored in the memory, the operation using the encoded data piece corresponding to the first pattern.

Abstract: A semiconductor memory includes a memory cell array that includes data cells of x bits and redundant cells of y bits for each word; a position-data storage unit that stores, for each word, defective-cell position data of defective cells of the data cells and the redundant cells; and a read circuit that reads data from cells of x bits based on the defective-cell position data stored in the position-data storage unit for a specified word of which address is specified as read address, the cells of x bits being formed by the data cells of x bits and the redundant cells of y bits of the specified word other than the defective cells.

Abstract: A disclosed method includes: converting, for each sample point, a set of performance item values for a sample point into coordinate values of a mesh element containing the set among plural mesh elements obtained by dividing a space mapped by the performance items; generating a binary decision graph representing a group of the coordinate values of the sample points; calculating the number of sample points including second sample points that dominates a first sample point and the first sample point, by counting the number of paths in the binary decision graph from a root node to a leaf node representing “1” through at least one of certain nodes corresponding to coordinate values that are equal to or less than coordinate values of the first sample point; and calculating a yield of the first sample point by dividing the calculated number by the number of the plural sample points.

Abstract: A waveform analyzer includes a converter which converts a logical function, where a pair of data including a time and a value at the time is variable, created according to data sets of a time and a value of a signal waveform at the time into a second function expressed by a binary decision diagram, an acquisition unit which obtains for each of characteristic points of a reference waveform a condition representative of constraints on a relationship between time information specified by the points and a value corresponding to the time information in the signal waveform according to a value of the reference waveform at the points and a specified tolerance given to a value of the reference waveform, and a searching unit which applies the condition for each of the points to the second function to obtain a time range which meets the entirety of the conditions.

Abstract: The disclosed pharmaceutical preparation comprises a compound represented by the chemical formula (A) or a pharmaceutically acceptable salt thereof, which is dispersed in a matrix consisting of a water-soluble high molecular weight substance; and Crospovidone: The pharmaceutical preparation is excellent in the solubility and the storage stability even if the amount of the compound or the salt included in each individual dosage unit is increased.

Abstract: A composite material including an alkali metal sulfide, a conductive aid having fine pores and a solid electrolyte, wherein the alkali metal sulfide, the conductive aid and the solid electrolyte are aggregated and the half width of a peak of the alkali metal sulfide measured by X-ray diffraction is 1.0° or more.

Abstract: A solid electrolyte glass at least including: at least one alkali metal element; a phosphorus (P) element; a sulfur (S) element; and one or more halogen elements selected from I, Cl, Br and F; wherein the solid electrolyte glass has two exothermic peaks that are separated from each other in a temperature range of 150° C. to 350° C. as determined by differential scanning calorimetry (in a dry nitrogen atmosphere at a temperature-elevating speed of 10° C./min from 20 to 600° C.).

Abstract: The method for producing the porous sheet of the present invention includes the steps of (I) preparing a plurality of sheet materials that contain polytetrafluoroethylene and carbon particles and (II) stacking the plurality of sheet materials over one another and rolling the stacked sheet materials. In the method for producing the porous sheet of the present invention, step (I) and step (II) may be repeated alternately. Further, as the sheet materials to be used in the production method of the present invention, a base sheet obtained by forming a mixture containing polytetrafluoroethylene and carbon particles into sheet form also can be used, or a laminated sheet obtained by stacking a plurality of base sheets over one another and rolling them also can be used, for example.

Abstract: A positive electrode mix including a solid electrolyte and a sulfur-based active material, wherein the solid electrolyte comprises a Li element or a Na element; a S element; and a halogen element selected from the group consisting of I, Br, Cl and F.

Abstract: The method for producing the porous sheet of the present invention includes the steps of (I) preparing a plurality of sheet materials that contain polytetrafluoroethylene and carbon particles and (II) stacking the plurality of sheet materials over one another and rolling the stacked sheet materials. In the method for producing the porous sheet of the present invention, step (I) and step (II) may be repeated alternately. Further, as the sheet materials to be used in the production method of the present invention, a base sheet obtained by forming a mixture containing polytetrafluoroethylene and carbon particles into sheet form also can be used, or a laminated sheet obtained by stacking a plurality of base sheets over one another and rolling them also can be used, for example.

Abstract: A semiconductor memory includes a memory cell array that includes data cells of x bits and redundant cells of y bits for each word; a position-data storage unit that stores, for each word, defective-cell position data of defective cells of the data cells and the redundant cells; and a read circuit that reads data from cells of x bits based on the defective-cell position data stored in the position-data storage unit for a specified word of which address is specified as read address, the cells of x bits being formed by the data cells of x bits and the redundant cells of y bits of the specified word other than the defective cells.

Abstract: A solid electrolyte including as constituent components, lithium, phosphorous and sulfur; wherein, in the 31P-NMR, the solid electrolyte has a peak (first peak) in a region of 81.0 ppm or more and 88.0 ppm or less, the solid electrolyte does not have a peak in regions other than the region of 81.0 ppm or more and 88.0 ppm or less, or even if it has a peak in other regions than the region of 81.0 ppm or more and 88.0 ppm or less, the peak intensity thereof relative to the first peak is 0.5 or less, and the solid electrolyte has an ionic conductivity of 5×10?4 S/cm or more.

Abstract: A solid electrolyte including an alkali metal element, phosphorous, sulfur and halogen as constituent components.

Abstract: A parameter correction method includes: obtaining, from a variability-aware simulation, a simulation result value of a predetermined product performance for a reference candidate value set concerning statistics of predetermined product characteristics; calculating a likelihood by substituting the reference candidate value set, the obtained simulation result value, statistics of measurement values of the predetermined product characteristics and a measurement value of the predetermined product performance into a likelihood function that is defined from a probability density function for the statistics of the predetermined product characteristics and a probability density function for the predetermined product performance, and is a function to calculate a combined likelihood of the statistics of the predetermined product characteristics and the predetermined product performance; and searching for a reference candidate value set in case where the calculated likelihood becomes maximum, by carrying out the obtaini