Philosophical Practices in Japan from School to Business Consultancy.Yosuke Horikoshi ) -2020 -Philosophical Practice and Counseling 10:5-34.detailsThis article aims to introduce the recent movements regarding philosophical practice in Japan. In order to understand them in a better way, the historical development and background of philosophical practice shall be shown briefly in the first part. In the second part, three cases of relatively popular philosophical practices in Japan, that is, philosophy cafe, philosophy for/with children and philosophical consulting in the business settings are described as successful practices.
No categories
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.TakeshiYamazaki -2001 -Notre Dame Journal of Formal Logic 42 (3):143-148.detailsIn this paper, we investigate the logical strength of completeness theorems for intuitionistic logic along the program of reverse mathematics. Among others we show that is equivalent over to the strong completeness theorem for intuitionistic logic: any countable theory of intuitionistic predicate logic can be characterized by a single Kripke model.
Is the lifetime of light-stimulated cGMP phosphodiesterase regulated by recoverin through its regulation of rhodopsin phosphorylation?AkioYamazaki -1995 -Behavioral and Brain Sciences 18 (3):494-494.detailsIn the current model of visual transduction, the lifetime of active cGMP phosphodiesterase depends upon the period of its interaction with GTP-bound transducin. If recoverin regulates the lifetime of light-activated cGMP phosphodiesterase through inhibition of rhodopsin phosphorylation, rhodopsin should directly interact with cGMP phosphodiesterase and/or GTP-bound transducin complexed with cGMP phosphodiesterase. Is this true?
Uniform versions of some axioms of second order arithmetic.Nobuyuki Sakamoto &TakeshiYamazaki -2004 -Mathematical Logic Quarterly 50 (6):587-593.detailsIn this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak König's lemma WWKL and Σ01 separation are equivalent to over a suitable base theory of higher order arithmetic, where is the assertion that there exists Φ2 such that Φf1 = 0 if and only if ∃x0 for all f. We also prove that uniform versions of some well-known theorems are equivalent to (...) or the axiom of the existence of the Suslin operator. (shrink)
(1 other version)Interactions between a quiz robot and multiple participants.AkikoYamazaki,KeiichiYamazaki,Keiko Ikeda,Matthew Burdelski,Mihoko Fukushima,Tomoyuki Suzuki,Miyuki Kurihara,Yoshinori Kuno &Yoshinori Kobayashi -2013 -Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 14 (3):366-389.detailsThis paper reports on a quiz robot experiment in which we explore similarities and differences in human participant speech, gaze, and bodily conduct in responding to a robot’s speech, gaze, and bodily conduct across two languages. Our experiment involved three-person groups of Japanese and English-speaking participants who stood facing the robot and a projection screen that displayed pictures related to the robot’s questions. The robot was programmed so that its speech was coordinated with its gaze, body position, and gestures in (...) relation to transition relevance places, key words, and deictic words and expressions in both languages. Contrary to findings on human interaction, we found that the frequency of English speakers’ head nodding was higher than that of Japanese speakers in human-robot interaction. Our findings suggest that the coordination of the robot’s verbal and non-verbal actions surrounding TRPs, key words, and deictic words and expressions is important for facilitating HRI irrespective of participants’ native language. Keywords: coordination of verbal and non-verbal actions; robot gaze comparison between English and Japanese; human-robot interaction ; transition relevance place ; conversation analysis. (shrink)
Classroom Interventions and Foreign Language Anxiety: A Systematic Review With Narrative Approach.Michiko Toyama &YoshitakaYamazaki -2021 -Frontiers in Psychology 12.detailsExperimental studies have developed, conducted, and evaluated classroom interventions for foreign language anxiety reduction. However, various characteristics of those classroom interventions make it difficult to synthesize the findings and apply them to practice. We conducted what is, to the best of our knowledge, the first systematic review on educational interventions for FLA. Six criteria were established for inclusion of studies. Using English keywords, we identified 854 potentially eligible studies through ProQuest and Scopus, 40 of which were finally included. All included (...) studies were published from 2007 to 2020. The studies differed in type of intervention, duration of intervention, and scale to measure FLA. Our systematic review resulted in seven features of classroom interventions, categorized as student–student interactions, student-teacher interactions, self-management, and mood boosters; we also categorized interventions as either individual or interactional. (shrink)
Some More Conservation Results on the Baire Category Theorem.TakeshiYamazaki -2000 -Mathematical Logic Quarterly 46 (1):105-110.detailsIn this paper, we generalize a result of Brown and Simpson [1] to prove that RCA0+Π0∞-BCT is conservative over RCA0 with respect to the set of formulae in the form ∃!Xφ, where φ is arithmetical. We also consider the conservation of Π00∞-BCT over Σb1-NIA+∇b1-CA.