Author

Shunya Hayashida

Observed name: Hayashida, Shunya

Institution: The Open University of Japan

Observed institution: The Open University of Japan

ORCID: 0000-0002-5019-3758

Observed ORCID: 0000-0002-5019-3758

OpenAlex ID: A5011891404

SHayashida/Sen-Lean4: M2 finite semantic obstruction bridge (papers-m2-v2-obstruction-bridge)

2026 · Shunya Hayashida · Zenodo (CERN European Organization for Nuclear Research)

AI Audit Control Matrix 1.0 (v0.1): A Bounded AI Auditability Architecture for Low-Observability Environments

2026 · Hayashida, Shunya · Zenodo (CERN European Organization for Nuclear Research)

An Auditable Possibility Atlas for Social Choice: Proof-/Witness-Carrying Evidence from the Sen24 Case Study

2026 · Hayashida, Shunya · Zenodo (CERN European Organization for Nuclear Research)

Formal Verification of Sen's Impossibility (Base Case n=2, m=4) in Lean 4 with DIMACS/LRAT Certificates

2026 · Hayashida, Shunya · Zenodo (CERN European Organization for Nuclear Research)

2026 · Hayashida, Shunya · Zenodo (CERN European Organization for Nuclear Research)

Amanogawa: Reproducible quantification of Milky Way structure from single-exposure smartphone images

2026 · Hayashida, Shunya · Zenodo (CERN European Organization for Nuclear Research)

Making the Host Rule Explicit in Monty Hall-Type Problems: A Pedagogical Note

2026 · Shunya Hayashida · SSRN Electronic Journal

Repair Explanations are Not Canonical under Clause-Equivalent Encodings: Evidence from the Sen24 Base Case

2026 · Shunya Hayashida · SSRN Electronic Journal

自律遂行型 Ai のシステミックリスクに対する権限制御型ガバナンス―モデル規制の補完としての権限構成単位アプローチ

2026 · Shunya Hayashida

Reportability Contracts for Repair Explanations in Finite Social Choice From Raw Non-Canonicity to Contract-Relative Reporting

2026 · Shunya Hayashida · SSRN Electronic Journal

A Finite Semantic Obstruction Basis for Sen’s Liberal Paradox: A Kernel-Checked Proof-Layer Bridge and Its Artifact Boundary

2026 · Shunya Hayashida · SSRN Electronic Journal

Abstraction Contracts and Report-Level Non-Determinacy of Exploitability Claims

2026 · Shunya Hayashida · SSRN Electronic Journal

Works count: 12

Citation count:

H-index:

I10-index: