INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AND PROGRAM

To efficiently manage machine codes.SOLUTION: An information processing apparatus includes: an addition unit which adds a type based on homotopy type theory to one or more machine codes obtained through conversion by a compiler; and a determination unit which determines, when a conversion from one of the machine codes to the other machine code satisfies a predetermined rule based on the homotopy type theory, that the one machine code is identical with the other machine code. The addition unit adds the same type to the one machine code and the other machine code determined to be identical with each other by the determination unit.SELECTED DRAWING: Figure 1 【課題】マシンコードを効率的に管理すること。【解決手段】コンパイラによる変換によって得られた一以上のマシンコードに、ホモトピー型理論に基づく型を付与する付与部と、前記一以上のマシンコードのうち、マシンコードから別のマシンコードへの変換が前記ホモトピー型理論に基づく所定のルールを満たす場合に、前記マシンコードと、前記別のマシンコードとが同一性を有すると判定する判定部と、を備え、前記付与部は、前記判定部によって同一性を有すると判定された前記マシンコードと前記別のマシンコードに、同一の型を付与する、情報処理装置。【選択図】図１