Abstract: An object is to provide a magnetic recording medium having favorable crystal orientation characteristics and exhibiting a high SNR. The present technology provides a magnetic recording medium having a layer structure including a recording layer, a ground layer, and a base layer in this order, in which the ground layer includes a first ground layer on the recording layer side and a second ground layer on the base layer side, the first ground layer contains a nonmagnetic oxide, the first ground layer has a thickness of 2 nm or more and 10 nm or less, and the second ground layer has a thickness of 40 nm or more. Furthermore, the present technology also provides a magnetic recording cartridge including the magnetic recording medium.

Abstract: A system for program synthesis using annotations based on enumeration patterns includes a memory device for storing program code, and at least one processor device operatively coupled to the memory device. The at least one processor device is configured to execute program code stored on the memory device to obtain a set of annotated terms including one or more terms each annotated with an enumeration pattern, translate problem text into a formal specification using natural language processing, the formal specification being described as a set of rules associated with predicates, and synthesize one or more terms satisfying the set of rules of the formal specification based on the set of annotated terms to generate a computer program.

Abstract: Provided is a sputtering target to be used for forming a granular magnetic thin film in which FePt magnetic grains are isolated by an oxide and which constitutes a heat-assisted magnetic recording medium having enhanced uniaxial magnetic anisotropy, thermal stability, and SNR (signal-to-noise ratio). The sputtering target for a heat-assisted magnetic recording medium contains an FePt alloy and a nonmagnetic material as main components, where the nonmagnetic material is an oxide having a melting point of 800° C. or higher and 1100° C. or lower.

Abstract: Smart contract code is verified by storing smart contract code, identifying a type system for verifying a determinism of the smart contract code based on a first set of security-level values and a second set of security level values, and verifying the determinism of the smart contract code by taking the first set of security-level values as deterministic values and the second set of security level values as non-deterministic values.

Abstract: A magnetic recording medium includes a magnesium oxide underlayer including magnesium oxide, and a magnetic layer including an alloy having a L10 structure and includes Fe or Co and Pt. The magnesium oxide has a peak of an O1s spectrum detected in a range of 531 eV to 533 eV when measured by X-ray photoelectron spectroscopy.

Abstract: Provided are an impeller and a centrifugal pump that can be simplified in structure and reduced in weight and cost, and that can be integrally molded by a mold or the like. In a centrifugal pump including a housing having an inlet, an outlet and an impeller chamber, an impeller is disposed in the impeller chamber and is rotationally driven by a driving shaft. The impeller includes: a shaft part connected to the driving shaft to rotate about an axis line extending toward the inlet; blades protruding radially outward from an outer periphery of the shaft part; and an annular shroud plate continuous with the blades so as to cover a tip side area of the blades in order to be disposed adjacent to an inner wall of the housing on the inlet side.

Abstract: A method of simulating codes that form a program configured to control a control target includes causing a processor to execute the following: first-setting a first process of executing a simulation of an operation of a code group excluding a specific code among the codes; second-setting a second process of executing a simulation of an operation of a specific model obtained by modeling the specific code; first-simulating, in the first process, a first simulation of a code preceding the specific code in the code group; second-simulating, in the second process, a second simulation of the specific model through use of an execution result of the first simulation by inter-process communication between the first process and the second process; and third-simulating, in the first process, a third simulation of a code succeeding the specific code through use of an execution result of the second simulation by the inter-process communication.

Abstract: A conversion apparatus includes a storage unit storing definition information in which position information and a type of the signal are associated with each other; a decoder referring to, when first reception data is input, the definition information of the first control target to determine a type of a first signal at a first position in the first reception data, and output first input data in which the determined type of the first signal and a value of the first signal in the first reception data are associated with each other; and an encoder referring to the definition information of a second control target to output second input data in which identification information of second computing units that corresponds to the type of the first signal, position information indicating a second position of the first signal, and a value of the first signal are associated with one another.

Abstract: An example operation may include one or more of reading first and second output values of an entity from first and second memory addresses, respectively, storing the first and second output values in a blockchain data structure, executing the blockchain data structure, where the executing comprises selecting one of the first and second output values based on an operation to perform with a third output value, and modifying the selected output value based on the third output value, and storing the modified selected output value at an output memory address.

Abstract: Provided is a perpendicular magnetic recording medium that exhibits improved thermal stability and achieves reduction in switching magnetic field by providing a cap layer having characteristics (characteristics contributing to reducing switching magnetic field of the perpendicular magnetic recording medium as well as to improving thermal stability thereof) superior to existing cap layers. A perpendicular magnetic recording layer (24) has a granular structure which comprises Co- Pt-alloy magnetic crystal grains (24A) and a non-magnetic grain boundary oxide (24B). A cap layer (26) has a granular structure which comprises Co-Pt-alloy magnetic crystal grains (26A) and a magnetic grain boundary oxide (26B). The Co- Pt -alloy magnetic crystal grains (26A) in the cap layer (26) contain 65-90 at % of Co and 10-35 at % of Pt. The magnetic grain boundary oxide (26B) is included in a volume fraction of 5-40 vol % with respect to the total volume of the cap layer (26).

