{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CBMZUYUUNVQNEEBMBKKII7GLDY","short_pith_number":"pith:CBMZUYUU","canonical_record":{"source":{"id":"1702.06343","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-21T12:05:59Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"11e5ee5a53e5c97c134fc46e50e4b058a0844de36212a23bda8f9a8ee6a02564","abstract_canon_sha256":"d0ee807c9c80b6092170e8431756433f02799f0898bafe52da138f62211e9310"},"schema_version":"1.0"},"canonical_sha256":"10599a62946d60d2102c0a94847ccb1e3f353d10959cb333fb72601edbfb6284","source":{"kind":"arxiv","id":"1702.06343","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06343","created_at":"2026-05-18T00:06:51Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06343v6","created_at":"2026-05-18T00:06:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06343","created_at":"2026-05-18T00:06:51Z"},{"alias_kind":"pith_short_12","alias_value":"CBMZUYUUNVQN","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CBMZUYUUNVQNEEBM","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CBMZUYUU","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CBMZUYUUNVQNEEBMBKKII7GLDY","target":"record","payload":{"canonical_record":{"source":{"id":"1702.06343","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-21T12:05:59Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"11e5ee5a53e5c97c134fc46e50e4b058a0844de36212a23bda8f9a8ee6a02564","abstract_canon_sha256":"d0ee807c9c80b6092170e8431756433f02799f0898bafe52da138f62211e9310"},"schema_version":"1.0"},"canonical_sha256":"10599a62946d60d2102c0a94847ccb1e3f353d10959cb333fb72601edbfb6284","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:51.462523Z","signature_b64":"NHu2l28dM6L/iGM2H3qU48xfMcloI3uzprWqzcOOqlow/5NHF29DisrOsq7Q1A4cftHpEyO8cRB6M8tAK1SfCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"10599a62946d60d2102c0a94847ccb1e3f353d10959cb333fb72601edbfb6284","last_reissued_at":"2026-05-18T00:06:51.461836Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:51.461836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.06343","source_version":6,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:06:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f0Lixzd3UazrRkt+CsE7TLJhCOYWgjtF9aLrtSuDIdo87m5EzgV5xapi6h31t5KBxdLKDJ6N90HOlt19wnMyAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T00:25:46.340076Z"},"content_sha256":"719702a2be242fa3bc1424dd2f78566b7b2d8f079b1247bc62c14a5e87f2cf51","schema_version":"1.0","event_id":"sha256:719702a2be242fa3bc1424dd2f78566b7b2d8f079b1247bc62c14a5e87f2cf51"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CBMZUYUUNVQNEEBMBKKII7GLDY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS"],"primary_cat":"cs.PL","authors_text":"Satoshi Egi","submitted_at":"2017-02-21T12:05:59Z","abstract_excerpt":"In this paper, we propose a method for importing tensor index notation, including Einstein summation notation, into functional programming. This method involves introducing two types of parameters, i.e, scalar and tensor parameters, and simplified tensor index rules that do not handle expressions that are valid only for the Cartesian coordinate system, in which the index can move up and down freely. An example of such an expression is \"c = A_i B_i\". As an ordinary function, when a tensor parameter obtains a tensor as an argument, the function treats the tensor argument as a whole. In contrast,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06343","kind":"arxiv","version":6},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:06:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9OdJ2rTuBsvU6iwnQ5UhatL2d8AB2yiVebZ+2SwolZexhRtDElGZRoq/X8lKW0617aeSvFq/cngAB0fwXT94BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T00:25:46.340454Z"},"content_sha256":"9142098874b8888e2154b95a96cb74bf0aa6f489e44fff5b3e081d37fdee8804","schema_version":"1.0","event_id":"sha256:9142098874b8888e2154b95a96cb74bf0aa6f489e44fff5b3e081d37fdee8804"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CBMZUYUUNVQNEEBMBKKII7GLDY/bundle.json","state_url":"https://pith.science/pith/CBMZUYUUNVQNEEBMBKKII7GLDY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CBMZUYUUNVQNEEBMBKKII7GLDY/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-26T00:25:46Z","links":{"resolver":"https://pith.science/pith/CBMZUYUUNVQNEEBMBKKII7GLDY","bundle":"https://pith.science/pith/CBMZUYUUNVQNEEBMBKKII7GLDY/bundle.json","state":"https://pith.science/pith/CBMZUYUUNVQNEEBMBKKII7GLDY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CBMZUYUUNVQNEEBMBKKII7GLDY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CBMZUYUUNVQNEEBMBKKII7GLDY","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d0ee807c9c80b6092170e8431756433f02799f0898bafe52da138f62211e9310","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-21T12:05:59Z","title_canon_sha256":"11e5ee5a53e5c97c134fc46e50e4b058a0844de36212a23bda8f9a8ee6a02564"},"schema_version":"1.0","source":{"id":"1702.06343","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06343","created_at":"2026-05-18T00:06:51Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06343v6","created_at":"2026-05-18T00:06:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06343","created_at":"2026-05-18T00:06:51Z"},{"alias_kind":"pith_short_12","alias_value":"CBMZUYUUNVQN","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CBMZUYUUNVQNEEBM","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CBMZUYUU","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:9142098874b8888e2154b95a96cb74bf0aa6f489e44fff5b3e081d37fdee8804","target":"graph","created_at":"2026-05-18T00:06:51Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In this paper, we propose a method for importing tensor index notation, including Einstein summation notation, into functional programming. This method involves introducing two types of parameters, i.e, scalar and tensor parameters, and simplified tensor index rules that do not handle expressions that are valid only for the Cartesian coordinate system, in which the index can move up and down freely. An example of such an expression is \"c = A_i B_i\". As an ordinary function, when a tensor parameter obtains a tensor as an argument, the function treats the tensor argument as a whole. In contrast,","authors_text":"Satoshi Egi","cross_cats":["cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-21T12:05:59Z","title":"Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06343","kind":"arxiv","version":6},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:719702a2be242fa3bc1424dd2f78566b7b2d8f079b1247bc62c14a5e87f2cf51","target":"record","created_at":"2026-05-18T00:06:51Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d0ee807c9c80b6092170e8431756433f02799f0898bafe52da138f62211e9310","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-21T12:05:59Z","title_canon_sha256":"11e5ee5a53e5c97c134fc46e50e4b058a0844de36212a23bda8f9a8ee6a02564"},"schema_version":"1.0","source":{"id":"1702.06343","kind":"arxiv","version":6}},"canonical_sha256":"10599a62946d60d2102c0a94847ccb1e3f353d10959cb333fb72601edbfb6284","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"10599a62946d60d2102c0a94847ccb1e3f353d10959cb333fb72601edbfb6284","first_computed_at":"2026-05-18T00:06:51.461836Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:51.461836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NHu2l28dM6L/iGM2H3qU48xfMcloI3uzprWqzcOOqlow/5NHF29DisrOsq7Q1A4cftHpEyO8cRB6M8tAK1SfCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:51.462523Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.06343","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:719702a2be242fa3bc1424dd2f78566b7b2d8f079b1247bc62c14a5e87f2cf51","sha256:9142098874b8888e2154b95a96cb74bf0aa6f489e44fff5b3e081d37fdee8804"],"state_sha256":"8154092cd3f0dfac9a9a2d04e88f1e737eef0f0df36be4598da89e0ce777f935"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hg9rvp/lb6TDeEQj6EbqddHX/YvO9C+Gi5EyNz8L+6Tm0Q1LToPbdat7t17IpQdn9eMVry5chi1CTqAB0aUJAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T00:25:46.342355Z","bundle_sha256":"c246171309cc34d53f861cfd9ff787e9482376d954a21352b9df69f2e9c050a7"}}