The mental fatigue elicited by working and studying consumed mental resources, thereby eliciting a declined performance and an increased mental stress. The long-term continuous work and study, which is typical for modern workers and students, can increase mental fatigue and health risks. Previous studies reported that the natural environment has a restorative of mental resources and reducing stress. However, it is difficult for urban workers and students to take sufficient breaks in real natural environment. We conducted an experiment to examine (...) whether brief and indirect exposure to the natural environment elicits a restorative of attention and reducing stress. Twenty-five undergraduate and graduate students from the university of modern city participated in the experiment. The experiment involved measuring the changes in the task performance of the participants and the subjective mental workload, while the attention restoration was indexed from physiological response over time. The participants had two types of resting periods in the middle of the task, i.e., by looking at a blank display or by watching a nature video having scenes of, e.g., a forest, small waterfall, and rustling leaves. The results indicate that the natural environment indirectly depicted through the nature videos does not affect the task performance and the subjective mental workload but decreases the SCL. The results of the physiological response suggest that having rest periods depicting the natural environment, even if indirectly and briefly, can restore the directed attention for the task. This experiment revealed a useful method of resting for urban workers and students to restore their attention to a task. (shrink)

PurposeThe purpose of this paper is to analyse incidents of personal information leakage in Japan based on Japanese socio‐cultural characteristics of information privacy and to consider how best to develop an effective personal information protection policy that conforms to Japanese situations as well as to the global requirement of personal information protection.Design/methodology/approachAfter describing recent incidents of personal information leakage in Japan, the paper examines the defects of the Act on Protection of Personal Information that permit these incidents to continue. Subsequently, (...) these incidents and the responses of the Japanese people in a manner that reflects the unique Japanese socio‐cultural characteristics of information privacy are analysed. Finally, the paper proposes a revision of APPI that conforms to these Japanese socio‐cultural characteristics as well as to the global requirement for personal information protection.FindingsPersonal information leakage cases and social responses in Japan reflect three Japanese socio‐cultural characteristics: Uchi/Soto awareness, insular collectivism and Hon'ne/Tatemae tradition. An effective law protecting personal information in Japan's cultural environment cannot be made simply by copying the privacy protection laws in western nations. Instead, legal protection of personal information should be drafted that reflects and takes into account these socio‐cultural characteristics.Originality/valueThis paper conducts analysis of incidents of personal information leakage in Japan based on Japanese socio‐cultural characteristics. A revision of APPI is proposed on the basis of the analysis. The paper's analysis and proposal would provide a good clue to develop effective measures to protect personal information and the right to information privacy in the global, multicultural information society. (shrink)

A principal type-scheme of a -term is the most general type-scheme for the term. The converse principal type-scheme theorem (J.R. Hindley, The principal typescheme of an object in combinatory logic, Trans. Amer. Math. Soc. 146 (1969) 29–60) states that every type-scheme of a combinatory term is a principal type-scheme of some combinatory term.This paper shows a simple proof for the theorem in -calculus, by constructing an algorithm which transforms a type assignment to a -term into a principal type assignment to (...) another -term that has the type as its principal type-scheme. The clearness of the algorithm is due to the characterization theorem of principal type-assignment figures. The algorithm is applicable to BCIW--terms as well. Thus a uniform proof is presented for the converse principal type-scheme theorem for general -terms and BCIW--terms. (shrink)

PurposeThe purpose of this paper is to examine the social impacts of “silent control” of individuals by means of the architecture of dataveillance systems. It addresses the question whether individuals, in reality, can actually determine autonomously the kinds of information that they can acquire and convey in today's dataveillance environments. The paper argues that there is a risk of a “counter‐control revolution” that may threaten to reverse the “control revolution” described by Shapiro.Design/methodology/approachUsing relevant business cases, this paper describes the nature (...) of dataveillance systems, then it examines situations in which the intellectual freedom of individuals is silently constrained by the architecture of such systems. This analysis leads to the conclusion that individuals in today's information society face the risk of a “counter‐control revolution” that can threaten their intellectual freedom. Given this troubling conclusion, the present paper addresses the challenges of establishing socially acceptable dataveillance systems.FindingsIntentionally or unintentionally, the architecture of dataveillance systems determines what kinds of information an individual can access or receive. This means that social sorting occurs based upon the processing of personal information by dataveillance systems; and, as a result, individuals' intellectual freedom could be constrained without their realising that it is happening. Under this circumstance, the ability of individuals to control the transmission and flow of information, recently made possible by the “control revolution”, already has been compromised by business organisations that operate dataveillance systems. It is business organisations, and not the individuals themselves, that control the kinds of information that individuals are able to acquire and transmit.Originality/valueThis paper provides an analysis of social risks caused by the architecture of dataveillance systems, and it introduces the concept of a “counter‐control revolution”. These contributions provide a good starting point to evaluate the social impacts of dataveillance systems and to establish better, more socially acceptable dataveillance systems. (shrink)

The logical system P-W is an implicational non-commutative intuitionistic logic defined by axiom schemes B = (b → c) → (a → b) → a → c, B' = (a → b) → (b → c) → a → c, I = a → a with the rules of modus ponens and substitution. The P-W problem is a problem asking whether α = β holds if α → β and β → α are both provable in P-W. The answer is (...) affirmative. The first to prove this was E. P. Martin by a semantical method. In this paper, we give the first proof of Martin's theorem based on the theory of simply typed λ-calculus. This proof is obtained as a corollary to the main theorem of this paper, shown without using Martin's Theorem, that any closed hereditary right-maximal linear (HRML) λ-term of type α → α is βη-reducible to λ x.x. Here the HRML λ-terms correspond, via the Curry-Howard isomorphism, to the P-W proofs in natural deduction style. (shrink)

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P (()). It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another (...) reduction rule which simplifies of (( ) ) into an atomic type. (shrink)

The syntactic structure of the system of pure implicational relevant logic P - W is investigated. This system is defined by the axioms B = (b → c) → (a → b) → a → c, B' = (a → b) → (b → c) → a → c, I = a → a, and the rules of substitution and modus ponens. A class of λ-terms, the closed hereditary right-maximal linear λ-terms, and a translation of such λ-terms M to BB'I-combinators (...) M + is introduced. It is shown that a formula α is provable in P - W if and only if α is a type of some λ-term in this class. Hence these λ-terms represent proof figures in the Natural Deduction version of P - W. Errol Martin (1982) proved that no formula with form α → α is provable in P - W without using the axiom I. We show that a β-normal form λ-term M in the class is η reducible to λ x.x if the translated BB'I-combinator M + contains I. Using this theorem and Martin's result, we prove that a λ-term in the class is βη-reducible to λ x.x if the λ-term has a type α → α. Hence the structure of proofs of α → α in P - W is determined. (shrink)

The syntactic structure of the system of pure implicational relevant logic $P - W$ is investigated. This system is defined by the axioms $B = (b \rightarrow c) \rightarrow (a \rightarrow b) \rightarrow a \rightarrow c, B' = (a \rightarrow b) \rightarrow (b \rightarrow c) \rightarrow a \rightarrow c, I = a \rightarrow a$, and the rules of substitution and modus ponens. A class of $\lambda$-terms, the closed hereditary right-maximal linear $\lambda$-terms, and a translation of such $\lambda$-terms $M$ to $BB'I$-combinators (...) $M^+$ is introduced. It is shown that a formula $\alpha$ is provable in $P - W$ if and only if $\alpha$ is a type of some $\lambda$-term in this class. Hence these $\lambda$-terms represent proof figures in the Natural Deduction version of $P - W$. Errol Martin (1982) proved that no formula with form $\alpha \rightarrow \alpha$ is provable in $P - W$ without using the axiom $I$. We show that a $\beta$-normal form $\lambda$-term $M$ in the class is $\eta$ reducible to $\lambda x.x$ if the translated $BB'I$-combinator $M^+$ contains $I$. Using this theorem and Martin's result, we prove that a $\lambda$-term in the class is $\beta\eta$-reducible to $\lambda x.x$ if the $\lambda$-term has a type $\alpha \rightarrow \alpha$. Hence the structure of proofs of $\alpha \rightarrow \alpha$ in $P - W$ is determined. (shrink)

