LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- The second and third volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. -/- The present volume, Vol.3, looks deeper into those operational inference-figures which concerns propositional logic.

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- This book, Vol.1 of the series titled What is LK?, tackles this issue, focusing on the sequent, the most enigmatic notion we find in LK. The dependence-relation we find in NK shall play a crucial role in that investigation. -/- The style is typically textbook-like, so readers can learn the system of LK, using this series (...) as a guidance, too. (shrink)

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- The second and third volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. -/- The present volume, Vol.2, looks deeper into structural inference-figures, which is never an easy task.

Recently, some studies revealed that transcranial direct current stimulation reduces dual-task interference. Since there are countless combinations of dual-tasks, it remains unclear whether stable effects by tDCS can be observed on dual-task interference. An aim of the present study was to investigate whether the effects of tDCS on dual-task interference change depend on the dual-task content. We adopted two combinations of dual-tasks, i.e., a word task while performing a tandem task and a classic Stroop task while performing a tandem task. (...) We expected that the Stroop task would recruit the dorsolateral prefrontal cortex and require involvement of executive function to greater extent than the word task. Subsequently, we hypothesized that anodal tDCS over the DLPFC would improve executive function and result in more effective reduction of dual-task interference in the Stroop-tandem dual-task than in the word-tandem dual-task. Anodal or cathodal tDCS was applied over the DLPFC or the supplementary motor area using a constant current of 2.0 mA for 20 min. According to our results, dual-task interference and the task performances of each task under the single-task condition were not changed after applying any settings of tDCS. However, anodal tDCS over the left DLPFC significantly improved the word task performance immediately after tDCS under the dual-task condition. Our findings suggested that the effect of anodal tDCS over the left DLPFC varies on the task performance under the dual-task condition was changed depending on the dual-task content. (shrink)

Fifty-seven years ago. Hiroshima and Nagasaki were annihilated by unprecedented state terrorism. But survivors of both cities never said "Remember Hiroshima and Nagasaki!" No survivors harbored the feeling "once recovered from devastation of the holy land, Japan will not fail to revenge". Instead, they realized in the atomic inferno that violence begets violence and pledged: "Rest in peace. We will never repeat the mistakes. No more Hiroshima, No more Nagasaki".

Paired associative stimulation at the spinal cord has been shown to increase muscle force and dexterity by strengthening the corticomuscular connection, through spike timing dependent plasticity. Typically, transcranial magnetic stimulation and transcutaneous peripheral nerve electrical stimulation are often used in spinal PAS. PNS targets superficial nerve branches, by which the number of applicable muscles is limited. Alternatively, a muscle can be activated by positioning the stimulation electrode on the “motor point”, which is the most sensitive location of a muscle to (...) electrical stimulation. Although this can increase the number of applicable muscles for spinal PAS, nobody has tested whether MPS can be used for the spinal PAS to date. Here we investigated the feasibility of using MPS instead of PNS for spinal PAS. Ten healthy male individuals received spinal PAS on two separate days with different stimulation timings expected to induce facilitation of corticospinal excitability or no effect on the soleus. The motor evoked potentials response curve in the soleus was measured prior to the spinal PAS, immediately after and at 10, 20, 30 min post-intervention as a measure of corticospinal excitability. The post-intervention MEP response curve areas were larger in the REAL condition than the CONTROL conditions. Further, the post-intervention MEP response curve areas were significantly larger than pre-intervention in the REAL condition but not in the CONTROL condition. We conclude that MPS can facilitate corticospinal excitability through spinal PAS. (shrink)

Pyridoxal 5′‐phosphate, the vitamin B6 derivative, acts as the coenzyme of many enzymes involved in amino acid metabolism. Exceptionally, this compound was found covalently bound to glycogen phosphorylase, the key enzyme in the regulation of glycogen metabolism. Although it is essential for the function of phosphorylase, its direct role has remained an enigma. We have recently found that the glucose moiety of pyridoxal (5′)diphospho (1)‐α‐D‐glucose, a conjugate of pyridoxal 5′‐phosphate and glucose 1‐phosphate through a pyrophosphate linkage, is transferred to the (...) nonreducing end of glycogen, forming a new α‐1,4‐glucosidic linkage. This finding emphasizes the importance of the direct phosphate‐phosphate interaction between the coenzyme and the substrate in the phosphorylase catalytic reaction. We have proposed a catalytic mechanism for phosphorylase in which the phosphate group of pyridoxal 5′‐phosphate acts as an electrophile to the phosphate group of glucose 1‐phosphate. This appears to represent the first instance of the direct involvement of a phosphate group in catalysis by enzymes. (shrink)

This study reveals that strong feelings of altruism were found to be statistically significant in explaining prosocial and pro-environmental behaviors. However, this was not the case for the latent trait biosphere in explaining pro-environmental behavior. Regardless of whether they are overseas graduates or not, subjects in this study are more altruistic than biospheric by nature. Using the Graded Response Model approach, the study found that the biosphere and altruism are obviously independent of each other and merging them into one dimension, (...) in this instance referred to as “self-transcendence,” makes the construct less reliable. That is why this study in consistence with previous studies could not detect the effect of self-transcendence statistically, as it affects both the past volunteering in environmental affairs and the past volunteering in social welfare. (shrink)

