Name: 山内 匠 (Yamauchi, Sho)
A government official in the Ministry of Internal Affairs and Communications, Japan (2012-Present)
A government official in the Digital Agency, Japan (2022-2024)
Graduated from the University of California, San Diego (2022, Master of Public Policy, School of Global Policy and Strategy)
Graduated from the University of Tokyo (2012, Igarashi Lab, Information Science Department, School of Science)
Awarded 1st prize (the Chief Cabinet Secretary's award) in "NISC-CTF" (a cyber security competition for Japanese government agencies and related organizations) (2020-02-19)
Lawtext is a human-readable/editable plain text format designed for Japanese laws. Lawtext works efficiently with existing source code management tools to make law text management open, safe, and creative.
A utility tool for browsing Japanese laws, which utilizes Lawtext, standard law XML, and e-LAWS API. Lawtext-app is accompanied by an additional syntax analyzer and an elemental semantic analyzer of law text. For example, it shows corresponding parentheses and nesting depth. It also indicates term definition positions and clause number references.
A Lawtext language server for Visual Studio Code, provided as a frontend of Lawtext.
A statically typed recursive descent parser, written in TypeScript that can be applied for a generic sequence, not only a string. Since the rules written with generic-parser are type-aware, including its action parts, you can make the most of static type verification by TypeScript and code suggestions by your editor like Visual Studio Code.
A navigation user interface that leverages multi-scale sliders to support scalable navigation on a document. We also propose Local Keyword Extraction, which provides a scalable overview of the document.