PurposeThe purpose of this paper is to reconsider the concept of the right to information privacy and to propose, from a Japanese perspective, a revised conception of this right that is suitable for the modern information society.Design/methodology/approachFirst, the concept of privacy and personal information protection in the information society is briefly explained. After that, confused situations in Japan caused by the enforcement of Act on the Protection of Personal Information are described followed by the analysis of the Japanese socio‐cultural circumstances (...) surrounding privacy. Based on these, the effectiveness of the concept of the right to information privacy in the Japanese socio‐cultural and economic context is examined and the need to rethink the concept of the right to information privacy discussed. Finally, a revised conception of the right is proposed.FindingsIn view of the circumstances in Japan, the concept of the right to information privacy, defined as “an individual's right to control the circulation of information relating to him/herself”, as well as the Organisation for Economic Co‐operation and Development's eight principles already become outdated in today's sophisticated information‐communication society. There is a need to control/restrict use of personal information so that individuals' autonomy and freedom is ensured in the current situation and to revise the concept of the right to information privacy based on this idea.Originality/valueThis paper proposes a revision of the concept of the right to information privacy focused on control of, not access to, use of personal information. The revised concept is defined so that individuals' autonomy and freedom is ensured even in the “informational transparent” society. (shrink)

The construction of a secure and safe society using information and communication technology is recognised as an urgent issue in Japan. This recognition is based on public fear about crime related to manufactured risk caused by modernisation or industrial civilisation. This fear has created a social atmosphere that has led to the rapid development and implementation of security systems using ICT, such as security cameras, smart IC cards and mobile phones, to establish security and safety in Japanese society. However, the (...) never-ending quest for social security and safety with ICT will inevitably cause further manufactured risk, which could lead to serious problems in the future. We have to recognise such risk and control it appropriately. (shrink)

Purpose A survey of the attitudes of students in eight countries towards the revelations of mass surveillance by the US’ NSA and the UK’s GCHQ has been described in an introductory paper and seven country-specific papers. This paper aims to present a comparison of the results from these countries and draws conclusions about the similarities and differences noted. Design/methodology/approach A questionnaire was deployed in Germany, Japan, Mexico, New Zealand, The People’s Republic of China, Spain, Sweden and Taiwan. The original survey (...) was in English, translated into German, Japanese and Chinese for relevant countries. The survey consists of a combination of Likert scale, Yes/no and free-text responses. The results are quantitatively analysed using appropriate statistical tools and the qualitative answers are interpreted. Findings There are significant differences between respondents in the countries surveyed with respect to their general privacy attitudes and their willingness to follow Snowden’s lead, even where they believe his actions served the public good. Research limitations/implications Owing to resource limitations, only university students were surveyed. In some countries, the relatively small number of respondents limits the ability to make meaningful statistical comparisons between respondents from those countries and from elsewhere on some issues. Practical implications Snowden’s actions are generally seen as laudable and having had positive results, among the respondents surveyed. Such results should give pause to governments seeking to expand mass surveillance by government entities. Originality/value There have been few surveys regarding attitudes to Snowden’s revelations, despite the significant press attention and political actions that have flowed from it. The context of attitudes to both the actions he revealed and the act of revelation itself is useful in constructing political and philosophical arguments about the balance between surveillance activity for state security and the privacy of individual citizens. (shrink)

