Motivation and Background Game-playing Framework in Coq PRP/PRF Switching Lemma (2007)
Reynald Affeldt, Miki Tanaka, Nicolas Marti, Reynald Affeldt, Miki Tanaka, Nicolas Marti, ...
Code-based Game-playing
Formal proof of provable security by game-playing in a proof assistant (2007)
Reynald Affeldt, Miki Tanaka, Nicolas Marti
Abstract. Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games and...
A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics (2006)
Generalizing Fiore et al.'s use of the category 𝔽 of finite sets to model untyped Cartesian contexts and Tanaka's use of the category ℙ of permutations to model untyped linear contexts, we...
中学生とその親世代における人生に対する価値観と親子関係 (2003)
本田, 優子, 小松, 綾子, 田中, 美貴, 米村, 健一, ホンダ, ユウコ, Honda, Yūko, ...
A questionnaire survey was carried out among junior high school students (n=158) and their parents (n=158) to clarify the most important things in the value of life for each of them, and to know...
中学生とその親世代における人生に対する価値観と親子関係 (2003)
本田, 優子, 小松, 綾子, 田中, 美貴, 米村, 健一, ホンダ, ユウコ, コマツ, アヤコ, ...
A questionnaire survey was carried out among junior high school students (n=158) and their parents (n=158) to clarify the most important things in the value of life for each of them, and to know...
中学生とその親世代における人生に対する価値観と親子関係 (2003)
本田, 優子, 小松, 綾子, 田中, 美貴, 米村, 健一, ホンダ, ユウコ, Honda, Yūko, ...
A questionnaire survey was carried out among junior high school students (n=158) and their parents (n=158) to clarify the most important things in the value of life for each of them, and to know...
Takakura, Ayumi, Miyoshi, Jun, Ishizaki, Hiroyoshi, Tanaka, Miki, Togawa, Atsushi, Nishizawa, Yasuko, ...
Small GTP-binding protein GDP dissociation stimulator (Smg GDS) regulates GDP/GTP exchange reaction of Ki-Ras and the Rho and Rap1 family members and inhibits their binding to membranes. In...
Role of Rab GDP dissociation inhibitor α in regulating plasticity of hippocampal neurotransmission
Ishizaki, Hiroyoshi, Miyoshi, Jun, Kamiya, Haruyuki, Togawa, Atsushi, Tanaka, Miki, Sasaki, Takuya, ...
Rab GDP dissociation inhibitor α (Rab GDIα) is a regulator of the Rab small G proteins implicated in neurotransmission, and mutations of Rab GDIα cause human X-linked mental retardation associated...
Tanaka, Miki, Miyoshi, Jun, Ishizaki, Hiroyoshi, Togawa, Atsushi, Ohnishi, Katsunori, Endo, Katsuaki, ...
The Rab3 small G protein family consists of four members, Rab3A, -3B, -3C, and -3D. Of these members, Rab3A regulates Ca2+-dependent neurotransmitter release. These small G proteins are activated by...
Yamaguchi, Kazuhiko, Tanaka, Miki, Mizoguchi, Akira, Hirata, Yoshihiro, Ishizaki, Hiroyoshi, Kaneko, Kumi, ...
The Rab3 GDP/GTP exchange protein (Rab3 GEP) activates the Rab3 small GTP-binding protein (G protein) family, including Rab3A that is an important member controlling synaptic vesicle trafficking....
Takakura, Ayumi, Miyoshi, Jun, Ishizaki, Hiroyoshi, Tanaka, Miki, Togawa, Atsushi, Nishizawa, Yasuko, ...
Small GTP-binding protein GDP dissociation stimulator (Smg GDS) regulates GDP/GTP exchange reaction of Ki-Ras and the Rho and Rap1 family members and inhibits their binding to membranes. In...
Role of Rab GDP dissociation inhibitor α in regulating plasticity of hippocampal neurotransmission
Ishizaki, Hiroyoshi, Miyoshi, Jun, Kamiya, Haruyuki, Togawa, Atsushi, Tanaka, Miki, Sasaki, Takuya, ...
Rab GDP dissociation inhibitor α (Rab GDIα) is a regulator of the Rab small G proteins implicated in neurotransmission, and mutations of Rab GDIα cause human X-linked mental retardation associated...
Tanaka, Miki, Miyoshi, Jun, Ishizaki, Hiroyoshi, Togawa, Atsushi, Ohnishi, Katsunori, Endo, Katsuaki, ...
The Rab3 small G protein family consists of four members, Rab3A, -3B, -3C, and -3D. Of these members, Rab3A regulates Ca2+-dependent neurotransmitter release. These small G proteins are activated by...
Yamaguchi, Kazuhiko, Tanaka, Miki, Mizoguchi, Akira, Hirata, Yoshihiro, Ishizaki, Hiroyoshi, Kaneko, Kumi, ...
The Rab3 GDP/GTP exchange protein (Rab3 GEP) activates the Rab3 small GTP-binding protein (G protein) family, including Rab3A that is an important member controlling synaptic vesicle trafficking....
Ikeda, Wataru, Nakanishi, Hiroyuki, Miyoshi, Jun, Mandai, Kenji, Ishizaki, Hiroyoshi, Tanaka, Miki, ...
Afadin is an actin filament–binding protein that binds to nectin, an immunoglobulin-like cell adhesion molecule, and is colocalized with nectin at cadherin-based cell–cell adherens junctions...