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 o...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Patent |
| Sprache: | eng ; jpn |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | MIYAZAKI TAKASHI MIYAZAKI YU KUMADA KEISUKE TAHIRA AKITO |
| description | 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
【課題】マシンコードを効率的に管理すること。【解決手段】コンパイラによる変換によって得られた一以上のマシンコードに、ホモトピー型理論に基づく型を付与する付与部と、前記一以上のマシンコードのうち、マシンコードから別のマシンコードへの変換が前記ホモトピー型理論に基づく所定のルールを満たす場合に、前記マシンコードと、前記別のマシンコードとが同一性を有すると判定する判定部と、を備え、前記付与部は、前記判定部によって同一性を有すると判定された前記マシンコードと前記別のマシンコードに、同一の型を付与する、情報処理装置。【選択図】図１ |
| format | Patent |
| fullrecord | <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_JP2023014560A</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>JP2023014560A</sourcerecordid><originalsourceid>FETCH-epo_espacenet_JP2023014560A3</originalsourceid><addsrcrecordid>eNrjZPDx9HPzD_J1DPH091MICPJ3dg0O9vRzV3AMCHAMcgwJDdZRwKHC1zXEw99FR8HRzwUk7B7k6MvDwJqWmFOcyguluRmU3FxDnD10Uwvy41OLCxKTU_NSS-K9AowMjIwNDE1MzQwcjYlSBABOay6w</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AND PROGRAM</title><source>esp@cenet</source><creator>MIYAZAKI TAKASHI ; MIYAZAKI YU ; KUMADA KEISUKE ; TAHIRA AKITO</creator><creatorcontrib>MIYAZAKI TAKASHI ; MIYAZAKI YU ; KUMADA KEISUKE ; TAHIRA AKITO</creatorcontrib><description>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
【課題】マシンコードを効率的に管理すること。【解決手段】コンパイラによる変換によって得られた一以上のマシンコードに、ホモトピー型理論に基づく型を付与する付与部と、前記一以上のマシンコードのうち、マシンコードから別のマシンコードへの変換が前記ホモトピー型理論に基づく所定のルールを満たす場合に、前記マシンコードと、前記別のマシンコードとが同一性を有すると判定する判定部と、を備え、前記付与部は、前記判定部によって同一性を有すると判定された前記マシンコードと前記別のマシンコードに、同一の型を付与する、情報処理装置。【選択図】図１</description><language>eng ; jpn</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2023</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20230131&DB=EPODOC&CC=JP&NR=2023014560A$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25563,76318</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20230131&DB=EPODOC&CC=JP&NR=2023014560A$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>MIYAZAKI TAKASHI</creatorcontrib><creatorcontrib>MIYAZAKI YU</creatorcontrib><creatorcontrib>KUMADA KEISUKE</creatorcontrib><creatorcontrib>TAHIRA AKITO</creatorcontrib><title>INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AND PROGRAM</title><description>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
【課題】マシンコードを効率的に管理すること。【解決手段】コンパイラによる変換によって得られた一以上のマシンコードに、ホモトピー型理論に基づく型を付与する付与部と、前記一以上のマシンコードのうち、マシンコードから別のマシンコードへの変換が前記ホモトピー型理論に基づく所定のルールを満たす場合に、前記マシンコードと、前記別のマシンコードとが同一性を有すると判定する判定部と、を備え、前記付与部は、前記判定部によって同一性を有すると判定された前記マシンコードと前記別のマシンコードに、同一の型を付与する、情報処理装置。【選択図】図１</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2023</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZPDx9HPzD_J1DPH091MICPJ3dg0O9vRzV3AMCHAMcgwJDdZRwKHC1zXEw99FR8HRzwUk7B7k6MvDwJqWmFOcyguluRmU3FxDnD10Uwvy41OLCxKTU_NSS-K9AowMjIwNDE1MzQwcjYlSBABOay6w</recordid><startdate>20230131</startdate><enddate>20230131</enddate><creator>MIYAZAKI TAKASHI</creator><creator>MIYAZAKI YU</creator><creator>KUMADA KEISUKE</creator><creator>TAHIRA AKITO</creator><scope>EVB</scope></search><sort><creationdate>20230131</creationdate><title>INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AND PROGRAM</title><author>MIYAZAKI TAKASHI ; MIYAZAKI YU ; KUMADA KEISUKE ; TAHIRA AKITO</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_JP2023014560A3</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng ; jpn</language><creationdate>2023</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>MIYAZAKI TAKASHI</creatorcontrib><creatorcontrib>MIYAZAKI YU</creatorcontrib><creatorcontrib>KUMADA KEISUKE</creatorcontrib><creatorcontrib>TAHIRA AKITO</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>MIYAZAKI TAKASHI</au><au>MIYAZAKI YU</au><au>KUMADA KEISUKE</au><au>TAHIRA AKITO</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AND PROGRAM</title><date>2023-01-31</date><risdate>2023</risdate><abstract>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
【課題】マシンコードを効率的に管理すること。【解決手段】コンパイラによる変換によって得られた一以上のマシンコードに、ホモトピー型理論に基づく型を付与する付与部と、前記一以上のマシンコードのうち、マシンコードから別のマシンコードへの変換が前記ホモトピー型理論に基づく所定のルールを満たす場合に、前記マシンコードと、前記別のマシンコードとが同一性を有すると判定する判定部と、を備え、前記付与部は、前記判定部によって同一性を有すると判定された前記マシンコードと前記別のマシンコードに、同一の型を付与する、情報処理装置。【選択図】図１</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | eng ; jpn |
| recordid | cdi_epo_espacenet_JP2023014560A |
| source | esp@cenet |
| subjects | CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS |
| title | INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AND PROGRAM |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T04%3A46%3A23IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=MIYAZAKI%20TAKASHI&rft.date=2023-01-31&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EJP2023014560A%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |