collaborators

6 papers

cs.NE2026

Where Polanyi Meets Galois: Tacit Knowing as an Algebro-Deterministic Operation, Toward Re-rooting AI-Generated Science

Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato +1

We argue that tacit knowing is better modelled as an operating regime of a memory than as a kind of content. Our substrate is VaCoAl, an algebro-deterministic XOR-and-shift hyperdi…

physics.soc-ph2026

Computational Prosopography across a Millennium: Mathematically Oriented Lineages Traced from the Fields Medalists

Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato

We reconstruct the mentor--student network through which documented scholarly training passed across roughly nine centuries, and subject both the network and the means of reconstru…

cs.NE2026

How to Build Marcus's Algebraic Mind: From Minsky's Emotion-Machine Viewpoint

Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato

This paper reports a step that had already been taken. Marcus's three components of an adequate cognitive architecture -- variables, recursive structure, individuals vs kinds -- le…

cs.NE2026

How to Build Marcus's Algebraic Mind: From Thagard's Brain--Mind Viewpoint

Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato

This paper reports a convergence neither program was looking for. Marcus's The Algebraic Mind named three things any architecture needs -- operations over variables, recursive stru…

cs.NE2026

Bridging Silicon and the Hippocampus: Algebro-Deterministic Memory "VaCoAl" as a Substrate for Vector-HaSH and TEM

Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato

Vector-HaSH and the Tolman-Eichenbaum Machine (TEM) propose the hippocampal-entorhinal circuit factorizes memory via a grid-cell scaffold for compositional replay. Concurrently, hu…

cs.NE2026

Beyond LLMs, Sparse Distributed Memory, and Neuromorphics <A Hyper-Dimensional SRAM-CAM "VaCoAl" for Ultra-High Speed, Ultra-Low Power, and Low Cost>

Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato

VaCoAl (Python: PyVaCoAl) attacks the Binding Problem algebraically rather than statistically: an SRAM/DRAM-CAM organised end-to-end around one primitive, XOR-and-shift over GF(2)…