TN

Profile

Takuya Nemoto

根本卓哉

ORCID0009-0000-1406-0547

About me

I am enrolled at ZEN University, Faculty of Social Informatics — in its first autumn-entry cohort. The programme spans the humanities and the sciences.

My coursework is mainly philosophy and business practice. Mathematics is on offer as well. The courses I have credit for are listed in the CV (in Japanese). What this place holds is my study of computer science and artificial intelligence.

What is here rests on self-study and on working with language models. There was no supervisor and no collaborator. “Independent Researcher” is a provisional title used for clarity; in fact the author is an undergraduate. The university credits, though, are not self-study. They came from taking courses, submitting work and being assessed. They are what the table below lists, and what self-study and language models refer to lies outside them — the three papers in philosophy, the three Trinity-Infinity papers, and the tools and records kept here.

This site itself is built with Claude, by Anthropic. The page generation, the checking tools, the records — the git history carries Co-Authored-By: Claude Opus 5 throughout. Which tools went into the three philosophy papers, though, cannot be identified — no record was kept and the author’s memory does not settle it (E5 in the errata for the three). On the Trinity-Infinity side it can be identified — the 2025 first draft was generated by a language model (ChatGPT, OpenAI), and the 2026 revision was written with Claude Code (Anthropic). The three philosophy papers are the only ones where the tool cannot be pinned to a single name.

The bar that was cleared, in the venues' own wording. SSRN — the subject must be part of the world-wide scholarly discourse covered by one or more of SSRN's subject area networks; it must not be non-scholarly, articles with no references being named; title, date written, abstract and full author details must be present; it must clear research-integrity checks. Editorial staff look at it before it goes up. PhilArchive — it takes works of all types (articles, books, dissertations) in all areas of academic philosophy; non-philosophy only where cross-disciplinary and of clear interest to philosophers; All books and papers submitted should be of professional quality; threats and harassment, personal information without consent and impersonation are prohibited; the right to reject any submissions is reserved; and more than six hundred category editors keep irrelevant or misfiled items out of their categories — which acts after the fact, not before.

What follows from that is definite. Work written by self-study and language models was judged by SSRN's editorial staff to belong to the scholarly discourse of its field. For two papers, a person looked before publication and did not turn them away. The third was turned away. Fragmentarian Spiritual Individualism (10.5281/zenodo.22064241) was submitted to SSRN and rejected. This gate does turn work away. The field is named, not left vague: the two philosophy papers that were accepted sit in Continental Philosophy in the Philosophy Research Network, and Trinity-Infinity Series II in Numerical Analysis in the Mathematics Research Network. The source note on the naval gazette entry was also accepted by SSRN's editorial staff, and sits in East Asian History in the History Research Network (SSRN 10.2139/ssrn.7449338). The philosophy-of-science paper Machine-mediated Rediscovery was also accepted by SSRN’s editorial staff (SSRN 10.2139/ssrn.7537983). On SSRN a subject area is itself an eJournal. The rejected paper was submitted to the same Continental Philosophy area. It was not accepted, so it sits in no eJournal at all. On PhilArchive, two of the three were taken to lie within academic philosophy and to be of professional quality. The right of rejection is reserved; for those two it was not exercised. The same thing has happened on the mathematics side: Trinity-Infinity Series II was judged by SSRN’s editorial staff to belong to the scholarly discourse of its field (SSRN 10.2139/ssrn.7446961). For one paper, a person looked before publication and did not turn it away. Series I (revised) and Series III were submitted and turned away. Two notices arrived from SSRN on 2026-09-18. The wording is boilerplate: the submission “does not meet SSRN’s submission requirements or falls outside the scope of our platform”, and it does not say which. One thing is certain here — Series II sits in the same Mathematics Research Network, so mathematics being out of scope cannot be the explanation. What separates the two that were turned away from the one that was taken is not yet known. So this gate sorts within a single series. Of the eight submitted, five were accepted and three were turned away.

What does not follow is equally definite. Neither gate looked at whether the argument holds. What was passed is a gate on acceptance, not peer review; on the PhilArchive side two of the three passed a gate and one passed none at all. The same holds for Series II: what SSRN looked at was subject and form. The rejection is the same coin, the other face. All that follows from it is that SSRN did not accept those papers — not that the argument was found wanting. The platform says so itself — the notice sent for the two mathematics papers states that this decision does not reflect a judgement on the merits of your work. For Fragmentarian no reason was given. For the two mathematics papers a boilerplate notice arrived, but it does not say whether the ground was requirements or scope. Neither has been established here. All of the wording is set out verbatim above.

One thing about the mathematics is now settled. The operator behind the three Trinity-Infinity papers, x ← DQx + (I−D)p, was already a known model — the Friedkin–Johnsen model (1990 / 1999) in sociology. The opinion-dynamics literature routinely names DeGroot and Friedkin–Johnsen together as the most influential models in that area; it became a Cambridge monograph in 2011, reached Science in 2016, and is now used in control theory and computer science. Not a footnote — one of the two pillars of the field. And Series I names consensus dynamics in its own first section while citing nothing from that field (ERRATA E8, severity high). The dimensions, stated exactly: this operator is the special case where the influence matrix W is a cyclic permutation — a ring in which each party listens to exactly one neighbour. The general W, who influences whom and by how much, which is what makes Friedkin–Johnsen sociology, is dropped entirely. What was rediscovered is the mathematical frame of a first-rank sociological model, with the sociology taken out, and its load-bearing term.

One thing has been added beyond that. On 2026-10-04 a note was written showing that the same operator decides the equilibria of a repeated game (trinity-operator, games). The continuation values of a cyclic path of play are the fixed point of this operator. The formula itself is the textbook one. From it, thresholds were proved: a path on which three players take turns defecting is an equilibrium exactly when the discount factor is at least 1/φ. The note also shows that the Series II example (2,4,2) is not sustainable for any discount factor. The propositions have not been checked against the literature. They may be known exercises, and they are not counted as new results until they are checked. The note also states a conjecture: without randomization, the set of sustainable payoffs is full of holes. It is called the golden-window conjecture, the window being the discount factors from 1/φ to 2/3. The name describes the statement and is not a person’s name. The conjecture and what is proved outside the window are set out on a page of their own. There is no proof, and the evidence is numerical only. The known model, the proved propositions and the conjectures are written down separately.

The preprints up to this point were written as a hobby. None of them has been peer-reviewed. This is not modesty. It follows from what is set out above — the desk gate was passed, but no one has examined the arguments. The three mathematical papers are a special case of a known model, and the contribution to the field is zero. Hobby research ended in the first undergraduate year. What comes next will be written so that the word need not apply.

The edX and Tohoku University MOOC certificates were also finished in the first half of the first undergraduate year. There are seven of them. And everything set out here is the work of that first undergraduate year. Nine preprints, 16 Zenodo DOIs, ten repositories, seven certificates and open badges. The dates themselves have been checked against nothing. They are printed on the certificates, but neither edX nor the issuers can be reached from this working environment. The enrolment date is not printed here either. Printing it would mean printing a date that has not been verified.

Where it goes is decided too. Anything taken this far by self-study goes only to diamond open-access venues — venues that charge neither the reader nor the writer. No publication fees, no submission fees. Solicitations that advertise being free are declined as well — the moment money changes hands, what passed was payment, not selection. The rule has already been used once: a publisher wrote offering to turn the work into a book, and no reply was sent (solicitations received). That was not a judgment about them — their existence, record and review practice are all unverified here. What was decided was a rule on this side.

How published work is counted is fixed as well. Only a degree thesis, or work in a journal ranked Q1 within its field category, or in a peer-reviewed diamond open access journal in the field, goes into the article sections of researchmap and HAL. Everything else is treated as a working paper, a preprint, or MISC. The floor for that is appearing on SSRN, PhilPapers, or arXiv. Work that exists only on Zenodo goes into neither section. Zenodo is treated as the place where work that did not pass those screenings is kept for the sake of research transparency. The Zenodo DOI remains the canonical one to cite. What is on SSRN stays outside the article section too. Nothing qualifies at present. The rule above on where work is sent does not change; this one only decides how what appears is counted.

