Accepted Papers List

◇Kuniko Yamada, Harumi Murakami: Defining and Extracting Concise Math Expressions from Web Documents

◇Jun Munemori: Redefining Creative Knowledge: Thirty Years of the GUNGEN KJ Method Support System - Beyond Constraints of Location, Space, and Internal Cognitive Processes-

◇Yoshinari Hachisu: A Blockly-Based Learning Tool for Structure Types in C Programming

◇Kouya Tomonori: Performance Evaluation of an Adaptive Quadrature and a Double Exponential Formula Using Arbitrary-Precision Floating-Point Arithmetic

◇Samuel Sanjaya, Kazumasa Omote: Making NFTs Verifiable: Resolver Contract for Tokenized Digital Asset's Integrity and Linkability

◇Arisa Morozumi, Hisashi Hayashi: Measuring the Normative Gap: Comparative Analysis of Human vs. LLM Risk Screening in Digital Governance

◇Nadeesha Wijerathna, Masaki Matsubara, Atsuyuki Morishima: Proof Development on Uncertain Claims: The Effect of Proof Diversity on Developing Convincing Proofs through Crowdsourcing

◇Iifan Tyou, Ryuya Hayashi, Kanta Matsuura: Interoperability between Permissioned Ledgers without External Trust Anchors