Skip to main content

2 Result(s)

within Tomoki Shiraishi Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Proof Method for Local Sufficient Completeness of Term Rewriting Systems

    A term rewriting system (TRS) is said to be sufficiently complete when each function yields some value for any input. In this paper, we present a proof method for local sufficient completeness of TRSs, which i...

    Tomoki Shiraishi, Kentaro Kikuchi… in Theoretical Aspects of Computing – ICTAC 2… (2021)

  2. No Access

    Article

    The prepattern transcription factor Irx2, a target of the FGF8/MAP kinase cascade, is involved in cerebellum formation

    The cerebellum develops from the rhombic lip of the rostral hindbrain and is organized by fibroblast growth factor 8 (FGF8) expressed by the isthmus. Here we report characterization of Irx2, a member of the Iroqu...

    Ken Matsumoto, Shigeki Nishihara, Mika Kamimura, Tomoki Shiraishi… in Nature Neuroscience (2004)