Apart from those two, there is a recurring goal. Acceptance in the Journal of Open Source Software (JOSS, ISSN 2475-9066). One acceptance will not close it. For some time to come it is set as a goal to be repeated. It charges neither publication nor submission fees — it falls on the side rule 14 allows. On acceptance a Crossref DOI is minted. The prefix is 10.21105, giving DOIs of the form 10.21105/joss.03021. The stated requirements, in the venue’s own wording. The software must be open source as per the OSI definition. there should be an actual license file present in the repository not just a reference to the license. The software must be hosted at a location where users can browse the source code files, open issues, and propose code changes without manual approval of (or payment for) accounts. The software must have an obvious research application. You must be a major contributor to the software you are submitting. feature-complete (i.e., no half-baked solutions). Four gates come before review. Failing any one returns the submission unreviewed (will receive a desk rejection). One, the length of public history. The repository must have been public for more than six months prior to submission, with active development spanning that period. Two, evidence of research use. There must be evidence that the software is being used for research, and Aspirational statements about future use are not sufficient — saying it will be used is not enough. Three, open-source practice. For a single author, several indicators must be present at once: a public commit history over time, tagged releases or a changelog, tests and CI, documentation, a CONTRIBUTING file, and stated support expectations. Four, iterative development. The development history must show ongoing iteration, not a single burst of commits. The dates are fixed. The earliest first commit across the ten repositories is 2026-06-12, which is this site itself; on the tooling side the earliest is 2026-09-05. Counting back from the six-month requirement, the earliest possible submission is 2026-12-13, and 2027-03-06 on the tooling side. For errata-check, the one to be submitted, the first commit is 2026-09-07 and the earliest possible submission is 2027-03-08. The concentration of work into a few weeks is not filled in by waiting; it needs a record of continued work while the tool is in use. Submission comes after that. The venue also requires disclosure of language-model use (AI usage disclosure) — the tools and versions, where they were used, and confirmation that a human reviewed the output. Rule 8 decided the same thing first. Only errata-check is to be submitted. The others are papers, a source note, a memorandum, or tools judged not to reach the scope of JOSS. Which gate each one falls short of is set out one by one in the ten repositories. The wording is copied from docs/ in openjournals/joss, with only link and emphasis markup removed.

The papers are being submitted too. Both the three philosophy papers and the three Trinity-Infinity papers are going to diamond open-access refereed journals. The decision changed on 2026-09-15. Until then they were not to be submitted, and the reason was not cost: the use of language models could not be disclosed in full. Journals ask for the tools and versions, where they were used, and confirmation that a human verified the output. For the three philosophy papers the translation tool cannot be identified — no record was kept and the author’s memory does not settle it (E5 in the errata). The reason for the change is one point. Writing that the tool cannot be reconstructed is writing everything that is known. What is incomplete is not the disclosure but the material available to disclose. Whether that is acceptable is the venue’s decision, not one to pre-empt by self-rejection. The COPE rules are kept — no language model is listed as an author, and the use of language models is disclosed. The preprints do not move. They remain on Zenodo, PhilArchive and SSRN. This is not a withdrawal, and it is separate from submitting to a journal. One box will not be ticked: any attestation that the writing is substantially the author’s own (the ten repositories).

The direction has been changed. Decided on 2026-09-23. From here on the effort goes into producing results inside the institution. Presenting at conferences, and being awarded there. Neither has happened even once. What exists so far is preprints that passed a desk gate, and deposit records. Neither of those is a peer-reviewed result. Setting JOSS as a recurring goal points the same way.

