title: Proceedings of the First New Zealand Formal Program Development Colloquium

authors: Reeves, Steve

subjects: Bird-Meertens Formalism

abstract: This volume gathers together papers presented at the first in what is planned to be a series of annual meetings which aim to bring together people within New Zealand who have an interest in the use of formal ideas to enhance program development. Throughout the World work is going on under the headings of "formal methods", "programming foundations", "formal software engineering". All these names are meant to suggest the use of soundly-based, broadly mathematical ideas for improving the current methods used to develop software. There is every reason for New Zealand to be engaged in this sort of research and, of growing importance, its application. Formal methods have had a large, and growing, influence on the software industry in Europe, and lately in the U.S.A. it is being seen as important. An article in September's "Scientific American" (leading with the Denver Airport debacle) gives an excellent overview of the way in which these ideas are seen as necessary for the future of the industry. Nearer to home and more immediate are current speculations about problems with the software running New Zealand's telephone system. The papers in this collection give some idea of the sorts of areas which people are working on in the expectation that other people will be encouraged to start work or continue current work in this area. We also want the fact that this works is going on to be made known to the New Zealand computer science community at large.

text: Proceedings of the First New Zealand Formal Program Development Colloquium This volume gathers together papers presented at the first in what is planned to be a series of annual meetings which aim to bring together people within New Zealand who have an interest in the use of formal ideas to enhance program development. Throughout the World work is going on under the headings of "formal methods", "programming foundations", "formal software engineering". All these names are meant to suggest the use of soundly-based, broadly mathematical ideas for improving the current methods used to develop software. There is every reason for New Zealand to be engaged in this sort of research and, of growing importance, its application. Formal methods have had a large, and growing, influence on the software industry in Europe, and lately in the U.S.A. it is being seen as important. An article in September's "Scientific American" (leading with the Denver Airport debacle) gives an excellent overview of the way in which these ideas are seen as necessary for the future of the industry. Nearer to home and more immediate are current speculations about problems with the software running New Zealand's telephone system. The papers in this collection give some idea of the sorts of areas which people are working on in the expectation that other people will be encouraged to start work or continue current work in this area. We also want the fact that this works is going on to be made known to the New Zealand computer science community at large.

year: 1994-11

title: Being a language learner—Is that all there is?

authors: Lee, Jinah

abstract: Asian migrants are inevitably categorised as language learners. At times, it is the migrant's own definition and can be used as a support. At others, it is an imposition in two senses: it can be imposed by others and by institutions; and also acts as a hindrance to resettlement in the new country. Language learning raises issues of a sense of belonging and a sense of self-value. 
A narrative inquiry study of six Asian migrant women follows their experience as language learners over a twelve-month period, focusing on the different concepts above, as the women negotiate their identities, to finally divesting the label language learner. The findings suggest that there is a close link between a sense of belonging and a sense of self-value which influences the participants’ identity trajectories―towards valuable members of the mainstream society. The discussion poses two questions to education providers, ESL educators and policy makers: What does the image of language learner migrant do to the perception that others have of newcomers? How long is a newcomer a migrant?

text: Being a language learner—Is that all there is? Asian migrants are inevitably categorised as language learners. At times, it is the migrant's own definition and can be used as a support. At others, it is an imposition in two senses: it can be imposed by others and by institutions; and also acts as a hindrance to resettlement in the new country. Language learning raises issues of a sense of belonging and a sense of self-value. 
A narrative inquiry study of six Asian migrant women follows their experience as language learners over a twelve-month period, focusing on the different concepts above, as the women negotiate their identities, to finally divesting the label language learner. The findings suggest that there is a close link between a sense of belonging and a sense of self-value which influences the participants’ identity trajectories―towards valuable members of the mainstream society. The discussion poses two questions to education providers, ESL educators and policy makers: What does the image of language learner migrant do to the perception that others have of newcomers? How long is a newcomer a migrant?

year: 2017

title: Te rima tekau ngahurutanga o Te Whare Wānanga o Waikato

authors: Dixon, Ngahuia

subjects: Tohu mātauranga

abstract: E te Whare Wānanga o Waikato – te tohu o te mātauranga, tēnā koe.  Tēnā koe i roto i tō rima tekau tau ngahurutanga.  Kua pakeke haere koe.  Kua tau atu koe ki tērā kaumātuatanga nō reira me mihi ka tika.  He hōnore nui tēnei mōu ake i te mea nāu te moana o mātauranga i roto o Waikato i tuku kia rere, kia pari, ka rere anō.  He wai marino ēnei i ētehi wā, he rehutai i ētehi atu,  he wā anō ka karekare, ka haruru rānei i te pai o te rere o āu mahi.  Ahakoa ēnei huringa o ngā awa o te wā, kei te rere tonu te moana nei, me ōna pikonga ki uru, ki rāwhiti, ki tonga, ki raki rānei, arā ki ngā pito katoa o te ao.  He mātauranga ēnei i tukuna e koe kia pīoioi i te ao.  Hei aha - hei whakawhānui ki te mātatoru o te tangata, he aha kei ō whare kōrero, hei whakakīkī haere i ā rātou kete mātauranga, ahakoa Māori, tauiwi huri noa.  Koinei ngā korowai mō ngā manu i kai i te mātauranga nāu i rumaki.   Ināianei arā te kōrero:

Nō rātou, nō mātou, nō tātou te ao 

E kore e mimiti ēnei huarahi tautoko āu, - nā mēnā ka tūwhera tonu tō ngākau ki ngā kete kōrero, mātauranga āku ake a ngāi-Māori, kei hea mai tō mana.

text: Te rima tekau ngahurutanga o Te Whare Wānanga o Waikato E te Whare Wānanga o Waikato – te tohu o te mātauranga, tēnā koe.  Tēnā koe i roto i tō rima tekau tau ngahurutanga.  Kua pakeke haere koe.  Kua tau atu koe ki tērā kaumātuatanga nō reira me mihi ka tika.  He hōnore nui tēnei mōu ake i te mea nāu te moana o mātauranga i roto o Waikato i tuku kia rere, kia pari, ka rere anō.  He wai marino ēnei i ētehi wā, he rehutai i ētehi atu,  he wā anō ka karekare, ka haruru rānei i te pai o te rere o āu mahi.  Ahakoa ēnei huringa o ngā awa o te wā, kei te rere tonu te moana nei, me ōna pikonga ki uru, ki rāwhiti, ki tonga, ki raki rānei, arā ki ngā pito katoa o te ao.  He mātauranga ēnei i tukuna e koe kia pīoioi i te ao.  Hei aha - hei whakawhānui ki te mātatoru o te tangata, he aha kei ō whare kōrero, hei whakakīkī haere i ā rātou kete mātauranga, ahakoa Māori, tauiwi huri noa.  Koinei ngā korowai mō ngā manu i kai i te mātauranga nāu i rumaki.   Ināianei arā te kōrero:

Nō rātou, nō mātou, nō tātou te ao 

E kore e mimiti ēnei huarahi tautoko āu, - nā mēnā ka tūwhera tonu tō ngākau ki ngā kete kōrero, mātauranga āku ake a ngāi-Māori, kei hea mai tō mana.

year: 2016