30th Nov. and 1st Dec. 2013 at Kyoto University. Organizer: Takeshi Sakon.

We show that Kubota and Levine’s characterization of the HPSG-based theory of non-constituent coordination proposed in Yatabe Proceedings of the 7th International Conference on Head-Driven Phrase Structure Grammar, CSLI, Stanford, pp 325–344, 2001) and later works is inaccurate, and that the theory in question does not require any ad hoc mechanisms to account for the long-known fact that right-node raising and left-node raising can affect semantic interpretation. In the course of demonstrating this, we fill in some details of this HPSG-based (...) theory that were left unspecified in the previous literature, and we also present novel accounts of split-antecedent relative clauses and of respectively interpretation that are consistent with the theory. Furthermore, we argue that the phenomenon of summative agreement may provide a reason to prefer this theory over CG-based theories like Kubota and Levine’s. (shrink)

One criterion of constructive logics is the disjunction, property (DP). The Halldén-completeness is a weak DP, and is related to the relevance principle and variable separation. This concept is well-understood in the case of propositional logics. We extend this notion to predicate logics. Then three counterparts naturally arise. We discuss relationships between these properties and meet-irreducibility in the lattice of logics.

To become more broadly applicable, positions on AI ethics require perspectives from non-Western regions and cultures such as China and Japan. In this paper, we propose that the addition of the concept of harmony to the discussion on ethical AI would be highly beneficial due to its centrality in East Asian cultures and its applicability to the challenge of designing AI for social good. We first present a synopsis of different definitions of harmony in multiple contexts, such as music and (...) society, which reveals that the concept is, at its core, about well-balanced relationships and appropriate actions which give rise to order, balance, and aesthetically pleasing phenomena. The mediator for these well-balanced relationships isTaktwhich is an ability to act thoughtfully and sensibly according to the specific situation and to put things into proportion and order. We propose that the central challenge of building harmonizing AI is to make intelligent systems tactful and also to design and use them tactfully. For an AI system to become tactful, it needs to be able to have an advanced sensitivity to the specific contexts which it is in and their social and ethical implications and have the capability of approximately inferring the emotional and cognitive states of people with whom it is interacting. (shrink)

Extending techniques of Dowd and those of Poizat, we study computational complexity of in the case when is a generic oracle, where is a positive integer, and denotes the collection of all -query tautologies with respect to an oracle . We introduce the notion of ceiling-generic oracles, as a generalization of Dowd's notion of -generic oracles to arbitrary finitely testable arithmetical predicates. We study how existence of ceiling-generic oracles affects behavior of a generic oracle, by which we show that is (...) not a subset of is comeager in the Cantor space. Moreover, using ceiling-generic oracles, we present an alternative proof of the fact (Dowd) that the class of all -generic oracles has Lebesgue measure zero. (shrink)

This note is a continuation of our former paper ''Complexity of the r-query tautologies in the presence of a generic oracle.'' We give a very short direct proof of the nonexistence of t-generic oracles, a result obtained first by Dowd. We also reconstitute a proof of Dowd's result that the class of all r-generic oracles in his sense has Lebesgue measure one.

Assessing learners’ individual differences helps identify students who need teacher support in classrooms. Previous studies have examined second language achievement based on reading anxiety because reading is an input-based activity essential for successful L2 learning. This study applied a latent rank model to identify L2 learners who are likely to be struggling or successful in classrooms according to their L2 reading anxiety symptoms. Moreover, a psychometric function was developed to determine the cutoff anxiety scores that discriminate against their substantial differences. (...) The model was applied to responses from the Foreign Language Reading Anxiety Scale provided by 335 Japanese learners of English. The results showed that the FLRAS classified students into three ranked groups with ordinal information regarding L2 reading anxiety. Rank 1 exhibited good conditions in L2 reading anxiety. Rank 2 reported high anxiety toward unfamiliar grammar during L2 reading. Rank 3 had even higher anxiety levels, especially for vocabulary and grammatical knowledge deficits and reading difficulty. The cutoff anxiety scores estimated by the model detected students who failed their L2 class with 79% accuracy. Theoretical, methodological, and pedagogical issues in language anxiety were discussed in terms of diagnosis and different approaches to teaching L2 reading. (shrink)

Feinberg and Mallatt, in their presentation of neurobiological naturalism, have suggested that visual consciousness was acquired by early vertebrates and inherited by a wide range of descendants, and that its neural basis has shifted to nonhomologous nervous structures during evolution. However, their evolutionary scenario of visual consciousness relies on the assumption that visual consciousness is closely linked with survival, which is not commonly accepted in current consciousness research. We suggest an alternative idea that visual consciousness is linked to a specific (...) class of agency, consequently justifying their phylogenetic claim. We also examine the implication of their phylogenetic claim: visual consciousness is homologous across vertebrates, but its neural basis is not. This apparent incongruence illustrates a general phenomenon of homology, and that the resulting hierarchical view of visual consciousness and its neural basis can be straightforwardly accommodated by neurobiological naturalism. Throughout these discussions, we aim to address the potential theoretical issues in neurobiological naturalism and refine the picture illustrated by Feinberg and Mallatt regarding phylogenetic distribution and trajectories of visual consciousness. (shrink)

This paper presents a cross-cultural study on peoples’ negative attitude toward robots. 467 participants from seven different countries filled in the negative attitude towards robots scale survey which consists of 14 questions in three clusters: attitude towards the interaction with robots, attitude towards social influence of robots and attitude towards emotions in interaction with robots. Around one half of them were recruited at local universities and the other half was approached through Aibo online communities. The participants’ cultural background had a (...) significant influence on their attitude and the Japanese were not as positive as stereotypically assumed. The US participants had the most positive attitude, while participants from Mexico had the most negative attitude. The participants from the online community were more positive towards robots than those not involved. Previous experience in interacting with Aibo also had a positive effect, but owning an Aibo did not improve their attitude. (shrink)

Targeted gene alteration (TGA) is a strategy for correcting single base mutations in the DNA of human cells that cause inherited disorders. TGA aims to reverse a phenotype by repairing the mutant base within the chromosome itself, avoiding the introduction of exogenous genes. The process of how to accurately repair a genetic mutation is elucidated through the use of single‐stranded DNA oligonucleotides (ODNs) that can enter the cell and migrate to the nucleus. These specifically designed ODNs hybridize to the target (...) sequence and act as a beacon for nucleotide exchange. The key to this reaction is the frequency with which the base is corrected; this will determine whether the approach becomes clinically relevant or not. Over the course of the last five years, workers have been uncovering the role played by the cells in regulating the gene repair process. In this essay, we discuss how the impact of the cell on TGA has evolved through the years and illustrate ways that inherent cellular pathways could be used to enhance TGA activity. We also describe the cost to cell metabolism and survival when certain processes are altered to achieve a higher frequency of repair. (shrink)

Biographical sketches show how six writers and public figures prepared for their deaths.

Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate lógics and Kripke-type frames for intuitionistic modal propositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given.

The idea that the thalamo-cortical system is the crucial constituent of the neurobiological mechanisms of consciousness has a long history. For the last few decades, however, consciousness research has to a large extent overlooked the interplay between the cortex and thalamus. Here we revive an integrated view of the neurobiology of consciousness by presenting and discussing several recent major findings about the role of the thalamocortical interactions in consciousness. Based on these findings we propose a specific cellular mechanism how thalamic (...) nuclei modulate the integration of different processing streams within single cortical pyramidal neurons. This theory is inspired by recent work done in rodents, but it integrates decades of work conducted on various species. We illustrate how this new view readily explains various properties and experimental phenomena associated with conscious experience. We discuss the implications of this idea and some of the experiments that need to be done in order to test it. Our view bridges two long-standing perspectives on the neural mechanisms of consciousness and proposes that cortical and thalamo-cortical processing interact at the level of single pyramidal cells. (shrink)

Japan has often been regarded as an ethnically homogeneous society whose restrictive immigration policies reflect the deep-seated cultural peculiarities of this ‘island nation’. By contrast, I shall argue that Japan’s post- 1945 cultural separation from the other countries of East Asia, and its strict border controls, were to a large extent products of Cold War politics. The postwar democratization of Japan went hand in hand with the introduction of tight restrictions on cross-border mobility: restrictions which had profound consequences for the (...) rights of ethnic minorities in Japan (particularly Koreans and Taiwanese). An exploration of the emergence and impact of this border control regime casts new light, not just on Japan’s role in the Northeast Asian region, but also on key limitations of nation-state centred notions of liberal democracy. (shrink)