The outlook, stated plainly. Nothing outside those two is in view — working as an independent researcher after a doctorate, and earning a living as a sole proprietor who takes on only work chosen for its quality. Conferences and awards lie on the way to the first of those. The count of goals has not become three. A doctorate, too, is in essence non-reproductive: it is conferred on one person’s work alone and can be neither handed over nor inherited. And life will be lived with contact with others cut back as far as it will go. That way of living points the same way as the writing. What The Nobility and Exemplarity of the Celibate Individual defends is precisely that form — a happiness dependent neither on others nor on the cycle of desire (C2 in that paper). Whether that form can actually be taken up, however, is not established. C2 rests on two sources the author has not read (E6 in the errata, severity high), and the statistics on isolation press exactly on whether it can be taken up. A way of living is not evidence for a claim. The order runs the other way: the claim is the part not yet standing on its own feet.

What is to remain after death (the gravestone and posthumous name, the degree, ORCID and DOI) is not research, and has been moved to a separate page.

  1. Tochigi Prefectural Tochigi High School (120th cohort)left partway through
  2. Sundai Preparatory School, Omiya, course for high-school graduatesattended
  3. ZEN University, Faculty of Social Informatics (1st cohort)enrolled (autumn entry)17 courses, 34 credits — 14 required, 16 required elective, 4 elective (as of 17 September 2026)
    • Introduction to the Humanities and Social SciencesrequiredB
    • IT LiteracyrequiredC
    • Academic LiteracyrequiredP
    • Using Digital ToolsrequiredB
    • Multilingual IT CommunicationrequiredB
    • Applied Practice in Artificial IntelligencerequiredC
    • Introduction to EconomicsrequiredC
    • Introduction to Information Securityrequired electiveC
    • History of Mathematicsrequired electiveB
    • Introduction to Publishing on the InternetelectiveA
    • Internet Culture through the History of Derivative WorkselectiveB
    • A History of the Japanese Game Industryrequired electiveC
    • Business Managementrequired electiveC
    • Law Irequired electiveC
    • Psychologyrequired electiveD
    • Applied Machine Translation (Informatics)required electiveD
    • Applied Machine Translation (Law)required electiveD

The English course titles below are unofficial translations, not the university's own. The official English titles have not been checked — the syllabus cannot be opened from the environment this site is built in. The faculty name is the form the university's English pages are reported to use; those pages present a single faculty with no department level, and they could not be opened from here either.

Emblems of standing and turning alone, and of non-reproduction

  • To work as an independent researcher after a doctorate
  • To earn a living as a sole proprietor, taking on only work chosen for its quality

I study computer science and artificial intelligence. Everything published here is a preprint that has not been peer reviewed. This place has one core: auditing, by machine, what I have already published. The three Trinity-Infinity papers are what it was applied to. Three papers in philosophy and a source note are in Notes; certificates and areas of study are in CV.


Claim

One claim, chosen because it is the easiest thing here to check. Agreeing or refuting it takes a browser.

A published artifact cannot be revised. Only the errata can. So the errata drifts away from its source over time. A quotation loses a word, occurrences are undercounted, an item declared unresolvable is quietly marked resolved. That drift can be caught by machine, without inference.

What the three papers came to
The framework did not survive. What remains is one fact about one operator: for Q an n-cycle and D diagonal, (DQ)ⁿ = (∏ᵢ aᵢ)·I exactly, so convergence is governed by the geometric mean of the coefficients — not by their maximum, and not by the operator norm.The fact is correct and machine-checked. Its level is that of a second- or third-year undergraduate exercise. The error was the one confusion that range puts on its exam — which is exactly why it could be turned into a check that will never let the same confusion through again. Only the tool used to repair the proof belongs to graduate linear systems and matrix analysis: the transient growth of a non-normal matrix (the error swells 11.8× at step 2) and the construction of a contracting norm from a Lyapunov equation. The level of the tool and the level of what it repaired are two different things. The closest department is not numerical analysis but linear systems and control: the object is the asymptotic stability of a discrete-time system. Of the symbol Ⅲ∞, the half with mathematical content (Ⅲ, three) is the half that was proved not to matter. The route is recorded here.
Whose claim this is
The tool was not built first and then pointed at a paper. It came out of auditing my own three papers. The undercount, the characters added to a quotation that are not in the original, and the last-updated stamp that was older than a date inside the document were all found in my own records.
Evidence
I believed the three papers promised a bundled verification script in three places. Counting the pages, there are six. That was found by machine, not by reading. 108 checks on the errata itself, 78 on the tool. The tool is checked by breaking a passing state in 30 distinct ways and asserting that each break fails exactly the corresponding check.
The outside eye
The frozen papers are run through the Stanford Agentic Reviewer (paperreview.ai, built by Yixing Jiang and Andrew Ng), and every point it raises is checked one by one and recorded. What it got right and what it got wrong are both kept.It is not peer review. It grounds its reviews in arXiv, so its aim is weaker in this field. That caveat is part of what is being measured — it is recorded alongside the reviews (in Japanese). One review independently found E6; another invented a typo that does not exist.
What would refute it
(1) Show one case that passes these checks while the errata does in fact diverge from its source. (2) Or show one check that does not fail when broken as declared. Either one refutes it. The declaration format and the break tests are in errata-check.

The volume of verification says nothing about the value of what is verified. No check in this system can decide that question. It is falsifiable at the level of claims and structurally unfalsifiable at the level of significance. That asymmetry does not go away. Rather than let it look as though it had, That is recorded as unresolved (ST-002).


Verification

How many checks, where, and when. All of them run in CI on every push. The first three are the core.

268 checks on the errata
The same audit applied to all four frozen bodies of work: 108 on the three Trinity-Infinity papers, 102 on the three philosophical papers, 58 on the naval gazette source note. Every quotation verbatim, everything declared absent really absent, no quiet resolution of an item declared unresolvable, and the PDFs themselves unchanged (errata-check 10.5281/zenodo.22649899)
78 checks on the tool itself
A checking tool cannot be trusted merely because it passes; a tool that looks at nothing passes too. A passing state is broken in 30 distinct ways, and each break must fail exactly the corresponding check. The distributions used to recompute p are validated against published statistical tables at eleven points (errata-check)
46 checks on the register
The shape and history of the correction record itself. 97 entries across five statuses, 37 of them reconstructed after the fact and marked as such, with the recording date checked against git history. 78 can be checked by anyone against a frozen artifact; the remaining 19 rest on the author’s word alone, and that too is a field. That standing claims carry a refutation route, that unresolvable items give a reason, and that no entry ever published has since been removed (self-correction)
31 printed numbers
Every number printed in the three papers, recomputed and shown beside the printed value (trinity-infinity/verification/claims_audit.py)
13 theorems reimplemented
The theorems reimplemented independently of the papers (trinity-infinity/verification/independent_check.py)
29 checks on the operator
The operator outside the papers' assumptions, with a fixed seed (trinity-operator)
51 checks on the certificate
The repaired argument itself: that P solves the Lyapunov equation, that ‖·‖_P is a norm, and that f contracts in that distance — checked from the definitions (trinity-operator)
81 checks on the outlook
Which of the papers’ conclusions survive as each assumption is dropped. What is settled exactly, what is only estimated, and what is undecidable in principle, counted separately (trinity-operator/roadmap)
90 checks in this page
The numerics behind the operator page, checked against 728 recorded NumPy results. Maximum relative difference: ρ 6.7×10⁻¹⁵, ‖A‖₂ 1.7×10⁻¹⁵. The constructed distance is checked against 23 recorded certificates as well (κ within 3.9×10⁻¹⁶)

Withdrawn, and unfixable

Claims withdrawn in revision, and things found later that could no longer be fixed. Nothing has been deleted. A frozen PDF cannot be corrected; only the record can. The record across all four bodies of work is the register (93 entries).

The original theorem
Under its natural reading the fixed point is not unique
"98.7% of trials"
No reproducible code, seed or stopping rule
A three-player payoff table
Three players with two strategies is 2³ = 8 outcomes; four cells cannot represent it
Lyapunov and LaSalle
Continuous-time tools applied to a discrete iteration
Applications to policy
Alignment of artificial intelligence, climate policy, governance. Nothing was shown
The verification scripts
The three papers promise one in six places. None of them exists (confirmed with the author)
Where the first draft came from
A language model fitted the mathematics to the symbol Ⅲ∞. None of the three papers says so
The English text
The philosophy papers and the source note were machine-translated. The disclosures do not say so
The cited primary sources
The author has not consulted most of them. 38 of the 39 unchecked. The survey has begun one entry at a time; the first came out matching. The second had been read, but no passage could be pointed to, so it stays unchecked — having read a book and being able to cite it are not the same
A trade ebook
『グランドセオリーというロマン —— トリニティインフィニティフレームワーク』 (Kindle; the author calls it a manifesto). The author withdrew it from sale. Unlike the frozen PDFs, no third party can now check what it claimed. It is the one thing in this record that was deleted

