{"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"}