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)

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

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.

◎ 以政治思想使的角度切入，完整剖析荀子的政治思想淵源、構造及特色。 ◎ 闡明荀子如何將早期儒、墨的倫理論辯，提升為分析國家社會原理的禮治論。 ◎ 理解漢朝後中國國家體制的設計藍圖，必須從理解荀子禮治論開始。 本書以「禮治」與「綜合」為切入點，闡明《荀子》書中政治思想的淵源、構造以及特色，並對荀子的生平、其文本的流傳以及戰國時代「禮」概念的發展等問題，進行完整且系統性的說明。 作者將戰國時代的思想演變，分成以孔子至孟子的早期儒家與墨家思想為主要內容的「倫理論辯」階段，和以慎到、田駢等稷下學者與道家等戰國中、晚期思想為主要內容的「分析論述」階段，並主張荀子以「禮」概念綜合了此 兩種思想潮流。經由闡述「禮」概念的各種功能，荀子將當時備受懷疑的倫理工夫之效能，以及過度抽象化的各種政治論辯內容，重新界定為每個人都能夠實踐的倫理準則；早期儒墨的「倫理論辯」，由此提升為富有分析國家社 會原理的「禮治論」。而因為荀子的禮治論兼有豐富的倫理實踐意涵，以及分析國家社會的理論意涵，其後更成為漢朝建立國家制度與倫理基礎時的設計藍圖。 經由作者條分縷析地說明，讀者當能對荀子的禮治思想有更深入的了解，進而掌握其整體面貌。.

人間であること、これを問う政治哲学の徹底。その先に見えるのは、果たして平和的共存の根源性か、戦いのそのとき、自分以外ではありえない人間の生々しさか。.

This study explores a liberatory epistemic virtue that is suitable for good learning as a form of liberating socially situated epistemic agents toward ideal virtuousness. First, I demonstrate that the weak neutralization of epistemically bad stereotypes is an end of good learning. Second, I argue that weak neutralization represents a liberatory epistemic virtue, the value of which derives from liberating us as socially situated learners from epistemic blindness to epistemic freedom. Third, I explicate two distinct forms of epistemic transformation: constitutive (...) and causal epistemic transformation. I argue that compared with the ideal conception of epistemic virtue, constitutive epistemic transformation that involves good learning has a transcendent value in light of agents constantly renewing their default epistemic status toward ideal virtuousness. (shrink)

Proposes a provocative reinterpretation of poststructuralist theory of power The “structuralist” theories of power show that the subject is produced and reproduced by the investment of power: but how then can we then think of the subject’s resistance to power? Based on this fundamental question, Power and Resistance interprets critically the (post-)structuralist theory of power and resistance, i.e., the theories of Foucault, Deleuze and Guattari, Derrida and Althusser. It analyses also the mechanism of power and the strategies of resistance in (...) the era of neoliberalism. This meticulous analysis that completely renewed the theory of power is already published in French, Japanese, and Korean with success. (shrink)

美と芸術が人に及ぼす力の観点から、「侘び」「寂び」「幽玄」という古来の美的概念の関係性を解明し、日本的美の特質を捉え直す.

Modal counterparts of intermediate predicate logics will be studied by means of algebraic devise. Our main tool will be a construction of algebraic semantics for modal logics from algebraic frames for predicate logics. Uncountably many examples of modal counterparts of intermediate predicate logics will be given.

The number of competing-brands changes by new product's entry. The new product introduction is endemic among consumer packaged goods firm and is an integral component of their marketing strategy. As a new product's entry affects markets, there is a pressing need to develop market response model that can adapt to such changes. In this paper, we develop a dynamic model that capture the underlying evolution of the buying behavior associated with the new product. This extends an application of a dynamic (...) linear model, which is used by a number of time series analyses, by allowing the observed dimension to change at some point in time. Our model copes with a problem that dynamic environments entail: changes in parameter over time and changes in the observed dimension. We formulate the model with framework of a state space model. We realize an estimation of the model using modified Kalman filter/fixed interval smoother. We find that new product's entry (1) decreases brand differentiation for existing brands, as indicated by decreasing difference between cross-price elasticities; (2) decreases commodity power for existing brands, as indicated by decreasing trend; and (3) decreases the effect of discount for existing brands, as indicated by a decrease in the magnitude of own-brand price elasticities. The proposed framework is directly applicable to other fields in which the observed dimension might be change, such as economic, bioinformatics, and so forth. (shrink)

アインシュタインが決して認めなかった、まったくあたらしい世界の姿。物理学の最先端にあらわれた、これまでの常識をくつがえす驚異の理論。そこには世界がひとつではなく多様であるという事実が描き出されていた。 量子力学が描く世界とはいったい何か。量子力学の歴史と私たちをとりまく技術、社会、制度、教育などを深く結びつけながら、碩学がその大いなる可能性をさぐる。.

Crew Pairing is one of the most important and difficult problems for airline companies. Nets to fuel costs, the crew costs constitute the largest cost of airlines, and the crew costs depend on the quality of the solution to the pairing problem. Conventional systems have been used to solve a daily model, which handles only regular flights with many simplifications, so a lot of corrections are needed to get a feasible solution and the quality of the solution is not so (...) high. A fully dated model, which handles regular flights and irregular flights simultaneously, is extremely hard and has not been solved directly hitherto. The number of irregular flights tend to increase in Europe and Japan, hence the resolution of the practical fully dated pairing system is desired. This paper presents a new approach which solves directly the fully dated crew pairing by Genetic Algorithms. GA is improved with stochastic processes to attack the fully dated model, and many heuristics are included in the decoding mecanism of the GA. For several hundred flights per day for fully dated 2 months scheduling period, the system found better or equivalent solutions to the human scheduler’s without any simplification from 5 to 20 times faster. (shrink)

Utterances of explicit performatives, such as “I order you to close the door,” have the forces named by the appearing verbs; here, the utterance has the force of ordering. These utterances utilize declarative sentences, which usually indicate the force of statements, rather than of any verbs contained in them. This leads many to theorize that explicit performatives are statements that cause their hearers to infer the forces they name. This article argues against this account on the grounds that it is (...) based on the false premise that hearers can unconsciously recognize illocutionary forces. Instead, I put forward the account that explicit performatives are nothing but the acts with the forces that they name. (shrink)

世界的ベストセラーの問いかけに私たちはどう答えるのか。分子生物学の黎明期に、初めて人間と生命の神秘にせまったジャック・モノー。その思想を原典から読み解き、40年後のいま、モノーに答える。.

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (shrink)