Keiko Shinada

Title: Keiko Shinada: Innovator in Logic Programming

Introduction

Keiko Shinada is a prominent inventor based in Machida, Japan. She has made significant contributions to the field of logic programming, holding a total of 2 patents. Her innovative work focuses on enhancing the efficiency of programming languages through advanced display methods.

Latest Patents

One of her latest patents is titled "Method of displaying execution trace in a logic programming language." This invention allows for a simultaneous display of a sequence of calling clauses and all clauses in a procedure, including the selected clauses. It also shows the present point of execution, which is overlapped on the above displays. The program source list of a procedure being processed is displayed, along with the latest execution statuses of the executed terms, which are graphically represented around the terms on the displayed program source list.

Another notable patent is the "Method for displaying operation range of logical language." This invention aims to improve the efficiency of testing and debugging procedures based on declarative program understanding. It captures the operations executed for each procedure and clearly expresses the operation range of each procedure by highlighting only the sides that have actually operated among four sides of a box-shaped figure surrounding each head term and end body term of each clause included in each procedure.

Career Highlights

Keiko Shinada is currently employed at Hitachi, Ltd., where she continues to innovate and contribute to the field of programming languages. Her work has garnered attention for its practical applications in improving programming efficiency.

Collaborations

Throughout her career, Keiko has collaborated with notable colleagues, including Tadashi Hirose and Kazuo Nakao. These collaborations have further enriched her work and expanded the impact of her inventions.

Conclusion

Keiko Shinada is a trailblazer in the realm of logic programming, with her patents reflecting her commitment to enhancing programming efficiency. Her contributions are invaluable to the field and continue to inspire future innovations.