Errata for the three papers — ERRATA.md


Papers

Trinity-Infinity Series I–III. These three are what the audit was applied to. They have not been peer reviewed. The condition the papers impose for convergence is stronger than it needs to be, and that can be checked on the operator page.


Works

The tool that audits, and the implementations that were audited.

Python / MIT / with a DOI

errata-check

Audits an errata document against a frozen, already-published artifact. Every quotation verbatim, no undercounting, no quiet resolution of an item declared unresolvable, and the artifact itself unchanged. Recomputation of p from printed test statistics, the GRIM test, ORCID/ISBN/ISSN check digits and Japanese era years can also be declared. No inference is used in the judgement, so the output does not need to be re-verified by a human.

DOI 10.5281/zenodo.22649899

View on GitHub
Record / MIT

self-correction

Every claim I have published that turned out to be wrong, was withdrawn, or cannot be fixed — recorded one by one and never deleted. 97 entries so far. Five statuses only; standing claims must carry a refutation route and unresolvable ones must say why. Identifiers can never be removed: the check walks the git history and fails if any entry that was ever published has since disappeared.

View on GitHub
On this site / tool (in Japanese)

Run the operator

A page that iterates the operator x ← DQx + (I−D)p from the three papers above. Type in a matrix and it reports both the spectral radius and the operator norm, judges convergence and monotone decay separately, and draws the fixed point and the error curve. Where the papers' argument breaks, it constructs a distance in which f is a contraction and rebuilds the argument until Banach's theorem applies literally. Eigenvalues, singular values and the Lyapunov equation are all solved inside the page. No outbound requests.

Open
PDF / CC BY 4.0

trinity-infinity

The three papers above and their verification. 15 checks that reimplement the theorems independently and 32 that recompute every number printed on the page. It also records what was established and what was withdrawn.

View on GitHub
Python / MIT

trinity-operator

The operator from the three papers above, implemented without restricting Q to a permutation or the coefficients to a uniform scalar. Convergence is governed by the spectral radius; the operator-norm condition the papers impose is stronger than it needs to be. 22 checks, including an example whose error swells to 11.8× before it converges, 51 more on the construction that repairs the broken argument, and 63 on a staged outlook that drops one assumption at a time.

View on GitHub

Notes

Everything not placed in the core is in Notes and CV, undeleted. The DOIs and the repositories are live.

Three papers in philosophy, and a naval gazette source noteSummaries and full text are on the Notes page. Where the three philosophical papers live is listed below

The Nobility and Exemplarity of the Celibate IndividualZenodo 10.5281/zenodo.22058254 / SSRN 10.2139/ssrn.7358779 / PhilArchive NEMTNA

Manifesto of Imperial SelfhoodZenodo 10.5281/zenodo.22057583 / SSRN 10.2139/ssrn.7358818 / PhilArchive NEMMOI

Fragmentarian Spiritual IndividualismZenodo 10.5281/zenodo.22064241 / PhilArchive NEMFSI

Repositories and tools outside the coreresearcher-profile / justice-and-algorithms / autonomy-and-self-cultivation / naval-gazette-notes

Certificates, areas of study, external profilesCV


Contact

Criticism and corrections come first.

Criticism and corrections are welcome. That is what this place is chiefly for. A counterexample to the claim above goes to trinity-operator issues; an error in the papers themselves to trinity-infinity issues; an error on this site to this repository's issues. If something should be withdrawn, it will be withdrawn and recorded. That is what has happened so far.

Elsewhere
External profiles are collected in CV