The vestibulo-ocular reflex plays an important role in controlling the gaze at a visual target. Although patients with vestibular hypofunction aim to improve their VOR function, some retain dysfunction for a long time. Previous studies have explored the effects of direct current stimulation on vestibular function; however, the effects of random noise stimulation on eye–head coordination have not previously been tested. Therefore, we aimed to clarify the effects of high frequency noisy vestibular stimulation on eye–head coordination related to VOR function. (...) Thirteen healthy young adult participants with no serious disease took part in our study. The current amplitude and density used were 0.4 mA and 0.2 mA/cm2, respectively, with a random noise frequency of 100–640 Hz. The electrodes were located on both mastoid processes. The stimulus duration and fade in/out duration were 600 and 10 s, respectively. Subjects oscillated their head horizontally, gazing at the fixation point, at 1 Hz for 30 repetitions. The coordination of eye–head movements was measured by eye-tracking and a motion capture system. Peak-to-peak angles for eye and head movement and deviation of the visual line from the fixation target revealed no significant differences between HF-nVS and sham. The lag time between the eye and head movement with HF-nVS post-stimulation was significantly shorter than that of the sham. We found that HF-nVS can reduce the lag time between eye and head movement and improve coordination, contributing to a clear retinal image. This technique could be applied as a form of VOR training for patients with vestibular hypofunction. (shrink)

This book explores the construction of gender ideology in early modern England through an analysis of the querelle des femmes - the debate about the relationship between the sexes that originated on the continent during the middle ages and the Renaissance and developed in England into the Swetnam controversy, which revolved around the publication of Joseph Swetnam's The arraignment of lewd, forward, and inconstant women and the pamphlets which responded to its misogynist attacks. The volume contextualizes the debate in terms (...) of its continental antecedents and elite manuscript circulation in England, then moves to consider popular culture and printed texts from the Jacobean debate and its effects on women's writing and the developing discourse on gender, and concludes with an examination of the ramifications of the debate during the Civil War and Restoration. Essays focus attention on the implications of the gender debate for women writers and their literary relations, cultural ideology and the family, and political discourse and ideas of nationhood. (shrink)

The Bird Song Diamond project is a series of multifaceted and multidisciplinary installations with the aim of bringing contemporary research on bird communication to a large public audience. Using art and technology to create immersive experiences, BSD allows large audiences to embody bird communication rather than passively observe. In particular, BSD Mimic, a system for mimicking bird song, asks participants to grapple with both audition and vocalization of birdsong. The use of interactive installations for public outreach provides unique experiences to (...) a diverse audience, while providing direct feedback for artists and researchers interested in the success of such outreach. By following an iterative design process, both artists and researchers have been able to evaluate the effectiveness of each installation for promoting audience engagement with the subject matter. The execution and evaluation of each iteration of BSD is described throughout the paper. In addition, the process of interdisciplinary collaboration in our project has led to a more defined role of the artist as a facilitator of specialists. BSD Mimic has also led to further questions about the nature of audience collaboration for an engaged experience. (shrink)

Web-based learning resources provide learners with hyperspace where they can navigate in a self-directed way to learn the contents included in the Web pages. The navigation involves making a sequence of the pages visited, which is called navigation path. However, learners often fail in making the navigation path due to a cognitive overload, which is caused by diverse cognitive efforts at comprehending the contents in Web pages, and monitoring the navigation process such as planning and reflection of navigation path. In (...) the self-directed learning, in particular, it is difficult for learners to maintain the navigation monitoring. Focusing on navigation planning, this paper addresses the issue of how to facilitate learners' navigation monitoring to promote their learning in hyperspace provided by Web-based learning resources. Our approach to this issue is to provide learners with a space, in which they can see through the learning resources to plan a navigation path, apart from hyperspace. In this paper, we also demonstrate an assistant system for the navigation planning, which is composed of hyperspace map, page previewer, and path previewer. These facilities give learners an overview of Web pages and navigation path to help them make a navigation path plan without visiting Web pages in hyperspace. This paper also describes a case study with the assistant system. The results indicate that the system facilitates navigation particularly in a more complicated hyperspace. (shrink)