PurposeThis paper aims to deal with the attitudes towards and social impact of Edward Snowden’s revelations in Japan, taking the Japanese socio-cultural and political environment surrounding privacy and state surveillance into account.Design/methodology/approachA questionnaire survey of 1,820 university students and semi-structured follow-up interviews with 56 respondents were conducted, in addition to reviews of the literature on privacy and state surveillance in Japan. The outcomes of the survey were statistically analysed, and qualitative analyses of the interview results were also performed.FindingsSnowden’s revelations have (...) had little influence over Japanese youngsters’ attitudes towards privacy and state surveillance, mainly due to their low level of awareness of the revelations and high level of confidence in government agencies.Practical implicationsThe study results imply a need for reviewing educational programmes for civic education in lower and upper secondary education.Social implicationsThe results of this study based on a large-scale questionnaire survey indicate an urgent necessity for providing Japanese youngsters with opportunities to learn more about privacy, liberty, individual autonomy and national security.Originality/valueThis study is the first attempt to investigate the social impact of Snowden’s revelations on Japanese youngsters’ attitudes towards privacy and state surveillance as part of cross-cultural analyses between eight countries. (shrink)

We analyse the contention that privacy is an alien concept within Japanese society, put forward in various presentations of Japanese cultural norms at least as far back as Benedict in The chrysanthemum and the sword: patterns of Japanese culture. Houghton Mifflin, Boston, 1946. In this paper we distinguish between information privacy and physical privacy. As we show, there is good evidence for social norms of limits on the sharing and use of personal information (i.e. information privacy) from traditional interactions in (...) Japanese society, as well as constitutional evidence from the late 19th century (in the Meiji Constitution of 1889). In this context the growing awareness of the Japanese public about problems with networked information processing by public sector and commercial organisations from the 1980s (when a law governing public sector use of personal information was first passed) to recent years (when that law was updated and a first law governing commercial use of personal information was adopted) are not the imposition or adoption of foreign practices nor solely an attempt to lead Japanese society into coherence with the rest of the OECD. Instead they are drawing on the experience of the rest of the developed world in developing legal responses to the breakdown of social norms governing interchange and use of personal information, stressed by the architectural changes wrought by networked information processing capabilities. This claim is supported by consideration of standard models of Japanese social interactions as well as of Supreme Court judgements declaring reasonable expectations of protection of privacy to hold in Japan. (shrink)

Semi-structured interviews with university students in the UK and Japan, undertaken in 2009 and 2010, are analysed with respect to the revealed attitudes to privacy, self-revelation and revelation by/of others on SNS.

In his paper, ìRight Weakening and Right Contraction in LK î, Hirokawa investigates the properties of the structural rules of contraction and weak- ening as they appear in a certain sequent calculus formulation of Örst order classical logic. In what follows we explore the notion of correspondence, in particular with reference to the structural rules in the succedent, and in doing so critically examine the sensitivity of Hirokawaís results to the formulation of the calculus, both with respect to the (...) formulations of the rules governing the connectives present and to the choice of the connectives themselves. (shrink)

In this paper I will take the right to privacy as an example when discussing the question of the prospects of global value consensus or value conflicts. The question whether privacy is a contextual value will be discussed in the remaining part of my paper and I will take the views of the Japanese ICT-ethicists Yohko Orito and Kiyosho Murata as my point of departure. In “Privacy protection in Japan: cultural influence on the universal value” (2005), they argue against (...) the view that the right to privacy is a universal value. Their argument is straightforward and clear, hence their article is a valuable contribution to the discussion. However, I will object to their argument. I will defend the view that privacy is a universal value, although there are contextual differences concerning what kind of information is considered as privacy sensitive. (shrink)

We study a multiple-succedent sequent calculus with both of the structural rules Left Weakening and Left Contraction but neither of their counterparts on the right, for possible application to the treatment of multiplicative disjunction against the background of intuitionistic logic. We find that, as Hirokawa dramatically showed in a 1996 paper with respect to the rules for implication, the rules for this connective render derivable some new structural rules, even though, unlike the rules for implication, these rules are what (...) we call ipsilateral: applying such a rule does not make any formula change sides—from the left to the right of the sequent separator or vice versa. Some possibilities for a semantic characterization of the resulting logic are also explored. The paper concludes with three open questions. (shrink)