We examine the range of anonymity that is compatible with a Paretian social welfare relation (SWR) on infinite utility streams. Three alternative coherence properties of an SWR are considered, namely, acyclicity, quasi-transitivity, and Suzumura consistency. For each case, we show that a necessary and sufficient condition for a set of permutations to be the set of permissible permutations of some Paretian SWR is given by the cyclicity of permutations and a weakening of group structure. Further, for each case of coherence (...) property, we show that the extended Pareto rule is the least element of the class of anonymous Paretian SWRs. (shrink)

Discovery of representative Web pages regarding specific topics is important for assisting users' information retrieval from the Web. Researches on Web structure mining, whose goals are to discover or to rank important Web pages based on the graph structure of hyperlinks, have been very active recently. A complete bipartite of Web graph, which is composed of centers (containing useful information regarding specific topic) and fans (containing hyperlinks to centers), can be regarded as a Web community sharing a common interest. Although (...) Murata's method for discovering Web communities is a simple method for finding related Web pages, it has the following weaknesses: (1) since the number of centers increases monotonously, pages irrelevant to the members of Web communities may be added in the process of discovery, and (2) since the number of fans decreases monotonously according as the number of centers increases, the method may suffer topic drift. This paper describes an improved method for refining Web communities in order to acquire representative Web pages of the topics of input Web communities. The method is based on the assumption that most of the fans contain hyperlinks pointing to representative pages regarding their topic, and that hyperlinks to the pages of the same quality often co-occur. In our new method, both fans and centers are renewed iteratively by the result of the majority vote of the members of previous Web community. Results of our experiments show that the new method has abilities of finding desirable pages for several topics. (shrink)

This paper proposes a method for discovering Web communities. A complete bipartite graph K i, j of Web pages can be regarded as a community sharing a common interest. Discovery of such community is expected to assist users’ information retrieval from the Web. The method proposed in this paper is based on the assumption that hyperlinks to related Web pages often co-occur. Relations of Web pages are detected by the co-occurrence of hyperlinks on the pages which are acquired from a (...) search engine by backlink search. In order to find a new member of a Web community, all the hyperlinks contained in the acquired pages are extracted. A page which is pointed by the most frequent hyperlinks is regarded as a new member of the community. We have build a system which discovers complete bipartite graphs based on the method. Only from a few URLs of initial community members, the system succeeds in discovering several genres of Web communities without analyzing the contents of Web pages. (shrink)

日本人はグローバル化の潮流といかに向き合うべきなのか―そのヒントは「国学」にあった。先人たちが葛藤した問いのなかを私たちはいまも生きている。.

Le présent article a pour but de proposer une méthode de constitution de corpus pour transcrire les traits tant prosodiques que gestuels, qui avaient été peu pris en compte jusqu’à présent. Comme constitutifs du corpus, les aspects formels et kinésiques de l’activité gestuelle, ainsi que le rapport temporel et fonctionnel entre geste et discours sont expliqués, afin de mieux appréhender l’organisation du discours et de l’interaction. A titre d’exemple, une thématisation est analysée.

Le présent article a pour but de proposer une méthode de constitution de corpus pour transcrire les traits tant prosodiques que gestuels, qui avaient été peu pris en compte jusqu’à présent. Comme constitutifs du corpus, les aspects formels et kinésiques de l’activité gestuelle, ainsi que le rapport temporel et fonctionnel entre geste et discours sont expliqués, afin de mieux appréhender l’organisation du discours et de l’interaction. A titre d’exemple, une thématisation est analysée.

明治維新を支えた志士たちは、儒教を行動の指針としていた。尊王攘夷という中国からの思想は、やがて日本中心主義へと置き変わる。.

The generation of complex organ structures such as the eye requires the intricate orchestration of multiple cellular interactions. In this paper, early retinal development is discussed with respect to the structure formation of the optic cup. Although recent studies have elucidated molecular mechanisms of retinal differentiation, little is known about how the unique shape of the optic cup is determined. A recent report has demonstrated that optic‐cup morphogenesis spontaneously occurs in three‐dimensional stem‐cell culture without external forces, indicating a latent intrinsic (...) order to generate the structure. Based on this self‐organizing phenomenon, we introduce the “relaxation‐expansion” model to mechanically interpret the tissue dynamics that enable the spontaneous invagination of the neural retina. This model involves three consecutive local rules (relaxation, apical constriction, and expansion), and its computer simulation recapitulates the optic‐cup morphogenesis in silico. (shrink)

Let H be a proof system for quantified propositional calculus (QPC). We define the Σqj-witnessing problem for H to be: given a prenex Σqj-formula A, an H-proof of A, and a truth assignment to the free variables in A, find a witness for the outermost existential quantifiers in A. We point out that the Σq1-witnessing problems for the systems G*1and G1 are complete for polynomial time and PLS (polynomial local search), respectively. We introduce and study the systems G*0 and G0, (...) in which cuts are restricted to quantifier-free formulas, and prove that the Σqj-witnessing problem for each is complete for NC1. Our proof involves proving a polynomial time version of Gentzen’s midsequent theorem for G*0 and proving that G0-proofs are TC0-recognizable. We also introduce QPC systems for TC0 and prove witnessing theorems for them. We introduce a finitely axiomatizable second-order system VNC1 of bounded arithmetic which we prove isomorphic to Arai’s first order theory AID + Σb0-CA for uniform NC1. We describe simple translations of VNC1 proofs of all bounded theorems to polynomial size families of G*0 proofs. From this and the above theorem we get alternative proofs of the NC1 witnessing theorems for VNC1 and AID. (shrink)

Schedule planning is one of the most crucial issues for any airline company, because the profit of the company directly depends on the efficiency of the schedule. This paper presents a novel scheduling method which solves problems related to time scheduling, fleet assignment and maintenance routing simultaneously by Genetic Algorithms. Every schedule constraint is embeded in the fitness function, which is described as an object oriented model and works as a simulater developing itself over time, and whose solution is executable (...) without human correction. The schedular is able to solve the problems involving several hundred flights in a few hours, and the solutions are superior or equivalent to those by human experts in terms of the estimated profit. (shrink)

In this study, we explored how the modality would affect the input, visuo-motor coordination, and execution in the advanced pianist's sight-reading processes, as well as relations among these three phases. Thirty-two advanced pianists with 5–54 years of piano training participated in the study. All participants sight-read three two-voice pieces in either major or minor mode while their eye movements were measured by an eye-tracking device. All pieces were 20-measure long written in 4/4 m, adapted from unfamiliar Baroque pieces. Results showed (...) that sight-readers fixated more frequently and tended to spend more time performing in a minor score than in a major score. This implies that modality of a score affects an efficiency of input and visuo-motor coordination in the advanced pianist's sight-reading. Spearman's correlation coefficients showed that errors were correlated positively with the number of fixations and the duration of performance. These results add more evidence to the notion that efficiencies in input and visuo-motor coordination are related to the accuracy in execution. (shrink)

A long tradition of research in WEIRD (Western, Educated, Industrialized, Rich, Democratic) countries has investigated how people weigh individual welfare versus group welfare in their moral judgments. Relatively less research has investigated the generalizability of results across non-WEIRD populations. In the current study, we ask participants across nine diverse cultures (Bali, Costa Rica, France, Guatemala, Japan, Madagascar, Mongolia, Serbia, and the USA) to make a series of moral judgments regarding both third-party sacrifice for group welfare and first-person sacrifice for group (...) welfare. In addition to finding some amount of cross-cultural variation on most of our questions, we also find two cross-culturally consistent judgments: (1) when indi- viduals are in equivalent situations, overall welfare should be maximized, and (2) harm to individuals should be taken into account, and some types of individual harm can trump overall group welfare. We end by discussing the specific pattern of variable and consistent features in the context of evolutionary theories of the evolution of morality. (shrink)

The importance of learning and categorizing social objects and events has become widely acknowledged over a couple of decades. Although findings from field studies have suggested that non-human animals have sophisticated abilities to recognize social objects, there is relatively little experimental evidence on this issue. Some studies have revealed animals’ excellent skills for discriminating visual and auditory social stimuli. However, because of perceptual resemblances among stimuli, it is still not clear that they recognize these objects with conceptual mechanisms that are (...) independent of the perceptual characteristics of the stimuli. At the same time, whether their concepts have an aspect of transferring information from one modality to another has not received much attention. This paper advocates approaches to a cross-modal aspect of concepts as a new framework to solve these problems, and introduces the latest studies on cross-modal representations of social objects in non-humans. (shrink)

Gustav Radbruch, ein bekannter Rechtsphilosoph des Wertrelativismus, kam erst nach 1945 zu der Behauptung: Sowohl unerträglich ungerechte Gesetze als auch das Gleichheitsprinzip verleugnende Gesetze können keine Verbindlichkeit in Anspruch nehmen. Es ist nach wie vor umstritten, ob diese Behauptung, die später als die Radbruchsche Formel bezeichnet wurde, mit seiner wertrelativistischen Theorie vor 1945 kompatibel ist. -/- Viele Autoren verneinen diese Frage und vertreten die Umbruchthese. Einige Autoren stellen die Entwicklungsthese auf, die als eine Abschwächung der Umbruchthese verstanden werden kann. Dagegen (...) steht die Kontinuitätsthese. Auf deren Seite stellt sich die Arbeit, die den Versuch unternimmt, durch eine Verknüpfung der historischen mit der systematischen Analyse des Radbruchschen Gesamtwerkes die letzte These zu verteidigen. -/- Als Anhang enthält die Arbeit einen Zeitungsbericht über einen Vortrag von Radbruch aus dem Jahr 1923, durch den der Leser einen klaren Überblick über die Grundzüge seiner rechtsphilosophischen Auffassung gewinnen kann. (shrink)