Abstract: Provided is a sputtering target with which it is possible to form a magnetic thin film having a high coercive force Hc. The sputtering target is a sputtering target that contains metallic Co, metallic Pt, and an oxide, wherein the sputtering target contains no metallic Cr except inevitable impurities, the oxide is B2O3 and the sputtering target comprises 10 to 50 vol % of the oxide.

Abstract: An example operation may include one or more of reading first and second output values of an entity from first and second memory addresses, respectively, storing the first and second output values in a blockchain data structure, executing the blockchain data structure, where the executing comprises selecting one of the first and second output values based on an operation to perform with a third output value, and modifying the selected output value based on the third output value, and storing the modified selected output value at an output memory address.

Abstract: For a further high capacity, provided is a sputtering target for a magnetic recording medium that can form a magnetic thin film having enhanced uniaxial magnetic anisotropy, reduced intergranular exchange coupling, and improved thermal stability and SNR (signal-to-noise ratio). The sputtering target for a magnetic recording medium, comprises: a metal phase containing Pt and at least one or more selected from Cu and Ni, with the balance being Co and incidental impurities; and an oxide phase containing at least B2O3.

Abstract: Provided is a sputtering target with which it is possible to form a magnetic thin film having a high coercive force Hc. The sputtering target is a sputtering target that contains metallic Co, metallic Pt, and an oxide, wherein the sputtering target contains no metallic Cr except inevitable impurities, the oxide has B2O3, and the sputtering target comprises 10 to 50 vol % of the oxide.

Abstract: The present invention is to provide an assisted magnetic recording medium including a substrate; an underlayer disposed on the substrate; a magnetic layer disposed on the underlayer and including an alloy having an L10-type crystal structure; and a pinning layer disposed in contact with the magnetic layer, wherein the pinning layer includes a granular structure, the granular structure containing magnetic particles and grain boundaries, wherein the magnetic particles contain Co, and wherein the grain boundaries contain Y2O3 and/or an oxide of lanthanoid.

Abstract: A sputtering target for magnetic recording media capable of producing a magnetic thin film in which the magnetic crystal grains are micronized and the distance between the centers of the grains is reduced while good magnetic properties are maintained. The target including metallic Pt and an oxide, with the balance being metallic Co and inevitable impurities, wherein the Co is contained in a range of 70 at % to 90 at % and the Pt is contained in a range of 10 at % to 30 at % relative to a total of metallic components in the sputtering target for magnetic recording media, the oxide is contained in a range of 26 vol % to 40 vol % relative to a total volume of the sputtering target for magnetic recording media, and the oxide is composed of B2O3 and one or more high-melting-point oxides having a melting point of 1470° C. or higher and 2800° C. or lower.

Abstract: A sputtering target that can be used for forming a buffer layer that enables magnetic crystal grains in a magnetic recording layer granular film to be well separated when the magnetic recording layer granular film is stacked above a Ru underlayer. The target contains a metal and an oxide, wherein: the contained metal becomes a nonmagnetic metal including an hcp structure if the entirety of the contained metal is made into a single metal, the lattice constant “a” of the hcp structure included in the nonmagnetic metal being 2.59 ? or more and 2.72 ? or less; the contained metal includes 4 at % or more of metallic Ru relative to the whole amount of the contained metal; and the sputtering target contains 20 vol % or more and 50 vol % or less of the oxide relative to the entire sputtering target, the melting point of the contained oxide being 1700° C. or more.

Abstract: A wireless communication network that forms an ad-hoc network without the arrangement of a controlling station sets a period that a communication apparatus can utilize with priority and performs isochronous communication in the period as required. When isochronous communication has not been performed or after isochronous communication has finished in the priority utilization period, other communication apparatuses perform arbitrary communication. When another communication is performed in a communication apparatus's own priority utilization period, the start of isochronous communication is temporarily delayed. In an ad-hoc communication environment, data having a real-time characteristic, such as AV content, can be efficiently transmitted through the isochronous communication.

Abstract: Provided are an impeller and a centrifugal pump that can be simplified in structure and reduced in weight and cost, and that can be integrally molded by a mold or the like. In a centrifugal pump including a housing having an inlet, an outlet and an impeller chamber, an impeller is disposed in the impeller chamber and is rotationally driven by a driving shaft. The impeller includes: a shaft part connected to the driving shaft to rotate about an axis line extending toward the inlet; blades protruding radially outward from an outer periphery of the shaft part; and an annular shroud plate continuous with the blades so as to cover a tip side area of the blades in order to be disposed adjacent to an inner wall of the housing on the inlet side.

Abstract: Smart contract code is verified by storing smart contract code, identifying a type system for verifying a determinism of the smart contract code based on a first set of security-level values and a second set of security level values, and verifying the determinism of the smart contract code by taking the first set of security-level values as deterministic values and the second set of security level values as non-deterministic values.