Variasi Bahasa dalam Instagram pada Akun Arief Muhammad (@armuh) Kajian Sosiolinguistik

Language variations have many types and variations, one of which is the Martin Joos model of formality. The formal variety of the Martin Joos model discusses the five formal levels of a language, namely frozen variety, formal variety, consultative variety, casual variety, and intimate variety. The purpose of this study is to describe Arief Muhammad's use of various languages with his followers which are reviewed through sociolinguistic studies using Martin Joos' theory. This study used a purposive sampling technique to collect data and used non-participant observation and documentation (screenshots). Then the data were analyzed using a qualitative descriptive method with the Martin Joos model of formality theory. From the research data obtained from Arief Muhammad's caption, there are three kinds of languages, namely consultative languages, casual languages and intimate languages. The same thing can be seen from the research data obtained from the comments column, there are three kinds of language, namely the variety of consultative language, the variety of casual language and the variety of intimate languages

Democracy, the academic field and the (New Zealand) journalistic habitus

The relationship between journalism and the academy is historically fraught. Any mention of the word ‘theory’ is only likely to exacerbate these tensions, since it perhaps signifies, most clearly, the division between both identities. Drawing on the social theory of Pierre Bourdieu, this paper considers, with particular empirical reference to the New Zealand context, the often antagonistic relationship between the ‘journalistic field’ and the ‘academic field’. I examine how academic identities are sometimes represented ‘fantasmatically’ (Glynos and Howarth, 2007) in journalistic discourse and explore the contradictions between journalism’s official commitment to democratic values and the desire of at least some journalists to silence or lampoon academic voices, or insist that theoretical reflection is somehow incompatible with good journalism. The articulation of particular journalistic identities is contextualised with reference to the more ‘objective’ logic of the New Zealand journalistic field and, in particular, the structuring of its concrete relationship with the academic field through journalism education programmes. Although the culturally sedimented practices precluding the possibility of a different inter-field dynamic are considerable, I conclude by ‘visualising’ an alternative relationship, one constituted, on all sides, by what Williams Connolly (2005) characterises as a properly democratic ethos of ‘agonistic respect’ across difference

Assembling the Proofs of Ordered Model Transformations

In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its own pre and post- conditions, but structurally dependent on its parent. Following the proofs-as-model-transformations approach, in this paper we consider a formalisation in Constructive Type Theory of the concepts of model and model transformation, and show how the correctness proofs of potentially large ordered model transformations can be systematically assembled from the proofs of the specifications of their parts, making them easier to derive.Comment: In Proceedings FESCA 2013, arXiv:1302.478

Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments

This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely UML-B. The first experiment compared the comprehensibility of a UML-B model and a B model. In the second experiment, the model was compared with an Event-B model, a new generation of B. The experiments assessed the ability of the model to present information and to promote problem domain understanding. The measurement focused on the efficiency in performing the comprehension tasks. The experiments employed a cross-over design and were conducted on third-year and masters students. The results suggest that the integration of semi-formal and formal notations expedites the subjects’ comprehension tasks with accuracy even with limited hours of training

From computer assisted language learning (CALL) to mobile assisted language use

This article begins by critiquing the long-established acronym CALL (Computer Assisted Language Learning). We then go on to report on a small-scale study which examines how student non-native speakers of English use a range of digital devices beyond the classroom in both their first (L1) and second (L2) languages. We look also at the extent to which they believe that their L2-based activity helps consciously and/or unconsciously with their language learning, practice, and acquisition. We argue that these data, combined with other recent trends in the field, suggest a need to move from CALL towards a more accurate acronym: mobile assisted language use (MALU). We conclude with a definition of MALU together with a brief discussion of a potential alignment of MALU with the notion of the digital resident and a newly emerging educational theory of connectivism

The Computational Complexity of Symbolic Dynamics at the Onset of Chaos

In a variety of studies of dynamical systems, the edge of order and chaos has been singled out as a region of complexity. It was suggested by Wolfram, on the basis of qualitative behaviour of cellular automata, that the computational basis for modelling this region is the Universal Turing Machine. In this paper, following a suggestion of Crutchfield, we try to show that the Turing machine model may often be too powerful as a computational model to describe the boundary of order and chaos. In particular we study the region of the first accumulation of period doubling in unimodal and bimodal maps of the interval, from the point of view of language theory. We show that in relation to the ``extended'' Chomsky hierarchy, the relevant computational model in the unimodal case is the nested stack automaton or the related indexed languages, while the bimodal case is modeled by the linear bounded automaton or the related context-sensitive languages.Comment: 1 reference corrected, 1 reference added, minor changes in body of manuscrip