We develop a series of small infinitary epistemic logics to study deductive inference involving intra-/interpersonal beliefs/knowledge such as common knowledge, common beliefs, and infinite regress of beliefs. Specifically, propositional epistemic logics GL are presented for ordinal α up to a given αo so that GL is finitary KDn with n agents and GL allows conjunctions of certain countably infinite formulae. GL is small in that the language is countable and can be constructive. The set of formulae Lα is increasing up (...) to α = ω but stops at ω We present Kripke-completeness for GL for each α ≤ ω, which is proved using the Rasiowa–Sikorski lemma and Tanaka–Ono lemma. GL has a sufficient expressive power to discuss intra-/interpersonal beliefs with infinite lengths. As applications, we discuss the explicit definability of Axioms T, 4, 5, and of common knowledge in GL Also, we discuss the rationalizability concept in game theory in our framework. We evaluate where these discussions are done in the series GL, α ≤ ω. (shrink)

This title offers an illustrated overview of the evolution of two very different strains of modern Japanese photography. In the 1930s, Japanese photography evolved in two very directions: one toward a documentary style, the other favouring an experimental, or avant-garde, approach strongly influence by Western Surrealism. This book explores these two divergent paths through the work of two remarkable figures: Hiroshi Hamaya and Kansuke Yamamoto. Hiroshi Hamaya was born and raised in Tokyo and, after an initial period of creative experimentation, (...) turned his attention to recording traditional life and culture. He went on to record cultural changes in China, political protests in Japan, and landscapes around the world. Kansuke Yamamoto became fascinated by the innovative approaches in art and literature exemplified by Western artists such as Man Ray and Magritte. 0Exhibition: Getty Museum, Los Angeles, USA. --. (shrink)

A survey of consanguineous marriages in Japan was conducted on 1 September 1983, by questionnaires. The total number of couples surveyed was 9225. They were chosen from six widely different areas and the inbreeding coefficients from isonymy and pedigrees were estimated for each area. Random inbreeding remained constant with the marriage year whereas total (F) and non-random (Fn) inbreeding from isonymy and inbreeding from pedigrees ([alpha]) decreased with the marriage year in each area. Estimates of genetic microdifferentiation from surnames were (...) obtained; estimates of the reduced variance indicated low microdifferentiation (0·000014-0·000081) in five areas and a higher value in Fukue City (0·0004). The ratio of FST (the average within-group apriori kinship) to [alpha]-value ranged from 0·42 in Kawanishi City to 3·9 in Minobu-Cho. (shrink)

判然としないその姿ゆえに、哲学史の表舞台に立つことがなかった「個」。アリストテレスからアウグスティヌス、トマス・アクィナス、エックハルト、スコトゥス、ライプニッツ、レシニェフスキまで。それぞれの思想に 8人の専門家が光をあて、「個」の歴史を浮かび上がらせるわが国で初めての試み。.

Here I present and discuss a model that, among other things, appears able to describe the dynamics of cancer cell origin from the perspective of stable and unstable gene expression profiles. In identifying suchaberrantgene expression profiles as lying outside the normal stable states attracted through development and normal cell differentiation, the hypothesis explains why cancer cells accumulate mutations, to which they are not robust, and why these mutations create a new stable state far from the normal gene expression profile space. (...) Such cells are in strong contrast with normal cell types that appeared as an attractor state in the gene expression dynamical system under cell‐cell interaction and achieved robustness to noise through evolution, which in turn also conferred robustness to mutation. In complex gene regulation networks, otheraberrantcellular states lacking such high robustness are expected to remain, which would correspond to cancer cells. (shrink)

The aim of this paper is to call the attention, especially that of feminists, to the current progress in biology. It appears gender studies still confine themselves to outdated ideas of sex chromosomes like XX, XY (§10). However, science has been making progress. It no longer sticks to such matters as XX, XY. Its interest is now in Sry, a kind of gene (§11), and MIS, a kind of sex hormone (§14). Abnormalities of sex chromosomes are no longer evidence to (...) deny the biological approaches, for example. We shed light on this fact, putting gender studies in the context of chronologies of science as well (§§2-9). (shrink)

This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, (...) we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II. (shrink)

The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (for causal relationship) (...) in inductive logic. (shrink)

This paper provides a Genzten style formulation of the game logic framework GLm (0 m ), and proves the cut-elimination theorem for GLm. As its application, we prove the term existence theorem for GL used in Part I.

Besides sensory characteristics of food, food-evoked emotion is a crucial factor in predicting consumer’s food preference and therefore in developing new products. Many measures have been developed to assess food-evoked emotions. The aim of this literature review is (i) to give an exhaustive overview of measures used in current research and (ii) to categorize these methods along measurement level (physiological, behavioral, and cognitive) and emotional processing level (unconscious sensory, perceptual / early cognitive, and conscious / decision making) level. This 3x3 (...) categorization may help researchers to compile a set of complementary measures (‘toolbox’) for their studies. We included 101 peer-reviewed articles that evaluate consumer’s emotions and were published between 1997 to 2016, providing us with 59 different measures. More than 60% of these measures are based on self-reported, subjective ratings and questionnaires (cognitive measurement level) and assess the conscious / decision-making level of emotional processing. This multitude of measures and their overrepresentation in a single category hinders the comparison of results across studies and building a complete multi-faceted picture of food-evoked emotions. We recommend (1) to use widely applied, validated measures only, (2) to refrain from using (highly correlated) measures from the same category but use measures from different categories instead, preferably covering all three emotional processing levels, and (3) to acquire and share simultaneously collected physiological, behavioral, and cognitive datasets to improve the predictive power of food choice and other models. (shrink)