Niigata University of International and Information Studies (NUIS) Repository / 新潟国際情報大学機関リポジトリ
Not a member yet
695 research outputs found
Sort by
Cost and Benefit of Class Support Systems by Mark-sensing Cards : Trial Cases in Niigata University of International and Information Studies
Get PDFdepartmental bulletin pape
A CLASSROOM BASED RESEARCH PROJECT INCORPORATING ENGLISH FOR SPECIAL PURPOSES (ESP) METHODOLOGY PREPARONG JAPANESE STUDENTS FOR HOMESTAY IN AUSTRALIA
Get PDFEnglish for Special Purposes (ESP) lesson materials were created for Japanese high school students going on homestay to Cairns, Australia. The lessons were designed specifically for situations that the students would encounter with their homestay families and at the school they would attend regularly during their stay. After teaching the lessons, and after the subsequent homestay, students were interviewed and asked about the effectiveness of the materials. Most said that they and enjoyed the way the materials had been taught and had found them useful while they had been abroad. There was an increase in motivation and a general improvement in the attitude towards English study after the project was completedepartmental bulletin pape
A Gender Analysis Of An English Language Textbook Used In A Senior High School In Japan.
Get PDFThe textbook is one of the most prevalent educational tool used in the classroom. Because of the high exposure to textbooks that students experience,care should be taken with regards to any kind of bias or possible destructive elements that might be found. One such element is sexism.This paper is a gender study of a text book,used in a senior high school in Japan,which uncovers many aspects of sexism. The paper shows that women in the English Language textbook Reward Starter (Greenall,1997)are less visible than men as characters,and are portrayed in stereotypical roles with regards to occupations and the family. A suggestion is made for a student/class evaluation of the textbook using the methodology provided in this investigation."It should not be assumed that people are aware of the ideological dimensions of their own practice. Ideologies built into conventions may be more or less naturalized and automatized, and people may find it difficult to comprehend that their normal practices could have specific ideological investments"(Fairclough :2006,90).departmental bulletin pape
A Prototype Program of Theorem Prover based on the Constructive Type Theory
Get PDF情報化社会においてソフトウェアの迅速で妥当な開発技術が強く求められているが,その要求に答えるにはソフトウェア開発方法の見直しが必要である。その1つの方法として,構成的プログラミングの考えに基づいてソフトウェアの仕様からその妥当性の検証とプログラムの導出を同時に実現し,更に,順次に追加される仕様の要求に対して,ソフトウェアを内部で矛盾を解消しながら拡大・発展させる見方がある。本稿では,このような枠組みの中で必要となる仕様からプログラムを導出するための定理証明プログラムを構成的型理論に基づいてRuby言語を用いて試作した。departmental bulletin pape
Evaluation for congestion of server systems in global network based on dynamical entropy in Physics
Get PDF本論文は,広域情報系におけるサーバ系輻輳評価方法として,物理学のおける力学系エントロピーを活用することを提案している。エントロピーに関して,広域系に存在するサーバ間に流通するパケット密度の勾配をもとに情報フロー密度を定義している。本論文では,サーバ内キューイング受信バッファに蓄積されるパケットのキューイング挙動に着目し,伝送路上を流通する情報フロー密度の確率的挙動が,対数正規型確率微分方程式で規定されることを前提としている。力学的エントロピーを活用することにより,情報フロー密度の数理的モデリングをベースにしたサーバ系の輻輳傾向を評価することを提案する。広域情報系において,あるノード(サーバ等)が不安定状態である時,不安定状態のノードを避けて別の経路を選択して通信の効率化を図る応用が考えられる。広域情報系が,大規模になればなるほどノードのボトルネックを事前に認識できることが重要である。departmental bulletin pape