日本版WISC-IVテクニカルレポート
日本版WISC-IVテクニカルレポート #3
... 日本版 WISC-IV テクニカルレポート #3 © 2012 日本文化科学社 1 ― 要旨 ――――――――――――――――――――――――――――――――――――――― 日本版 WISC-IV が刊行されてから 1 年余りが過ぎた。その間、新しい下位検査の実施や解釈に ...
8
日本版WISC-IVテクニカルレポート #2
... ＊検査の実施、採点、解釈は必ず、アセスメントに関する適切な訓練を受けた者が行うこと。 ＊記入済みの記録用紙を含んだ検査用具の機密を守り、適正な使用を守る専門家以外には検査用具 を公開しないこと。 ＊複写ないし複製する場合は、米国 Pearson 社または日本文化科学社の書面による承認を受ける必 要があること。唯一の例外は、資格をもつ別の専門家に受検者の記録を伝達することを目的とし た記入済み記録用紙の複写であること。 ...
5
日本版WISC-IVテクニカルレポート #6
... 次に入力モードを選択し、粗点やプロセス分析の得点を入力する。テクニカルレポート ♯5 です でにお伝えしているが、換算ソフトの入力モードには「基本モード」と「選択モード」の 2 つが 存在する。 「基本モード」では、10 の基本検査の粗点、プロセス分析の得点のみ入力でき、合成得 点の信頼区間は 90％、ディスクレパンシー比較、S と W の判定、プロセス分析の判定の水準など は .15 に固定される。 ...
5
日本版WISC-IVテクニカルレポート #8
... ――――――――――――――――――――――――――――――――――――――― 日本版 WISC-IV の標準化データに基づき、知能の因子構造を明らかにすることを目的とする。 具体的には、因子構造として、WISC-IV の尺度が仮定する因子構造と CHC 理論が想定する因子構 造のいずれがデータに適合しているか、また、その因子構造は発達に応じてどのように変化する か、さらには、WISC-IV ...
9
テクニカルレポート | GRACEセンター
... In this paper, we propose a novel algebraic framework for bidirectional model transformation to solve these prob- lems, by integrating two state-of-the-art techniques: bidi- rectional tr[r] ...
14
テクニカルレポート | GRACEセンター
... • We give a formal definition of bidirectional semantics for structural recursion (Section 4), by (1) refining the existing forward evaluation so that it can produce useful trace informa[r] ...
43
テクニカルレポート | GRACEセンター
... In the 3rd international confer- ence on Embedded networked sensor systems (SenSys) , pp. ACM Press, 2005[r] ...
28
テクニカルレポート | GRACEセンター
... Abstract: The Role-based access control (RBAC) model is a promising alter- native to traditional discretionary and mandatory access controls. To formalize the RBAC model, the administrat[r] ...
153
テクニカルレポート | GRACEセンター
... テクニカル・レポートは、国内外の論文誌、 Proceedings 等への投稿原稿、マニュア ル、資料、研究の中間報告です。著作権は、全て著者に属します。ただし、同一ある いは類似の論文が外部の論文誌等で発行される場合はホームページへの掲載等を中止 することがあります。その場合、著作権者が学会等に変更される場合もあります。 ...
33
テクニカルレポート | GRACEセンター
... On the other hand, we have made a lot of improvements over bidirectional transformation to support intra-relations: our semantics is operation-based, rather than state-based; the conjunc[r] ...
35
テクニカルレポート | GRACEセンター
... For ex- ample, we can teach formal specification, refinement, and formal verification in three different courses, and it would be effective to focus the teaching in each of them on the m[r] ...
86
GRACE TR 2015 06 テクニカルレポート | GRACEセンター
... Abstract. The traceability between a software requirement specification in nat- ural language and its corresponding formal specification plays an important role in development and mainte[r] ...
145
テクニカルレポート | GRACEセンター
... Our compositional framework for model transformations is based on UnQL [5], a language that was originally designed for querying unstructured data such as graphs.. It has convenient sele[r] ...
37
文字情報基盤Webテクニカルレポート
... 【実証実験サイトの課題】 Web フォント表示を優先させたため、表 11 で列挙した一部例外を無視する表示パター ンを適用した。このため、たとえば、表 11 で列挙した例外(*3)の CJK 統合漢字拡張 A が 表示されない OS とブラウザの組み合わせの場合、CJK 統合漢字拡張 A の文字は Web フォ ントの字形では表示されず、ブラウザのデフォルトフォン[r] ...
35
GRACE TR 2016 04 テクニカルレポート | GRACEセンター
... Figure 6 represents the analysis rules for determining whether free-edits are possible. The main principle behind the rules is that analysis fails whenever a label variable or a constant[r] ...
17
GRACE TR 2016 03 テクニカルレポート | GRACEセンター
... If we extract the relation of elements in the original view to the elements in the modified view, then the alignment performed when updating the source can be completely correct.. The re[r] ...
9
GRACE TR 2016 02 テクニカルレポート | GRACEセンター
... We show how to deal with iterative queries by transforming iterative query computation to computation of the fixed point of a flat query function, from which a set of constraints can be [r] ...
13
GRACE TR 2016 01 テクニカルレポート | GRACEセンター
... In the rest of this section, we will elaborate the core of our framework: (A) context feature models to capture running contexts, (B) formal definition of view- based adaptation νRules, [r] ...
27
GRACE TR 2015 08 テクニカルレポート | GRACEセンター
... Also note that for the RecE - labeled branches, we choose the corresponding edge from the body expression of struc- tural recursion first, rather than from the argument expression, to ma[r] ...
43
GRACE TR 2015 07 テクニカルレポート | GRACEセンター
... The case study showed that the results of our analysis are valid at the implementation unless spontaneous changes in the environment occur and that the analysis can complete within reaso[r] ...
31